[vitriol83]

Can anyone suggest a good embedded language with static or at least optional typing ? I feel this is a gap in the market for embedded languages.

[Lapz]

Gluon -http://marwes.github.io/2018/06/19/gluon-0.8.html

[mlinksva]

Lily looked pretty interesting, discussed here a couple years ago

https://github.com/FascinatedBox/lily https://news.ycombinator.com/item?id=12015158

[mastax]

Dyon https://github.com/PistonDevelopers/dyon

(Interesting and very easy to modify, maybe not "production ready")

[tomp]

Thanks for this!

This is by far the most what the fuck language that I've seen in a long while. It displays an astonishing amount of creativity and novel (at least to me) ideas, most of which are probably bad and won't survive for long, but some of them are really cool! Things like "packed loops"

    for i, j { println(list[i][j]) }

or using `return` as a variable without exiting

    return = 8

Really cool!

[ainar-g]

I wonder if the lack of strongly statically typed embeddable languages is due to an accident or a fundamental limitation of implementations of such languages. Is the type checker code too big? Is it too complex?

[vitriol83]

Writing a type checker is conceptually much more specialised than just a scripting language. Certainly I have no idea how to write one!