lpil

17 ms·

211.
by lpil 6y ago
I don't think anything has been published yet. It's very much in the early ideas stage, but there's a couple private mailing lists with some discussion going on.
212.
by lpil 6y ago
The limitations of Dialyzer and typespecs were a big motivator for creating Gleam. They were not reliable or fast enough for my taste. There is some work being done towards better types for Erlang, as well as sharing types between languages
213.
Gleam 0.14 – Type-safe language for the Erlang VM(gleam.run)
280 points by lpil 6y ago|51 comments
214.
by lpil 6y ago
Web assembly and running in the browser are both long term goals of Gleam! Right now the focus is on Erlang, but once we have a good enough experience there one thing I'm going to explore is different compilation targets so that Gleam
215.
by lpil 6y ago
Hi! I'm the Gleam guy! It out curiosity what would the language need to bring it closer to what you want? Here's Gleam for anyone interested: https://github.com/gleam-lang/gleam
216.
Gleam v0.12 and Gleam OTP v0.1 released(gleam.run)
5 points by lpil 6y ago|0 comments
217.
by lpil 6y ago
I've just picked this up and Street reading the first chapter I'm very excited to read the rest! It's unusually easy to follow for a book on this subject.
218.
by lpil 6y ago
Hello! I'm the creator of Gleam. From talking to the WhatsApp Erlang team a little it seems unlikely unlikely that the Erlang type checker will be usable with Elixir I'm afraid.
219.
by lpil 6y ago
I'm the author of Gleam, thanks for sharing this here. If you have any questions please do ask!
220.
by lpil 6y ago
I said data is immutable on the BEAM, actors can update their state.
221.
by lpil 6y ago
All data is immutable on the BEAM with a few exceptions, so no mutation within actors.
222.
by lpil 6y ago
> but if something's based on BEAM, the throughput generally won't impress I'm not sure where you're getting that from- that's typically the area it does well. It's bad at number crunching, but you if the wo
223.
V0.8 of Gleam, the statically typed language for the Erlang VM, is out(lpil.uk)
12 points by lpil 6y ago|0 comments
224.
by lpil 6y ago
If I might be so cheeky I would suggest my Rust alternative, it is much faster and has a greater feature set -> https://github.com/lpil/sonic-pi-tool/
225.
by lpil 6y ago
It is just another instrument. Your question is similar to "what are the adavantages of the piano over the guitar for music creation?".
226.
by lpil 6y ago
I created a command line interface for Sonic Pi which can be found here -> https://github.com/lpil/sonic-pi-tool/ Due to some security related changes in Sonic Pi it does not work with the latest version, but h
227.
by lpil 6y ago
It came from Ericsson needing to upgrade telephone switch firmware without taking the system down. These telephone switches were often expensive and in physically difficult to reach places so having a standby for a switch-over wasn't v
228.
by lpil 6y ago
I'm afraid not, it's not been a fruitful area of research so we've not written anything down about the limitations.
229.
by lpil 6y ago
It would be difficult (or perhaps impossible) to type all of Erlang's message passing features, so we reduced scope to not include distributed message passing or hot upgrades- so the types of all actors in the system can be known up fr
230.
by lpil 6y ago
Certainly, there are some links to relevent libraries here -> https://gleam.run/faqs.html#how-is-message-passing-typed
231.
by lpil 6y ago
The hot loading of code we're talking about is mutating of running code in production, and it involves running multiple different versions of the same code at the same time in order to do a clean and incremental migration to the new ve
232.
by lpil 6y ago
I'm the author of Gleam, a statically typed language on the BEAM. What you've said matches my findings. Messages can be typed, however hot code upgrades cannot be. For Gleam we've sacrified hot code loading in exchange for ty
233.
by lpil 6y ago
Hi, I'm the author of Gleam. We have fully type safe message passing, we just don't have any special syntax for it. I'll update the documentation to make this clearer.
234.
by lpil 6y ago
Just gave it a test with WSL2 on Windows, doesn't seem to work with that setup. A shame
235.
by lpil 6y ago
Not at present, though it would be nice to be able to do that one day. It would be largely a vanity project so I don't intend to spend time on it when we could be building more useful things.
236.
by lpil 6y ago
Creating the PID data structure is rare however it's common to give names to processes and then throughout the rest of the program make the assumption that there a process behind the given name that will handle the messages you are sen
237.
by lpil 6y ago
Akka Typed is not capable of expressing everything Erlang's OTP commonly does I'm afraid, so it's not a complete solution here. We do however have typed message passing libraries in Gleam that are in part inspired by Akka Typ
238.
by lpil 6y ago
While what you've suggested is my preference I've found us to be in the minority, so we moved away from it. The syntax well not be changing again I'm afraid.
239.
by lpil 6y ago
It depends on what you want to do with them. They have constant time prepending and support structural sharing, both highly desirable features in many use cases.
240.
by lpil 6y ago
What data structure would you think of when you hear just "list"?

More ›