News for hackers. Stuff that matters.

A comment on Zig self hosted compiler is now capable of building itself. Parent comment

Re:Zig self hosted compiler is now capable of building itself by cercatrova on Sunday April 17, 2022 @03:58AM (#31059308)
Common Lisp doesn't offer features like sum types right? I am under the impression that it is a dynamically typed language like most Lisps, but I could be wrong.
[ Parent | on HN ]
Re:Zig self hosted compiler is now capable of building itself by adenozine on Monday April 18, 2022 @11:38AM (#31072149)
You might peek at Coalton.

https://coalton-lang.github.io/reference/

I don’t think it has sum types, but it offers a rather sophisticated and very functionally oriented type system that compiles back to SBCL. It looks neat, haven’t found time to play yet…

[ Parent | on HN ]
Re:Zig self hosted compiler is now capable of building itself by Siira on Sunday April 17, 2022 @11:53PM (#31067222)
It has optional typing, but as it’s fast without it, I haven’t dug into them. I don’t know about a union type though.
[ Parent | on HN ]