EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
They do have a paper in the repo: https://github.com/cqfn/eo/tree/master/paper
According to it, "𝜑-calculus" is something they made up for the eolang and not a standard term.
Here is my take on that calculus based on reading through section 3 in the paper. Note the paper is pretty weird and likes to make its own notation, so it is possible I got some things wrong:
It is starts with a pretty standard immutable language: "object" is a set of (name, value) pairs; "value" is either object or "data" (like a string, bool etc...); everything is immutable but you can make a copy an object with some attributes changed. There are no concept of "types" -- instead, you define objects with some fields set to NULL (spelled ∅ in the paper). There are also a bunch of term defined, like "abstraction", "application", etc.. -- but they all mean "make a copy of an object with some fields changed".
The "twist" is that the language has no functions per se, instead it defines AST-like structure: there is a syntactic sugar that handles things that look like function applications. So when you see:
stdout "Hello world"
Close all those tabs. Zigi will handle your updates.. Zigi monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack! Plus it reduces cycle time by up to 75%.
The Code and Its Tests in Different Pull Requests
1 project | reddit.com/r/programming | 11 Aug 2022
EO - object-oriented programming language based on 𝜑-calculus
1 project | reddit.com/r/ProgrammingLanguages | 19 Jun 2022
When applying for a position which is above a junior level,does personal projects not matter?
3 projects | reddit.com/r/cscareerquestions | 2 Oct 2022
The Golang proposal to add generics has now been accepted.
7 projects | reddit.com/r/programming | 10 Feb 2021
Proxy.golang.org Issues with Packages on Github.com
1 project | news.ycombinator.com | 9 Dec 2022