my longterm goal for a programming language:
syntax: s-expression with optional identation of code to omit parenthesis. sort-of lisp meets python
semantics: pattern calculus + call-by-push-value
but alas to little time for now
Posted Jan 28, 2013, 7:53 AM UTC
Wow, I was making a language based on pi calculus, but that looks really, really interesting...maybe some sort of hybrid...? Hmmm thanks for posting. Damn, and I thought that the pi calculus was going to be The Next Big Thing, perhaps I'm wrong from what I've seen of the pattern calculus. I must admit, I'm tempted to abandon my project after seeing http://wwwusers.di.uniroma1.it/~gorla/papers/cpc-long.pdf. I went on a hunt for cool new paradigms/calculi for the past few months, and I came up with pi calculus, and you have the pattern calculus and call-by-push-value. ::Frustration::
This language that you're making...it's going to be so, so awesome. Fill us in on future development/implementations please! (if possible could I help out, it sounds like it'd be fun, even if I dunno what language you're planning on implementing it in)
thx for the kind words :)
i must admit i'm not that interested in concurrency. for now i'm set to implement sequential pattern calculus. but i guess this is my forever+1 project then :D
I must admit that I get very enthusiastic very easily :). I'll do some work/thinking on/about concurrent pattern calculus, and maybe then we could compare ideas?
Speaking of syntax: I think this already exists. I remember researching it a while ago and finding something like that. Certainly its not hard to build something that will take syntax like you describe and emit normal s-expressions.
maybe implement identation as a macro anyway..
now i need a macro system ..
What? How could that be a macro? You have to write some string processing stuff. Start counting spaces and all that.
How about a short example?
I'd like to see that too. S-expressions + strong typing sounds weird.
lisp is strongly typed.... you mean statically typed? Anyway, I'm pretty sure there're statically typed racket dialects.
Yes and there’s also Qi and Shen.