combinatory-logic
Expressing Y in term of SKI-Combinators in JavaScript
I was fiddling with combinators in JavaScript and was being proud of (hopefully) getting S to work when I stumbled upon Wikipedia saying: "The Y combinator can be expressed in the SKI-calculus as[详细]
2023-04-04 01:54 分类:问答Type inference for a scala combinator calculus data model
I\'m trying out a very light-weight encoding of combinator calculus in scala. Initially, I\'m simply implementing the S and K combinators, application and constant values. Later I hope to lift scala f[详细]
2023-02-01 17:33 分类:问答Apache: Redirect blog.foobar.com to www.foobar.com
I have a site at blog.foobar.com that I have closed down, and I want any page requested there to be forwarded to www.foobar.com[详细]
2022-12-25 09:16 分类:问答