I've just learned, via [some web site] that being strict will hamper Idris 2 significantly. Much as I like Haskell syntax, sometimes I think it would have been better to model Idris on something else...
-
-
What about alternative syntax? I'd love to experiment with a Kotlin-looking Idris to lure in people scared of the Haskell syntax :D
-
Everybody knows the best way to overcome fear is exposure :)
- 1 more reply
New conversation -
-
-
Speaking of targets in Idris 2, would it be possible to have a compilation mode using linear types to ensure all allocations can live on the stack? Writing a garbage collector is hard, especially in Bash or TeX.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.