@tupshin I think the way to get there practically speaking is probably with refinement types a la Liquid Haskell.
I think my ideal programming language would be the unholy love child of Idris and Rust #rustlang
-
-
-
@awesomeintheory I've got my eye on Generalized Arrows for heterogenous metaprogramming. http://www.megacz.com/berkeley/garrows/ … -
@tupshin Ahhh, more stuff to read about :). I'm currently deep in PTS literature to fully grok http://compilers.cs.ucla.edu/popl15/popl15-full.pdf …, but this is next. -
@awesomeintheory so very much to read. exploring category through back door of increasingly strongly typed programming language is my route
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.