@chadfowler awesome! Thanks!
@baroquebobcat We're also working quite hard to help devs use types to write code which works. We write programs ourselves too after all!
-
-
@edwinbrady I don't doubt it. Idris sounds fun. -
@edwinbrady I really like the idea of a eagerly evaluated typed functional programming language.
End of conversation
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.