Youssef Shoaib
Youssef Shoaib
Is there a possibility maybe to put a (very rudimentary and rough) version of intersection types behind an experimental flag? Because IIRC intersection types are already in the compiler and...
I think it's fair to mention here the partially related issue of [KT-44530](https://youtrack.jetbrains.com/issue/KT-44530). The quick TL;DR is that currently there's a missing optimisation whenever you return a lambda or store...
i fixed it and made a pull request, i am just waiting for someone to merge it
it is fixed right now
so do you mean that .push should be .append or that we need to add .push to codecombat python???
~If and when you make NullableShift, OptionShift, etc contextual functions instead, do note that IorShift can also be contextual by just taking in a `context(Shift, Semigroup)` (with whatever type arguments).~...
@nomisRev right yes it won't be stable yet for Arrow 2.0 However though, if we're having our minimal comparability be 1.7.x, could we still have context receiver functions in Arrow...
I just realized that we can support nullable types for `Maybe` and we'd be able to differentiate between a `Maybe?` being null or having a null inside of it (by...
Draft PR for Boxing-free `Option` type: #2780. That PR is for Arrow 1.x though because it includes Deprecated functions and functions for `Validated` and `Effect` etc, so I'll make another...
An alternative name for `summon` that I've used for a while is `given`, but that might be even more confusing. I think something like `context()` is likely sufficient. I like...