ExceptionRaised

5 ms·

1. 1.▲
   by ExceptionRaised 9y ago

   Here's an interesting extension to the language to allow for session-typed concurrency. [0]: http://mwillsey.com/papers/cc0-thesis.pdf
2. 2.▲
   by ExceptionRaised 10y ago

   Flatland is satire: https://en.wikipedia.org/wiki/Flatland#As_a_social_satire
3. 3.▲
   by ExceptionRaised 10y ago

   I feel you. I want to like neovim, I really do. Same thing with this. I even want to just use emacs+evil. But since I've picked up spacemacs (~3 months ago) I can't really use anything else. I'm already pretty hooked on orgmo
4. 4.▲
   by ExceptionRaised 11y ago

   Take a look at spacemacs (sorry, no link, I'm on mobile). It's got a lot of cool features, but most importantly the "layers" (an abstraction on top of modes and packages) all have evil-ified keybindings.
5. 5.▲
   by ExceptionRaised 11y ago

   I believe dependent typing is what you're after. Have you looked at Idris? http://www.idris-lang.org/example/
6. 6.▲
   by ExceptionRaised 12y ago

   Moby Dick. It's great so far, with wonderfully diverse, dense writing. For some reason I have trouble reading anything but the so-called "literary classics". Perhaps it's the fact that there are so many I could quite lit
7. 7.▲
   by ExceptionRaised 12y ago

   I try to take a break from proving progress and preservation by reading hackernews and of course I find someone talking about 15-312 :/ Either way, I would agree with you in recommending the text.