3 ms·
The programming language that I will never get around to implement would have implicit parameters, that I think would subsume contexts, dynamic scoping and effe
by gpderetta 3y ago
The programming language that I will never get around to implement would have implicit parameters, that I think would subsume contexts, dynamic scoping and effects.
The real issue is figuring out a way to statically propagate implicits up without mandatory explicit annotations or whole program inference.
- andyferris 3y agoI love this. I too will never get around to this, but I’d definitely join you! (I think propagating context up should be fine, but requires functions specialisation by call site).
- sestep 3y agoIdris has implicit parameters: https://idris2.readthedocs.io/en/latest/tutorial/miscellany.html https://idris2.readthedocs.io/en/latest/tutorial/miscellany.... As does Lean: https://lean-lang.org/lean4/doc/implicit.html https://lean-lang.org/lean4/doc/implicit.html Would yours look different from those, or is it the same idea?
- gpderetta 3y agoThanks for the pointers. I'll read the details of these languages for inspiration. To be clear, I'm not inventing anything here, I found out about implicits from scala.