Viewing profile — mattgoupil

After working with C++, I spent years embedded in Scheme. Have you worked with any other functional languages, like Haskell, ML, or even Lean? Intellectually, the value of Scheme i…

Good post. But it also shows, in a way, what a tangled web Lean is when you get into it! Sure, you could try to just program in Lean, but that would be a shame - proof is such an i…

Something you might find interesting to look at is Rego, a datalog-derived language been used for writing security policies. Rego is dynamically typed, so no real protection. It's …

as long term runner, this was fascinating. however I'd have appreciated a bit more of a discussion of forefront first running.