Just added scala style implicit conversions to Idris, and my Eff DSL is a lot prettier. But I am scared of this new feature.
@milessabin @raichoo @tailcalled I don't mean the whole lot, just implicit type conversions. Like Coq's "Coercion" syntax.
-
-
@edwinbrady@milessabin@raichoo@tailcalled ok that sounds less terrifying. -
This Tweet is unavailable.
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.