libretto
topshell
Our great sponsors
libretto | topshell | |
---|---|---|
2 | 5 | |
190 | 472 | |
- | 0.0% | |
9.5 | 0.0 | |
2 days ago | over 2 years ago | |
Scala | Scala | |
Mozilla Public License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
libretto
-
Synit – A Reactive Operating System
I'm not sure this is actually easy to solve. The basic idea here seems to be that actors coordinate with the help of shared mutable state (the "dataspace"). At this point you're actually back to square one as synchronizing shared state is the core problem with distributed, concurrent systems…
Given that, and the fact that this whole thingy is untyped makes me skeptical. Not even the std. ingredients like type-state, session types, behavioral types, or the like seem to get used. I also don't see linear types here, which go very well with session types / behavioral types, and can help making typing message passing easier.
Also that this approach would be completely network transparent, as I see it, seems like a design flaw. One needs control over the various effects that can occur! Otherwise the points form "distributed systems future work" can't be solved, imho.
And form the practical point of view: There is no Akka / Pekko based Scala implementation? I'm quite surprised, to be honest.
Akka / Pekko is the actor runtime, and Scala is famous for it's eDSL features; besides of course its type-system, which makes thing like Libretto possible, which seems related here:
https://github.com/TomasMikula/libretto
Syndicate-lang looks OTOH more like the usual callback-hell.
But like I've said, I don't get this whole thingy really. I've just clicked through some parts of the web-sites. Most likely I'm just overlooking the elephant in the room. So would be glad to learn more!
(BTW: Very nice web-site design on all the projects. Especially nice typography. Really enjoyed this part while clicking through this stuff.)
- New Scala 3 Codebases
topshell
-
What's the syntax of lambda expressions in your language?
TopShell, curried, arrow:
-
Ask HN: What are some tools / libraries you built yourself?
I created TopShell - a purely functional, reactive scripting language for fetch/process/visualize style tasks: https://github.com/topshell-language/topshell
-
"If you can compile it, there's probably no bugs" languages other than Haskell?
I'm working on TopShell, which is in that category.
-
Are there any language where reactive programming are first class constructs?
TopShell is purely functional and has discrete reactive streams built in (shameless plug).
What are some alternatives?
dotty-cps-async - experimental CPS transformer for dotty
Rx.NET - The Reactive Extensions for .NET