Eyg a language and structured editor built using gleam

[wooden sonnet]

https://vimeo.com/833330371/9aeaa64b46

Time for a dedicated thread, this is my latest update for my language. Features of the language are.

• Exhaustive typing, so a type checked program will never crash
• Structural (not nominal typing), so there is never any need to write a type declaration
• Effect types, built using row types. Row types are also used for Records and Unions
• No syntax, there is no parser the public interface to the language is a json format of the AST.

previous talks are available here https://petersaxton.uk/log/

[wooden sonnet]

Pretty much all the features of the editor are now working as I would like. Type inference works on every key press again.
https://eyg.run/
If you look at the "No type declaration" example click on the hole (red) press t for tagged and type Some. While the letters are being typed you get a red underline and the arg is unknow. But adding the last e resolves both immediately.

[wooden sonnet]

Explaining effect types with live examples https://vimeo.com/837681881?share=copy

[wooden sonnet]

Shallow effect handlers, need to be recursively added (use of std.fix) but allow handlers to be stateful. i.e. count returns the number of times it has previously been called.

[wooden sonnet]

Apps, new effects & Shallow effect handlers
https://vimeo.com/840125548?share=copy

[wooden sonnet]

Implemented eval in the language, experimenting with typechecking by using supercompilation https://vimeo.com/842275363?share=copy

[wooden sonnet]

Implemented a Json parser in Eyg https://vimeo.com/846295379?share=copy

[wooden sonnet]

I've had two people ask me how to get started with Eyg, so I've updated the readme, https://github.com/CrowdHailer/eyg-lang/#development

[wooden sonnet]

A longer explaination of why EYG is. https://vimeo.com/848449632?share=copy

[wooden sonnet]

Loaded the AST of every Eyg program, around ~10K AST nodes into CozoDB so I could run some datalog queries over the tree. seem's powerful ish https://vimeo.com/850311338?share=copy

[wooden sonnet]

Go interpreter for my language https://vimeo.com/854753610?share=copy

Only 150 lines of code for implementing effects

[wooden sonnet]

I've implemented a Lisp REPL/Shell for accessing my deployment infrastructure and other parts of my personal compute resources. It uses the same AST/interpreter as the rest of EYG.
https://vimeo.com/861001803?share=copy

[wooden sonnet]

https://vimeo.com/863287985?share=copy

[tacit rapids]

@wooden sonnet did you delete your access token 😅

[wooden sonnet]

@tacit rapids I did

[tacit rapids]

I don't know enough to comment on any of this stuff, but I just wanted to let you know that I watch these and enjoy them 🙂

[wooden sonnet]

More stuff going on in my shell. the website deploy script is now all in this shell https://vimeo.com/870407524?share=copy

got cozo db integrated

[pastel valve]

This is very interesting, are the effects like algebraic effects or?

I’m also super curious about your datalog/actor stuff

[wooden sonnet]

They are algebraic effects, probably closest to what koka is doing?

The other stuff, well I'll keep posting videos. I'm messing with compilers atm but I think I will get back to datalog stuff pretty soon after that

[pastel valve]

I’m keenly interested in distributed logic programming so your stuff is quite fascinating.

[wooden sonnet]

More details on algebraic effects on arduino https://vimeo.com/874870905?share=copy

Also I'm thinking of sharing these in less places soon. probably just a mailing list so if anyone would like to stay fully up to date and want's to send me their email address that's probably how I'll be sending stuff soon.

Maybe not immediately because I'm writing a mailing list manager in EYG

[pastel valve]

Any specific reason for the smaller distribution?

[wooden sonnet]

I'm experimenting with trying to spend less time online and would like to automate sending out the update. maybe I'll write a script that publishes to discord. but also maybe i wont

[pastel valve]

gotcha

[wooden sonnet]

First video in a while. An explainer of typing and how i want to show effect types. https://petersaxton.uk/log/

Posting here because I didn't get round to building a mailing list

[wooden sonnet]

https://vimeo.com/905289860?share=copy
Refactoring my CEK interpreter. I think the await function I've implemented is my favorite bit of Gleam I certainly pleased with it.

[wooden sonnet]

Let's talk about effects https://vimeo.com/914522438?share=copy

[wooden sonnet]

Type directed compilation of effects https://vimeo.com/916832405?share=copy

[wooden sonnet]

Forgot to add this one. Big improvements to the structural editor https://vimeo.com/943341129