[HN Gopher] Alligator Eggs and Lambda Calculus (2007)
       ___________________________________________________________________
        
       Alligator Eggs and Lambda Calculus (2007)
        
       Author : veqq
       Score  : 24 points
       Date   : 2025-01-18 01:29 UTC (2 days ago)
        
 (HTM) web link (worrydream.com)
 (TXT) w3m dump (worrydream.com)
        
       | Jtsummers wrote:
       | Some past discussions. I thought it had been discussed more but
       | maybe it turned up in other discussions rather than as a
       | submission of its own.
       | 
       | https://news.ycombinator.com/item?id=8906167 - Jan 18, 2015 (24
       | comments)
       | 
       | https://news.ycombinator.com/item?id=4586692 - Sept 28, 2012 (24
       | comments)
       | 
       | https://news.ycombinator.com/item?id=600736 - May 9, 2009 (9
       | comments)
        
       | bitwize wrote:
       | I always thought this was up there with "monads are like
       | burritos" in terms of how it makes things more complicated
       | instead of simplifying them. Maybe that's just my old ass, and
       | kids would appreciate it more. When I was a kid one of my
       | teachers referred to the > and < symbols as "alligator mouths"
       | and said "Just remember the alligator mouth eats the bigger
       | number." Helped me keep those symbols straight for years.
        
         | gs17 wrote:
         | Yeah, I "get" it, but I can only think that as a kid I would
         | have been too upset about all the senseless alligator deaths to
         | internalize the patterns. I guess if they're not old enough to
         | know algebra, (lx.x ly.y)(lz.z) might be more scary than a
         | reptilian predator.
        
         | laszlokorte wrote:
         | Thats exactly how my teacher in second grade when I was 8 years
         | old (in Germany) taught us about greater than ans less than.
        
       ___________________________________________________________________
       (page generated 2025-01-20 23:02 UTC)