™
™ or TM is an esolang (or, a family of esolangs) that can do a Truth Machine (except type 4 and 11, which are basically jokes), created by User:None1.
Syntax
Dialects created in 2023
Type 1
There is only one valid program: ™, which is a Truth Machine.
Other programs raise a syntax error:
Syntax error
Type 2
There are only three valid programs:
™, which is a Truth Machine.©, which is a cat program.®, which is a reverse cat program.
Other programs raise a syntax error:
Syntax error
Type 3
There is only one valid program: an empty program, which is a Truth Machine.
Other programs raise a syntax error:
Syntax error
Type 4
Every program raises a syntax error:
Syntax error
It is obvious that type 4 is a Nope. derivative.
Type 5
Every program is a Truth Machine.
Type 6
Every program that isn't empty is a Truth Machine.
An empty program raises a syntax error:
Syntax error
Dialects created in 2024
Type 7
There is only one valid program: ™, which is a Truth Machine.
Other programs delete themselves.
Type 8
Any program that is not ™ is a Truth Machine.
™ raises a syntax error:
Syntax error
Type 9
There are only three valid programs:
™, which is a Truth Machine.©, which is a Truth Machine.®, which is a Truth Machine.
Other programs raise a syntax error:
Syntax error
Type 10
There is only one valid program: ™, which is a Truth Machine.
Other programs do nothing.
Type 11
Every program does nothing.
This is the same as APLWSI.
Example Programs
Type 1
Truth Machine
™
Quine
Syntax error
Type 2
Cat Program
©
Reverse Cat Program
®
Truth Machine
™
Quine
Syntax error
Type 3
Truth Machine
The Truth Machine for type 3 is shorter than Truth Machine in any other language.
Quine
Syntax error
Type 4
Quine
Syntax error
Self interpreter
No matter what this is.
Self interpreter 2
Syntax error
Type 5
Truth Machine
Alternative
Hello World!
Type 6
Truth Machine
Truth Machine
Type 7
Truth Machine
™
Delete itself
Any text can go here
Type 8
Truth Machine
Any text can go here (really?)
Type 9
Truth Machine
™
©
®
Are all truth machines.
Quine
Syntax error
Type 10
Truth Machine
™
Interpreter for type 11/APLWSI/Nil
Anything can go here
Type 11
Self interpreter/Nil/APLWSI interpreter
Anything can go here
Interpreters
The following interpreters are in Python.
Type 1
import sys
code=sys.stdin.read()
if code=='™':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error')
Type 2
import sys
code=sys.stdin.read()
if code=='™':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
elif code=='©':
print(sys.stdin.read())
elif code=='®':
a=input()
l=list(a)
l.reverse()
print(''.join(l))
else:
print('Syntax error')
Type 3
import sys
code=sys.stdin.read()
if code=='':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error')
Type 4
print('Syntax error')
Type 5
import sys
code=sys.stdin.read()
if True:
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error') # Just kidding!
Type 6
import sys
code=sys.stdin.read()
if code:
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error')
Type 7
import sys,os
code=sys.stdin.read()
if code=='™':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
os.remove(sys.argv[0])
Type 8
import sys
code=sys.stdin.read()
if code!='™':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error')
Type 9
import sys
code=sys.stdin.read()
if code in list('™©®'):
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
else:
print('Syntax error')
Type 10
import sys
code=sys.stdin.read()
if code=='™':
x=input()
if x=='0':
print(0)
else:
while 1:
print(1)
Type 11