FranchuFranchu

This is a silly idea for programming language I had. I didn't give it much thought, and the syntax & edge case rules are just a placeholder.

The only structured data type is the "record".

A record is a key-value mapping. It can also be typed.

MyRecord = (
	value: Int = 0,
	other_value = value + 24
)

FranchuFranchu

// Boolean constructors and functions
T           = λt λf t
F           = λt λf f
(Id a)      = a
(Not a)     = λt λf (a f t)
(And a b)   = (a λx(x) λx(F) b)
(Or a b)    = (a λx(T) λx(x) b)
(Or3 a b c) = (Or a (Or b c))
data List = (Cons head tail) | Nil

FranchuFranchu

use std::option::Option;
use Option::{Some, None};

enum Program {
  Leaf,
  Stem(Program),
  Fork(Program, Program),
}

mod Program {

FranchuFranchu

use std::numeric::F32;
use std::ops::Cast;
use std::unicode::ToString;

struct Decimal {
    m_sign: Bool,
    mantissa: N32,
    e_sign: Bool,
    exponent: N32,
}