• Destide@feddit.ukOP
      link
      fedilink
      English
      arrow-up
      3
      ·
      5 hours ago

      But how many burritos is that.

      Lets find out! Count = λB. (B (λx. (x + 1)) 0)

      3 its 3 burriotos you’re going to have to pop out and get 8 more for the other commenters

      • tetris11@lemmy.ml
        link
        fedilink
        arrow-up
        3
        ·
        edit-2
        5 hours ago
        Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
           = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
           = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
           = 😄(Y😄)
        
    • ☆ Yσɠƚԋσʂ ☆@lemmy.ml
      link
      fedilink
      arrow-up
      5
      arrow-down
      1
      ·
      1 day ago

      Having worked for nearly two decades in a functional language now, that’s precisely how I feel about the imperative style.

  • Kacarott@aussie.zone
    link
    fedilink
    arrow-up
    32
    ·
    1 day ago

    If you are bored of writing Brainfuck in your spare time, try Lambda Calculus instead as an exciting alternative!

  • HStone32@lemmy.world
    link
    fedilink
    arrow-up
    6
    arrow-down
    7
    ·
    23 hours ago

    It would be extremely annoying to be forced to write all my code functionally.

    But I find it even more annoying to be forced to write all my code object oriented. Looking at you, python and java.

    • TimeSquirrel@kbin.melroy.org
      link
      fedilink
      arrow-up
      5
      ·
      5 hours ago

      C++. Do whatever the hell you want, it doesn’t care. Mix paradigms all day long.

      People complain about its complexity and the fact that it has everything including the kitchen sink, but that is exactly why I love it. It gives you choice.

      • HStone32@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        4 hours ago

        Nah, coding is one of the few things I don’t find annoying, so long as the language or toolsets I’m using allow for freedom. What I find annoying is when some talking head says all code should be a certain way, and everybody believes them for some reason.