Hacker News

points by jordan_bonecut 4 days ago | 0 comments

Dependent types can be achieved via “ideal Generics”. Very undocumented and not ready to commit to how they work yet, but the basic idea is that a type can be generic on a value.

[–] ch4s3 4 days ago

How long have you been working on this?

[–] jordan_bonecut 4 days ago

I have been building little prototype languages for years. This iteration which is heavily AI powered is a couple weeks old

[–] ch4s3 3 days ago

Oh cool, it's amazing how quickly you can stand up a language now, I love it. I'd love to exchange ideas, I really like what you're doing.

How are you doing resolution of your dependent(refined?) types? I've been using Z3, but you're clearly doing something else here.