undefined | Better HN

0 pointscercatrova4y ago0 comments

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.

0 comments

2 comments · 2 top-level

adenozine4y ago

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…

Siira4y ago

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.

j / k navigate · click thread line to collapse