11 ms·
My first programming (Fortran!) teacher listed input, storage, decisions, and output as the four concepts needed. Later I learned about Turing machines, same d
by pjmorris 11y ago
My first programming (Fortran!) teacher listed input, storage, decisions, and output as the four concepts needed. Later I learned about Turing machines, same deal.
- eru 11y agoPoint to where the decisions are in SKI calculus. SKI calculus is as strong as Turing machines and lambda calculus. (If you squint right, you can see the decision making bit. But it's a tight squint.) --- (from Wikipedia:) The evaluation operation is defined as follows: (x, y, and z represent expressions made from the functions S, K, and I, and set values): I returns its argument: Ix = x K, when applied to any argument x, yields a one-argument constant function Kx , which, when applied to any argument, returns x: Kxy = x S is a substitution operator. It takes three arguments and then returns the first argument applied to the third, which is then applied to the result of the second argument applied to the third. More clearly: Sxyz = xz(yz) --- See https://www.reddit.com/r/haskell/comments/ypcu7/hello_world_in_ski_combinator_calculus https://www.reddit.com/r/haskell/comments/ypcu7/hello_world_... for an example program in SKI.