Hacker News new | past | comments | ask | show | jobs | submit login

I like Shen too. I'd like to do a "basic proofs" Shen article comparing it to ATS.



I would very much appreciate that article as a follower and fan of your work. You lead me down the Wasp Lisp road! Shen is amazing in that it combines a lot of things I am looking for in a PL. I wish I could contribute to libraries for it, since they will make it more useful from the get go.


Thanks for the kind words, it's definitely on my plans to write such a post.

I'd like to improve the speed of the Wasp Shen port too, it's pretty slow compared to the other ports. Still useable though which is good. I used it in a couple of projects, using the FFI to call Wasp's concurrency routines and it worked well.


I am not in need of speed, since I am learning. I am also learning Zig instead of Rust, and wondered if re-writing Wasp in Zig would be worthwhile?

I left ATS with hopes it would become 'smoother' syntax-wise in the future. I started programming low-level with Basic, C and Asm, went high-level, and now I am back to bit-banging and low-level. I thought Zig and Wasp Lisp would make a tight set of tools for this purpose without being baited to high-end PLs again!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: