Nice introductory sales pitch for dependent types on reddit... http://www.reddit.com/r/programming/comments/23xzp3/f_a_dependentlytyped_variant_of_f_for_program/ch25ox5 …
@Not_ReallyMe Half is a good start :). We haven't learned to explain ourselves very well yet.
-
-
This Tweet is unavailable.
-
@Not_ReallyMe Indeed, syntax is partly chosen for the target audience (Haskellers, for us). We should still try to explain the ideas better.
End of 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.