Dark | Light
[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

# ![@fbrasisil Avatar](https://lunarcrush.com/gi/w:26/cr:twitter::793799617.png) @fbrasisil Flavio Brasil

Flavio Brasil posts on X about scala, loop, new era, dawn the most. They currently have XXXXX followers and XXX posts still getting attention that total XXX engagements in the last XX hours.

### Engagements: XXX [#](/creator/twitter::793799617/interactions)
![Engagements Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::793799617/c:line/m:interactions.svg)

- X Week XXXXX +31%
- X Month XXXXXX +997%
- X Months XXXXXX -XX%
- X Year XXXXXXX -XX%

### Mentions: X [#](/creator/twitter::793799617/posts_active)
![Mentions Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::793799617/c:line/m:posts_active.svg)


### Followers: XXXXX [#](/creator/twitter::793799617/followers)
![Followers Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::793799617/c:line/m:followers.svg)

- X Week XXXXX +0.66%
- X Month XXXXX +2%
- X Months XXXXX +4.80%
- X Year XXXXX +6.10%

### CreatorRank: XXXXXXXXX [#](/creator/twitter::793799617/influencer_rank)
![CreatorRank Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::793799617/c:line/m:influencer_rank.svg)

### Social Influence [#](/creator/twitter::793799617/influence)
---

**Social category influence**
[stocks](/list/stocks)  [technology brands](/list/technology-brands) 

**Social topic influence**
[scala](/topic/scala), [loop](/topic/loop), [new era](/topic/new-era), [dawn](/topic/dawn), [$uber](/topic/$uber), [monad](/topic/monad), [adt](/topic/adt)

**Top assets mentioned**
[Uber Technologies, Inc. (UBER)](/topic/$uber)
### Top Social Posts [#](/creator/twitter::793799617/posts)
---
Top posts by engagements in the last XX hours

"@adamhearn_ pretty cool To be honest I didn't even know/notice I was developing a higher-order effect when I introduced Batch. I just thought "wouldn't it be nice if sources allowed arbitrary effects" and implemented it 😂"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946018172923965590) 2025-07-18 01:24:22 UTC 2738 followers, XXX engagements


"@ymdfield @adamhearn_ it might a Scala thing. If I'm not mistaken I couldn't make Var fully type safe because the compiler wouldn't narrow the types in the handler pattern matching"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946045826909757541) 2025-07-18 03:14:15 UTC 2737 followers, XX engagements


"@ymdfield @adamhearn_ yeah Scala X type system was key to reach this encoding It's difficult to express it in a language that doesn't have a native way to represent an unordered type-level set"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1946039872491229484) 2025-07-18 02:50:35 UTC 2737 followers, XXX engagements


"@ymdfield it should be an infinite loop no also printing a computation isn't valid it shows the internal state"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1945854787179659418) 2025-07-17 14:35:08 UTC 2738 followers, XXX engagements


"🚀 Kyo 1.0-RC1 - A New Era of Simplicity and Stability ✨ Forget nested monads forget tagless final forget mtl forget uber monads. It's time for a new dawn After X years of rapid iteration Kyo is finally committing to API stability making it production-ready 🎯 The library represents a significant evolution step in Scala providing an unprecedented level of composability with a major focus on usability and performance. This isn't "just" another effect system it is a new paradigm altogether 🔥 Kyo is the most complete algebraic effect implementation in any language and fills common gaps that"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1944187408850772047) 2025-07-13 00:09:34 UTC 2738 followers, 13.6K engagements


"Yes the underlying ADT resembles the Freer monad but the overall abstraction has very different characteristics: X. Effects are maintained in an unordered type-level set instead of an ordered list which allows higher-order operations to wrap computations with arbitrary effect sets and introduce new effects without specifying their position in a stack. X. ArrowEffectInput_ Output_ is more expressive than F_ which enables suspending and resuming with other effects to support higher-order behavior. X. Effect interpretation is constrained to its own suspensions instead of the more free"  
![@fbrasisil Avatar](https://lunarcrush.com/gi/w:16/cr:twitter::793799617.png) [@fbrasisil](/creator/x/fbrasisil) on [X](/post/tweet/1945476793814925429) 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements

[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

@fbrasisil Avatar @fbrasisil Flavio Brasil

Flavio Brasil posts on X about scala, loop, new era, dawn the most. They currently have XXXXX followers and XXX posts still getting attention that total XXX engagements in the last XX hours.

Engagements: XXX #

Engagements Line Chart

  • X Week XXXXX +31%
  • X Month XXXXXX +997%
  • X Months XXXXXX -XX%
  • X Year XXXXXXX -XX%

Mentions: X #

Mentions Line Chart

Followers: XXXXX #

Followers Line Chart

  • X Week XXXXX +0.66%
  • X Month XXXXX +2%
  • X Months XXXXX +4.80%
  • X Year XXXXX +6.10%

CreatorRank: XXXXXXXXX #

CreatorRank Line Chart

Social Influence #


Social category influence stocks technology brands

Social topic influence scala, loop, new era, dawn, $uber, monad, adt

Top assets mentioned Uber Technologies, Inc. (UBER)

Top Social Posts #


Top posts by engagements in the last XX hours

"@adamhearn_ pretty cool To be honest I didn't even know/notice I was developing a higher-order effect when I introduced Batch. I just thought "wouldn't it be nice if sources allowed arbitrary effects" and implemented it 😂"
@fbrasisil Avatar @fbrasisil on X 2025-07-18 01:24:22 UTC 2738 followers, XXX engagements

"@ymdfield @adamhearn_ it might a Scala thing. If I'm not mistaken I couldn't make Var fully type safe because the compiler wouldn't narrow the types in the handler pattern matching"
@fbrasisil Avatar @fbrasisil on X 2025-07-18 03:14:15 UTC 2737 followers, XX engagements

"@ymdfield @adamhearn_ yeah Scala X type system was key to reach this encoding It's difficult to express it in a language that doesn't have a native way to represent an unordered type-level set"
@fbrasisil Avatar @fbrasisil on X 2025-07-18 02:50:35 UTC 2737 followers, XXX engagements

"@ymdfield it should be an infinite loop no also printing a computation isn't valid it shows the internal state"
@fbrasisil Avatar @fbrasisil on X 2025-07-17 14:35:08 UTC 2738 followers, XXX engagements

"🚀 Kyo 1.0-RC1 - A New Era of Simplicity and Stability ✨ Forget nested monads forget tagless final forget mtl forget uber monads. It's time for a new dawn After X years of rapid iteration Kyo is finally committing to API stability making it production-ready 🎯 The library represents a significant evolution step in Scala providing an unprecedented level of composability with a major focus on usability and performance. This isn't "just" another effect system it is a new paradigm altogether 🔥 Kyo is the most complete algebraic effect implementation in any language and fills common gaps that"
@fbrasisil Avatar @fbrasisil on X 2025-07-13 00:09:34 UTC 2738 followers, 13.6K engagements

"Yes the underlying ADT resembles the Freer monad but the overall abstraction has very different characteristics: X. Effects are maintained in an unordered type-level set instead of an ordered list which allows higher-order operations to wrap computations with arbitrary effect sets and introduce new effects without specifying their position in a stack. X. ArrowEffectInput_ Output_ is more expressive than F_ which enables suspending and resuming with other effects to support higher-order behavior. X. Effect interpretation is constrained to its own suspensions instead of the more free"
@fbrasisil Avatar @fbrasisil on X 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements

creator/x::fbrasisil
/creator/x::fbrasisil