As I mentioned in a thread earlier today, and at the urging of some friends, I am working on the 0.1 release of my personal programming language.
It is a language based on explicit parallel and sequential composition of expressions (very similar to the concatenative languages family) with an underlying categorical semantic/type theory based on Adjoint Logic (work by Pfenning, Reed,Pruiksma et al and work by Licata, Shulman, et al with the Simple Intutionisitic fragment replaced by a Dependently typed fragment (ala Krishnaswami) and all based on work in the ‘90s by Nick Benton).
I set myself a goal since I’m in lockdown of having a landing page with minimal compiler and hopefully a small web based playgraound published before July 1. I have really been enjoying the work I’m doing on this and hope everyone else is having a good time working on their stuff amidst all the external upheaval.
It is a language based on explicit parallel and sequential composition of expressions (very similar to the concatenative languages family) with an underlying categorical semantic/type theory based on Adjoint Logic (work by Pfenning, Reed,Pruiksma et al and work by Licata, Shulman, et al with the Simple Intutionisitic fragment replaced by a Dependently typed fragment (ala Krishnaswami) and all based on work in the ‘90s by Nick Benton).
I set myself a goal since I’m in lockdown of having a landing page with minimal compiler and hopefully a small web based playgraound published before July 1. I have really been enjoying the work I’m doing on this and hope everyone else is having a good time working on their stuff amidst all the external upheaval.