Talk:Tip

Computational class

You probably know this, but your computational class proof would be total overkill if you weren't supporting the decimal fixed-point variation. Otherwise, simply note that Tip programs include all Collatz functions that arise from conversion of Fractran programs. --Ørjan (talk) 20:29, 12 July 2018 (UTC)

I missed that for some reason, although it's obvious once pointed out. (The ridiculous thing is that I got very close to recreating the Fractran TC proof, but settled on this approach instead, both because it worked in fixed-point and because it's way more efficient in terms of the length of the resulting program, although probably not in terms of runtime. I guess one goal of my current esolang research is trying to find the language that has the shortest implementation in a tarpit. Currently leaning towards Brainpocalypse but I suspect there's a better language out there that hasn't been discovered yet.) --ais523 21:15, 12 July 2018 (UTC)