Mun: A programming language empowering creation through iteration

Re:Mun: A programming language empowering creation through i... by cheriot on Thursday February 18, 2021 @01:48PM (#26183860)

I'd love to see a modern type system available as a Lua replacement. A couple things I didn't see skimming the docs:

1. Does it continue the billion dollar mistake (null)?

2. Does it allow type parameters so I can write a generic Map that works with any kind of keys and values?

[ Parent | on HN ]

Re:Mun: A programming language empowering creation through i... by nerdponx on Thursday February 18, 2021 @02:06PM (#26184075)

If you're interested in "Lua with types", check out Teal aka "Typed Lua" aka "Tl": https://github.com/teal-language/tl. It compiles to Lua and is available as a single-file Lua module.

[ Parent | on HN ]

Re:Mun: A programming language empowering creation through i... by samatman on Thursday February 18, 2021 @04:05PM (#26185525)

Alas, every type in Teal is nil-able, so it really is a TypeScript for Lua.

Which is no small thing, but still, unfortunate.

[ Parent | on HN ]

Re:Mun: A programming language empowering creation through i... by brundolf on Thursday February 18, 2021 @10:55PM (#26189494)

TypeScript guards against nulls with the flip of a flag. That's its biggest benefit in my opinion.

[ Parent | on HN ]

Re:Mun: A programming language empowering creation through i... by jasfi on Friday February 19, 2021 @02:00AM (#26190485)

Take a look at Nim, it's described as Python with types, but could be what you're looking for.

[ Parent | on HN ]

Re:Mun: A programming language empowering creation through i... by nicoburns on Thursday February 18, 2021 @02:37PM (#26184421)

From my reading there is no null, and no generic types either.

[ Parent | on HN ]