Discussions of dependent types often assume they're all about specification and proof. That's part of it, but not the most interesting bit.
-
-
That's certainly a pit that F# was pushed into - that it's only good for solving "hard" problems. I try to always undo that misconception.
-
That’s definitely not true. I use FSharp to solve easy problems all the time.
- 1 more reply
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.