Use Idris then. This is why multiple languages exist; there are tradeoffs and you have to compromise.
IMO, iterators aren't useful for processing user input in a no-copy way. Would prefer slice/result/option/etc. APIs w/o any panicking fns.
-
-
Also tag-length-value stuff should be easy to do (machine-checked) provably correct w/ dependent types. That's most (network) parsing I see.
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.