Conversation

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.

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… 🤔

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.

Replying to

Fair enough! Yep, the ergonomics is indeed better if you can overload constructor names. 👍