Hacker News new | ask | show | jobs
by andyferris 133 days ago
The README on gitlab at least has a sentence or two on that: https://gitlab.com/FascinatedBox/lily

> An interpreted language with a focus on expressiveness and type safety

Personally I think typed scripting languages could be the future. They should support AOT compilation where necessary.
3 comments
bonesss 133 days ago
F# and C# are typed scripting languages. F# is quite similar to python in script form (.fsx), and has OCamls expressiveness, exhaustive pattern matching, and type inference. That results in highly expressive, terse, and ergonomic domain code.

The .Net VM now supports AOT compilation.

The future is now-ish :)

link
keyle 133 days ago
Why do you think that's the future?

Isn't a waste to essentially reinterpret an entire program that may be run 5000 times a day?

AOT compilation, how is that different than make && run?

At some point, you have a compiled language, if it's quick to compile, you're doing the AOT yourself, the scripting is an illusion. Pun intended.

link
nine_k 133 days ago
Isn't it a waste to run a test suite for a program that would run 1M times a day in production?

The key adjective here is successfully run. You want to detect any errors as early as possible. Ideally even at the early stages of writing the script, when a typechecker is already able to point at certain errors, and thus help avoid missteps in further design.

link
Syzygies 133 days ago
> Isn't a waste to essentially reinterpret an entire program that may be run 5000 times a day?

This is a dated prejudice that I shared.

To get started coding with AI I made a dozen language comparison project for a toy math problem. F# floored me with how fast it was, nearly edging out C and Rust on my leaderboard, twice as fast as OCaml, and faster than various compiled languages.

Compiling could in principle be fastest, if we had compilers that profiled hours of execution before optimizing code, and only then for "stable" problems. No one writes a compiler like this. In practice, Just In Time interpreters are getting all the love, and it shows. They adapt to the computation. My dated prejudice did not allow for this.

link
nofriend 133 days ago
a statically typed aot compiled scripting language is... not
link
LoganDark 133 days ago
Luau gets pretty close to statically typed and AOT compiled now. It's still a scripting language.

Even C or Rust can be a scripting language. You just integrate the toolchain to your app, same as every other scripting language.

link
mastermage 133 days ago
+1 for Luau which is just realy good.
link
satvikpendem 133 days ago
I script with Rust via cargo-script, it works great. Scripting is a task for when you want to achieve something in one file instead of a full blown application. It is not about the language, you can script in C or assembly if you so chose.
link
nine_k 133 days ago
"Scripting" is a role: an embedded, human-friendly, compact language, also suitable for interactive work / REPL.

(Laugh all you want, but Haskell has a rather nice REPL, and can work as a scripting language.)

link