A type system? No no no no. Why would you go after types? If you show people types, they'll ask "how expressive?" -- and it will never be enough. The lang that was the Java Script killer becomes another Elm.
But if your lang has no types, you can say it's pre-types -- and it's a potential pure play.
Oct 9, 2025 · 3:53 AM UTC
