Hacker News Reader

Comment by IshKebab | Hacker News Reader

I have yet to find any nice easy "normal" (like Typescript or Dart) statically typed languages that can be easily embedded. In the Rust space there's Gluon which is statically typed but has a really weird syntax and is functional, and there's Rhai which is really quite nice but dynamically typed.

I guess static type checking is probably more work on its own than writing an entire dynamically typed language.

View on HN

I’m currently working on Tiny [0], a small statically typed programming languages which is even more minimal than Wren.

[0] https://github.com/goodpaul6/Tiny

Looks interesting. How is the type just `array` in that example though? Doesn't it have to be an array of something?

Interestingly, given the minimal core of the language, arrays are not built in (this is something I'm looking to change, of course).

As such, the "array" type is just an opaque type exposed via the C binding API. Given that there are no generics at the moment, this array API works with "any" values (similar to "any" in e.g. TypeScript).

Very interesting!

BTW: I think I found a typo: "MATCH2("+=", PERCENTEQUAL);" — should be "%=" ??

Thanks! Just fixed this. Seems the "%=" operator is less useful than I thought.

In the lua realm, there is teal. It is very much like a typescript for lua

https://github.com/teal-language/tl

There's mun [1] which is statically typed and AOT compiled.

1: https://github.com/mun-lang/mun

That has no mention of embedding in its description and has LLVM as a dependency so I assume it isn't easy. Looks like a decent language though.

Have you checked out AngelScript?

https://www.angelcode.com/angelscript/

Oh yeah I always forget about this. I had seen it but it feels a bit archaic. Also it completely fails the "examples on the home page" litmus test.

What about just embedding WASM vm then languages like assemblyscript and c/c++,rust,zig,go can target it ?

Reply on news.ycombinator.com