Peter Saxton
Create of the EYG programming language.
Stockholm, Sweden
Actions
Peter is eliminating fragility from software by building a new programming language EYG. He got started with programming via Elixir and working in several London startups. For the last three years he has been working in northern Sweden to automate a battery Giga-factory. Peter is a regular open source contributor involved in several projects including the Gleam programming language.
Links
Area of Expertise
Topics
Sending types through space and time
Type systems are designed to be helpful.
They manage complexity and provide documentation about our code.
Most importantly they provide guarantees about a program. A single complete program.
However, most type systems fall short of providing guarantees beyond a single program.
They do not guarantee that our client can talk to our server.
Nothing is guaranteed when rolling out the latest deployment into a running system.
But can type systems do more?
Can we type check a program without seeing the whole thing?
Can we provide guarantees that a code upgrade will continue to work in a running system?
This talk will take a tour through various languages and their type systems.
We will pass by Fsharp Type Providers, Ocaml 5.0's effect system and Unisons code store.
By the end we will demonstrate how our type systems can give us guarantees about our systems that hold from client to server, and from one version of our software to the next.
BEAM's bright future with Gleam (and JavaScript?)
Gleam is a language "running on the battle-tested Erlang virtual machine that powers planet-scale systems". Several of Gleam's design decisions were made to target the BEAM.
Gleam also compiles to JavaScript and this is the most exciting thing it does for the BEAM ecosystem.
Why?
- Exposing new people to the BEAM. People familiar with Elm are trying a Gleam web framework.
When looking for how to build the web backend the obvious answer is more Gleam, but on BEAM.
- Actor's everywhere. The community is now asking questions like "how do I start actors in the browser" "How do I message pass to the server, from the server"
- Using types as a design tool. Erlang has blocking IO, JavaScript does not. These are not just differences in the language but the platform they run on. Gleam captures these differences in types,
allowing cross environment code reuse where appropriate but highlighting the differences where necessary.
Peter Saxton
Create of the EYG programming language.
Stockholm, Sweden
Links
Actions
Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.
Jump to top