Discussions of dependent types often assume they're all about specification and proof. That's part of it, but not the most interesting bit.
-
-
I think you should make like an intro to software engineering level class with Idris :D
-
If only I could get away with that for the software engineering class I do teach! :)
- 1 more reply
New conversation -
-
-
I suppose we often have too much fun showing off fancy solutions to hard problems rather than telling people about the easy wins!
-
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.
- 2 more replies
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.