Search results

Page title matches

• Type SK
  My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement
  10 KB (1,653 words) - 00:25, 12 July 2021

Page text matches

• Type SK
  My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement
  10 KB (1,653 words) - 00:25, 12 July 2021
• Generalised algebraic datatype
  ...you how this could be useful, we will implement an evaluator for the typed SK calculus. Note that the K combinator is operationally similar to Since the types of the so-called object language, being the typed SK calculus, are mimicked by the type system in our meta language, being Haske
  8 KB (1,374 words) - 14:33, 15 December 2022
• Performance/GHC
  (a4 + 1 / (k3 * sk * sk)) where sk = sin k
  25 KB (3,873 words) - 11:08, 6 March 2023
• Type arithmetic
  It's possible to embed the Turing-complete [[Type_SK|SK combinator calculus]] at the type level.
  8 KB (1,365 words) - 19:23, 15 August 2019