(I don't have anywhere near enough time to implement these 🤣)
Conversation
ugh - I feel you
1
1
Deadline is tomorrow evening. I think I shall have to accept that closures, tuples, and ADTs aren't gonna make the cut
1
but, but, what about dependent types, ; ____ ;
1
good luck implementing recursive types without a heap, that's why I gave up
1
1
ack, yeah that is terrifying - need to know the size somehow
1
kind of cool problem though! kind of would be cool to have something like that in pikelet… just not when it's due tomorrow 😢
1
1
is it even possible?
1
It would be cool if you could inductively define fixed size slices perhaps. If you had unboxed types you'd need to know it was finite - which potentially is ok if you are in a total language? Figuring out if you can lay it out inside the stack size might be trickier though.
2
1
just hope the stack is big enough =p
1
my compiler *does* have tail call optimisation at least
1