Search results

Create the page "Sk" on this wiki! See also the search results found.

• Performance/GHC
  (a4 + 1 / (k3 * sk * sk)) where sk = sin k
  25 KB (3,868 words) - 19:39, 3 February 2021
• 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
• 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,381 words) - 05:18, 10 December 2020