Here’s a visual demonstration of what I’ve been working on these past few days: separation of the type and value namespaces in Hackett.
Conversation
Replying to
I dunno, I kind of feel this is a mistake for newer languages. Good to leave the door open for more power features down the line… 🤔
Replying to
I have no intention of making Hackett dependently typed, and this UX is better. With Racket, DTs can just as well be a different #lang.
1
2
Fair enough! Yep, the ergonomics is indeed better if you can overload constructor names. 👍