4 ms·
holes in the Idris sense, as in this spec? https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf
by jjtheblunt 4y ago
holes in the Idris sense, as in this spec?
https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf
- runevault 4y agoI haven't looked too closely at Idris, I'll have to read this. Thanks for pointing me at it as I've been thinking about language design a lot lately (though I have no ideas that would warrant actually implementing a programming language currently).
- jjtheblunt 4y agoif i may suggest, as we seem probably similarly thoughtful about language design, and having been a Scheme person long ago, Python of course, optimizing compilers galore, etc. ... I find F# very neat, as it's essentially a Microsoft .Net runtime Ocaml, and is therefore (not syntactically, but semantically) reminiscent of Scheme/Lisp.
- runevault 4y agoI am in fact dabbling in f# of late haha (My day job life is C# and f# does a lot of things well). I just never seem able to only mess with one thing so I'm also doing CL.
- jjtheblunt 4y agowe are evidently clones
- runevault 4y agoHaha. Out of curiosity have you seen the youtube channel Fast f#? He's doing a good job of talking about f# at several levels from simple to deep optimization work.
- jjtheblunt 4y agohaven't seen that; thanks for the reference. i've been using the Microsoft dev docs, and fsharpforfunandprofit ... (and just situational awareness from an optimizing compilers background)