2 ms·

Currently, I aim to get the proof development complete in my Copious Free Time and publish a small paper detailing it regarding something more like an extension

Currently, I aim to get the proof development complete in my Copious Free Time and publish a small paper detailing it regarding something more like an extension to Haskell or SML than a complete language of my own. I also have a friend who's trying to Solve Programming Languages by building a dependently-typed systems programming language with modules and type-classes and such, so I can pass him the code and proofs if I really so burningly desire to see my work "ship" somewhere, somehow.

nickpsecurity 10y ago
"regarding something more like an extension to Haskell or SML than a complete language of my own." Smart. Might work out. " building a dependently-typed systems programming language" I've seen a few of those: ATS, Idris, Bedrock in a way. Has your friend published any work showing off his? Or is it still in pre-alpha development?