From Esolang
Jump to navigation Jump to search

Madeye is a a model/modal programming language. It was created by User:Doesthiswork in 2017.


Madeye is an attempt to borrow grammatical moods into a programming language. And why not modal logic too while we're at it.

Model Particles


 ! x = y

sets the value of x to y


 ? x = y

returns True or False

 ? z, z * z = x

creates and binds z to the square root of x


 $ x = y

introduces x as a new variable equal to y


 ` x = y

non-eager evaluation

Alethic Necessity

 ^ x = y

x must equal y or an error will result

Deontic Necessity

 @ x = y

creates a constraint that whenever either x or y changes then the other changes to match

Logical Operators

Not can be freely mixed into statements. For instance

 not ! x = 3

does not set x to three. And

 not ^ not ( x = y )

means that x can equal y or it can not equal y, it's all good. And and Or can also combine statements.