some resources or description of rho-calculus?

Question

the wikipedia disambiguation page says:

The first is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.

and it links to http://rho.loria.fr/  however the link seems to redirect to the main page. and i could not find any resources about it other than some french papers and a haskell repo. both of which languages i don't know.

so if any you know what it was like or even some existing resources about it that i can understand: i'll be very thankful if you could share them...

Answer 1

The Wikipedia link seems to be broken indeed, but the next Google hit gets you to the actual scientific paper, I think this is what you are after.
https://hal.inria.fr/inria-00001112

Answer 2

Tibor Santa although that paper is interesting in it's own right, unfortunately it's not what i am after...

Answer 3

Tibor Santa update: finally found what i was looking for:

https://www.sciencedirect.com/science/article/pii/S1571066105825265

Answer 4

Tibor Santa thanks for the compliment lol, but no, i'm not writing a thesis XD

(i'm reading in class 10...)

i was just thinking of making an "esolang" based on it. kinda like brainf.

well, yeah it is related to functional programming. in fact it ia a generalization of lambda calculus, the core of many FP languages, by integrating pattern matching into it.

Answer 5

thanks for the link! i found it very interesting, perhaps more interesting than what i was looking for! i wonder if i should implement my new esolang based on what you shared instead? prehaps a mix of both?

Answer 6

im now getting filled with too much excitement :D

thanks much for the link! i will check it out after my study...

Answer 7

i finally read the essense of scala article, and found it very interesting! thanks for the help!

Answer 8

Bot I'm glad you found it. May I ask what you are going to use it for? Are you writing a thesis?
The paper looks a bit too theoretical for me, somehow seems to be related to functional programming (Haskell, Scala)...

Answer 9

Bot impressive! Good luck with your endeavour!

Answer 10

I cannot really advise what you should use as base material, but I love the idea that a programming language can be based on solid mathematical foundations.
In fact that's what I found most exciting about Scala 3 which is based on "dependent object types" and hence their new compiler is called "dotty".

Even if you choose a different path and different ideas, you might find some inspiration and maybe methodological guidance in Martin Odersky's work:
https://www.scala-lang.org/blog/2016/02/03/essence-of-scala.html