Viewing profile — ExceptionRaised

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

Flatland is satire: https://en.wikipedia.org/wiki/Flatland#As_a_social_satire

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 anyt…

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 …

I believe dependent typing is what you're after. Have you looked at Idris? http://www.idris-lang.org/example/

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 …

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 recomm…