User:Miui/Drafts/Wild Abra

Wild Abra is an esoteric Pokémon-based programming language by User:Miui. The abstract machine is modelled after a series of battles between a player (Red) and a wild Abra. The player is Pokémon trainer with one Ditto.

Backstory

   Red awoke in a newly-constructed townhome one morning informed by their mother Miss Ketchum that some local professor had requested audience with them. The young Red spent the morning fixing a gaming-console and after finishing the repair had decided to go look for him. Red sped past Miss Ketchum toward the door and after leaving the modest two-story townhome went to the neighboring house where the professor often worked and stayed. The door to the professor's lab was locked and one was home so Red found the path which leads from Palette to the town center to go explore. The professor spent that morning fishing but rushed to meet the Ketchum child and managed to catch Red just in time!
 "Hey! Wait! Don't go out! It's unsafe! Wild Pokémon live in tall grass!" the professor shouted. Out of breath from catching up with Red he was met with a bemused look so he caught his breath and said "You need your own Pokémon for your protection. I know!"
 The exasperated professor only had a fishing rod and some untrained Magikarp; totally unprepared to take any local field samples so he urged Red to come with him back to the lab.
 Red's eyes rolled incredulously... the legendary trainer was never afraid of any of the bird or fish-types of the Ketchum family's former home. To the young prodigy a bruise or scratch by any of the normal creatures one might find in the meadows of the path would be a great opportunity to exercise that trademark Ketchum bravery which had brought them to the wild frontier-settlement of Kanto in the first place! It might have been difficult even for the professor to understand the fire in Red's eyes but the laureled scientist understood the power of One very well (it was his master's thesis after all!)
 The professor motioned with a nod toward his laboratory home and invited the young Ketchum to come with him. This is where the professor first introduced Red to the mysterious Pokémon named Ditto.

Abstract components

Wild Abra appeared!

Wild P^_km^_n

Abra
Metronome	Rest
Sleep talk	Teleport

Red's P^_km^_n

Ditto
Transform

• Can't escape!

Specification

A program is an self-referential operation composed of three elements:

1. Initialization (up to 2 words)
2. An algebraic form (follows intialization)
3. Closure (the evaluation product which is generally a halting state)

Comments are enclosed with round braces and are placed after the evaluation operand.

Undefined behavior

Undefined behavior is guarded by an densely undefined function^[1] and causes states:

• Wild Mew appeared! iff x is odd/even.
• Wild MissingNo. appeared! iff x is irrational.

Example programs

no-op type 1

Abracadabra
 No
Στ (καὶ τὰ ἕτερα)

no-op type 2 (supports post-fix/debugging)

Abracadabra
 Nop
Στ (καὶ τὰ ἕτερα, This part of the comment only appears if the program successfully halts)

random function

Double
 Abracadabra
 Στέφανος
suþ (Ditto used Transform!, Ditto used [random function]!)

Fibonacci

Double
 Abracadabra
 Fibonacci
Στ (0, 1/89)

Computational class

Pokémon Red is Turing-complete (which this language is a derivative of) but Wild Abra itself is a total function of the virtual machine.