Talk:Tip

From Esolang
Jump to navigation Jump to search

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)