Sfultong's Code

I've been thinking a lot recently about what people mean when they use the word "semantics", specifically in relation to progr...

New Core Grammar I've removed App and Closure from the core grammar and in their place added SetEnv and Defer. I believe this change w...

I want to demonstrate that Turing Completeness is unnecessary for general purpose computing, through something I have called SIL. SIL ei...

Modern software engineering is based on problematic fundamentals. One thing I loved about computers when I was young, was their determinis...

The world is now filled with cryptocurrency fans, and it would be great, but we're cannibalizing our movement. It's Bitcoin against ...

I've been trying to shoehorn Haskell into my job for a while now. Occasionally I'll use it for small command-line tools, but usuall...