[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](/creator/twitter/fbrasisil) "@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](/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](/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](/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](/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](/creator/x/fbrasisil) on [X](/post/tweet/1945476793814925429) 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements "@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](/creator/x/fbrasisil) on [X](/post/tweet/1946018172923965590) 2025-07-18 01:24:22 UTC 2738 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
"@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 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 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 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 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 on X 2025-07-16 13:33:07 UTC 2735 followers, XXX engagements
"@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 on X 2025-07-18 01:24:22 UTC 2738 followers, XXX engagements