Esolang wishlist

[Bubbler-4]

Languages to implement myself

• FTC
  • Functional Tarpit Collection (tentative name)
  • a higher-level syntax that compiles into BLC, BCL, SKI text notation, Unlambda, Iota, Jot, Lazy K, Godel-LC (bijective base-256 compression of optimal Godel numbering of bound lambda terms)

Open for contributions

Small esolangs

• Brainfuck
• ///
• Brain-Flak
• Befunge
• Underload
• FRACTRAN

Languages with existing Rust impl

• Arn (Rust interpreter)

[ysthakur]

I think Arn is getting a Rust interpreter.

[AMiller42]

Vyxal when?

[ysthakur]

Some requests:

• /// a.k.a. slashes
• Befunge
• Fractran
• Iota and Jot
• Japt
• Lazy K

[ysthakur]

@AMiller42 Perhaps when RustPython is added?

[Bubbler-4]

@AMiller42 Python-interpreted languages can be added when RustPython is added (which is lower priority and depends on the maturity of the RustPython project). Related: #3

@ysthakur I won't support running JS (and anything that transpiles into JS), since I don't want to risk any security concerns related to having all browser features accessible. I'll need to study slashes, but Fractran and Iota sound good (though Fractran has a mature interpreter on TIO already).

Adding 3rd party Rust-based interpreters is also low priority for me, though I'll happily accept PRs.

[Bubbler-4]

(Maybe I can put every functional Turing tarpit into a single super-language, where you can compile a high-level definition (imagine sugar- and library-free Haskell) into each tarpit and test them in the same high-level language. This was what I was imagining for BLC/BCL, but we now have many more...)

[ysthakur]

Something like that for "families" like bf and befunge would be nice.

[ysthakur]

@Bubbler-4 I've got slashes working, I think, and will be starting on Iota (and probably Jot) (unless you want to implement it yourself).

[Bubbler-4]

@ysthakur I have a big plan around functional Turing tarpits, including BLC, BCL, Iota, Jot, Unlambda, etc (Lazy K is a superset of three different tarpits after all, and IMO we don't need separate interpreters when everything runs the same thing, just in different syntax)

[ysthakur]

Oh, I see. Looking forward to seeing those on TIB.