Christian Poveda Ruiz
Christian Poveda Ruiz
Pijama is alive! After a long hiatus I am back with new ideas for the project. One of those is rewriting the language backend to a VM based model. The...
This issue tracks our documentation coverage. The following modules need documentation: - [ ] `pijama::parser`. (assigned to @christianpoveda) - [x] `pijama_ast`: There are some docs missing here and there. Specially...
Our evaluation semantics up to this moment has been what is known as call-by-name. Which means that when evaluating a function call `f(x)`, `x` gets replaced inside `f`'s body and...
All the structs used in `pijama::mir` and `píjama::lir` implement `Display` which helps a lot during debugging. However, when the expressions are too long, they are not easy to read and...
I've noticed that our benchmarks go up in changes that don't affect evaluation performance (like changes to the parser): https://christianpoveda.github.io/pijama/dev/bench/ There might be two reasons for this: - Github's infrastructure...
It would be really cool if we could compile Pijama to wasm and publish an small playground in the web site of the repository (which is empty now). This can...
Everything stated here is open to discussion and revision for anyone who wants to give their opinion, except for the name, that's non-negotiable. # Introduction Following the spirit of https://github.com/christianpoveda/pijama/issues/68....
In this moment we have two IRs based on the lambda calculus which have been a great way to start because the typing rules are easy and you can express...
This is a rather loose proposal but I'd like to start this discussion as it might provide a more straightforward way to handle issues like https://github.com/rust-lang/rust-bindgen/issues/564 and https://github.com/rust-lang/rust-bindgen/issues/1743. I've seen...
Implement service: - [x] Node - [x] `ReadNodeStatus` - [x] `ReadProtocolParameters` - [x] Milestones - [x] `ReadMilestone` - [x] `ListenToLatestMilestone` - [x] `ListenToConfirmedMilestone` - [x] Messages - [x] `ListenToMessages` -...