Madeye

Madeye is a a model/modal programming language. It was created by Doesthiswork (talk) in 2017.

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

Imperative
! x = y sets the value of x to y

Interrogative
? x = y returns True or False ? z, z * z = x creates and binds z to the square root of x

Realis
$ x = y introduces x as a new variable equal to y

Irrealis
` 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.