This comment section is very "why write a Language?" oriented.
I love reading about new languages!! I work with data scientists a lot so I'll probably always use Python professionally, at least for the foreseeable future.
But Python, JavaScript etc are huge languages with massive histories of practical trade offs and compromises. It's always exciting to see what someone's dream language looks like!
Besides, learning languages like Rust and Clojure has taught me a huge amount that's transferable to coding in other languages like Python.
I like the idea of a lightweight json focused / typed scripting language a lot!
For me, it's that this language already exists in F#. Other than "lightweight" (.NET probably inatalls just as fast as Python these days, though), it is the statically typed scripting language, in my opinion.
I love me some F#, but F# isn't a scripting, and it's compile times were pretty terrible the last time I used it on Linux. It's been a while, though, so maybe things have improved.
Why do you say it's not a scripting language? You can write .fsx files and run them as scripts, and there's a nice REPL. Using Polyglot Notebooks, you can even combine several languages, including F# and PowerShell, and documentation and run the notebooks as scripts.
Were you running F# with modern .NET, i.e., .NET5+?
Why does that matter, exactly? What affect on scripting does that have?
You can run a script file via `dotnet fsi script.fsx`. You can load and run a script inside FSI (F# interactive, the F# REPL) via `#load script.fsx`. You can run a notebook as a script via `dotnet repl --run notebook.dib --exit-after-run`. There is no "compilation" visible or required by the user.
This is nearly identical, except that it's improved and more featureful, to how one runs a script in Python. Whether F# is compiled or not is immaterial.
I love reading about new languages!! I work with data scientists a lot so I'll probably always use Python professionally, at least for the foreseeable future.
But Python, JavaScript etc are huge languages with massive histories of practical trade offs and compromises. It's always exciting to see what someone's dream language looks like!
Besides, learning languages like Rust and Clojure has taught me a huge amount that's transferable to coding in other languages like Python.
I like the idea of a lightweight json focused / typed scripting language a lot!