Live data from Hacker News

Eolang, an Experimental Object-Oriented Programming Language Based on πœ‘-Calculus

github.com

1–10 of 35 posts

Re: Eolang, an Experimental Object-Oriented Programming Language Based on πœ‘-Calculus

#6
> EO is based on πœ‘-calculus (if you want to see its description, join this Telegram chat: @polystat_org).

Because putting this description into a doc/MATHS.md file inside the repo itself is too easy.

Also, a tip for anyone who decides to put out there a programming language with highly exotic operational semantics: please don't forget to put a quick overview of that semantics in the "Tutorial" section. I suspect most people would be puzzled why output is performed by "making a copy of the abstract object stdout with a single argument "Hello world!".

Re: Eolang, an Experimental Object-Oriented Programming Language Based on πœ‘-Calculus

#7
post #6

> EO is based on πœ‘-calculus (if you want to see its description, join this Telegram chat: @polystat_org). Because putting this description into a doc/MATHS.md file inside the repo itself is too easy. Also, a tip for anyone who decides to put out there a programming language with highly exotic operational semantics: please don't forget to put a quick overview of that semantics in the "Tutorial" section. I suspect mos…

> Because putting this description into a doc/MATHS.md file inside the repo itself is too easy.

Agreed. Even a link to Wikipedia would be useful: πœ‘-calculus is not the easiest thing to search for, and I'm certainly not going to sign up for a Telegram account just to find out what this is all about.

Re: Eolang, an Experimental Object-Oriented Programming Language Based on πœ‘-Calculus

#8
In the "Things we don't tolerate" list, for "classes" they link to a short post which describes a simple use of prototypes with "types" but not "classes" and ends with "Why not?"

Building something can show that an approach is possible, but not why you think it's preferable.

Re: Eolang, an Experimental Object-Oriented Programming Language Based on πœ‘-Calculus

#9
Hmm. I'm intrigued what they come up with. The creator is something of a firebrand, who tends to 'no true scotsmen' other OOP languages. His ideas are interesting, but often seem impractical in other languages. If he comes up with something effective, I suspect it will indeed feel similar to lisp, and not in a bad way. Even what he's showing right now feels similar to Wisp-syntax with an OO twist.
Post reply on HN