s-ol’s avatars-ol’s Twitter Archive—№ 1,592

  1. …in reply to @lasngngna
    @lasngngna lambda calculus is a very simple programming language with just two things you can do, you can create a string-replace-function: (λx.abdxefg) -> a function that, when called with SOMETHING, returns abdxefg with 'x' replaced by SOMETHING
    1. …in reply to @S0lll0s
      @lasngngna and the other thing is calling such functions, which looks like (M N) where M is a function as mentioned and N is the SOMETHING
      1. …in reply to @S0lll0s
        @lasngngna ...and from this somehow you can build interesting stuff, but that's where I lose the thread as well :D