89 lines
4.3 KiB
Markdown
89 lines
4.3 KiB
Markdown
# Comun
|
|
|
|
Comun is a [beautiful](beauty.md), greatly [minimalist](minimalism.md) [programming language](programming_language.md) made by [drummyfish](drummyfish.md), based on his ideals of good, [selfless](selflessness.md) [technology](technology.md) known as *[less retarded software](lrs.md)* (LRS), of which it is now considered the official programming language. In the future it should gradually replace [C](c.md) as the preferred LRS language. The language has been inspired mainly by [Forth](forth.md), but also [C](c.md), [brainfuck](brainfuck.md) and other ones. Though already usable, it is still in quite early stages of development and work in progress; currently there is a [suckless](suckless.md) implementation of comun in [C](c.md) and a number of supplemental materials such as a specification, tutorial and some example programs. The project repository is currently at https://codeberg.org/drummyfish/comun. The aim now is to make a [self hosted](self_hosting.md) implementation, i.e. write comun in comun. Though very young, **comun is probably already the best programming language ever conceived**.
|
|
|
|
The language is intended to be the foundation of a completely new, non-[capitalist](capitalism.md) computer technology built from the ground up, which should culminate in the creation of the LRS much desired [public domain computer](public_domain_computer.md). This technology is derived from the model of an [ideal society](less_retarded_society.md) and as such will aim for completely different goals (such as helping all living beings as much as possible without enslaving them) and values; this makes comun astronomically different in philosophy and design of the shitty, toxic capitalist joke languages such as [C++](cpp.md) and [Rust](rust.md) which pursue fascism, enslavement of humans to the [productivity cult](productivity_cult.md) etc.
|
|
|
|
**A quick sum up** is following: comun is **[minimalist](minimalism.md)**, **[low level](low_level.md)** with minimum [abstraction](abstraction.md), **[portable](portability.md)**, **[imperative](imperative.md)** and **[stack](stack.md)-based**, using **reverse Polish notation**. It can be **both [compiled](compiler.md) and [interpreted](interpreter.md)**. There are **only primitive integer [data types](data_type.md)** (native integer size by default with possibility to specify exact width where necessary, signed/unsigned interpretation is left to the programmer) and **optional [pointers](pointer.md)** that can be used as variables, for managing multiple stacks, creating [arrays](array.md) etc. Its **specification can fit on a sheet of paper** and is **completely [public domain](public_domain.md)** under [CC0](cc0.md) (as is its current implementation). It has **no [standard library](stdlib.md)**. There are **no [English](english.md) keywords**; commands are rather very short (mostly 1 to three symbols) math-like symbols. Source code only allows [ASCII](ascii.md) symbols (no [unicode](unicode.md)). There is an **optional [preprocessor](preprocessor.md) that uses comun itself** (i.e. it doesn't use any extra language). **[Functions](function.md) and [recursion](recursion.md)** are supported. Many features of the language are optional and never burden the programmer if he doesn't use them. Simplified versions of the language (minicomun and microcomun) are also specified.
|
|
|
|
## Examples
|
|
|
|
Here is a very short showcase of comun code, demonstrating some common functions:
|
|
|
|
```
|
|
max: <' ? >< . ^ . # takes maximum of two values
|
|
|
|
max3: max max . # takes maximum of three values
|
|
|
|
# recursive factorial
|
|
factR:
|
|
?'
|
|
$0 -- factR *
|
|
;
|
|
^ 1
|
|
.
|
|
.
|
|
|
|
# iterative factorial
|
|
factI:
|
|
$0 --
|
|
|
|
@'
|
|
>< $1 * ><
|
|
--
|
|
.
|
|
^
|
|
.
|
|
```
|
|
|
|
The following is a [quine](quine.md) in comun:
|
|
|
|
```
|
|
0 46 32 34 S 34 32 58 83 S --> S: "0 46 32 34 S 34 32 58 83 S --> " .
|
|
```
|
|
|
|
The following code translates [brainfuck](brainfuck.md) to comun (proving comun really is [Turing complete](turing_complete.md)):
|
|
|
|
```
|
|
0 "$>0 " -->
|
|
|
|
@@
|
|
<? ?
|
|
<-
|
|
|
|
$0 "+" = $1 "-" = | ?
|
|
$0 -> $0 -> " " ->
|
|
.
|
|
|
|
$0 "<" = $1 ">" = | ?
|
|
"$" -> $0 -> "0" -> " " ->
|
|
.
|
|
|
|
$0 "." = ?
|
|
0 "->' " -->
|
|
.
|
|
|
|
$0 "," = ?
|
|
0 "$<0 <- " -->
|
|
.
|
|
|
|
$0 91 = ? # left bracket
|
|
0 "@' " -->
|
|
.
|
|
|
|
$0 93 = ? # right bracker
|
|
0 ". " -->
|
|
.
|
|
|
|
^
|
|
;
|
|
!@
|
|
.
|
|
.
|
|
```
|
|
|
|
TODO: more, code examples, compare the above with C, ...
|
|
|
|
## See Also
|
|
|
|
- [uxn](uxn.md) |