Combinators

(tinyapl.rubenverg.com)

24 points | by tosh 2 hours ago

3 comments

  • ux266478 5 minutes ago
    A bit of an aside: I wonder how much Array-oriented languages like APL and J would benefit from being implemented on top of an interaction net machine?
  • siruwastaken 1 hour ago
    Could somebody provide a bit of context on what exactly this is? It seems interesting, but I have no idea what I am looking at.
    • leethomp 36 minutes ago
      Many primitives in array languages match the behaviour of certain combinators in combinatory logic. The page shows (left to right) the symbol for a certain combinator, its effective operation in APL syntax where x and y are left and right arguments (APL operators are either infix or single-parameter prefix) and F and G are similarly left and right function arguments, the 'bird' is a sort of colloquial name for a particular combinator, 'TinyAPL' is the operator that matches the combinator in the author's APL implementation, and the diagram is a way of explaining how the combinator works visually

      BQN, another array language has a page of documentation describing the same concept for their language with a bit more explanation for the combinator newcomer: https://mlochbaum.github.io/BQN/tutorial/combinator.html

  • hrmtst93837 48 minutes ago
    The y-combinator is widely regarded as the best combinator :)