[HN Gopher] McCarthy's Ambiguous Operator (2005)
       ___________________________________________________________________
        
       McCarthy's Ambiguous Operator (2005)
        
       Author : Tomte
       Score  : 13 points
       Date   : 2024-04-11 12:28 UTC (10 hours ago)
        
 (HTM) web link (www.randomhacks.net)
 (TXT) w3m dump (www.randomhacks.net)
        
       | dang wrote:
       | Related. Others?
       | 
       |  _McCarthy 's Ambiguous Operator_ -
       | https://news.ycombinator.com/item?id=32809727 - Sept 2022 (1
       | comment)
       | 
       |  _Show HN: Implementation of John McCarthy 's AMB operator in
       | Portable Common Lisp_ -
       | https://news.ycombinator.com/item?id=29912930 - Jan 2022 (2
       | comments)
       | 
       |  _McCarthy 's Ambiguous Operator (2005)_ -
       | https://news.ycombinator.com/item?id=19141197 - Feb 2019 (42
       | comments)
       | 
       |  _McCarthy 's amb operator in Python_ -
       | https://news.ycombinator.com/item?id=2941947 - Aug 2011 (2
       | comments)
        
       | nxobject wrote:
       | If you're interested, SICP also has a chapter on the amb operator
       | - although it has you construct your own evaluator. [1]
       | 
       | [1] https://sarabander.github.io/sicp/html/4_002e3.xhtml
        
       | sterlind wrote:
       | isn't this basic Prolog?
       | 
       | ?- member(X,[1,2,3]),member(Y,[4,5,6]),X*Y#=8.
        
         | dragonwriter wrote:
         | Yes, but:
         | 
         | FTFA: "Back in 1961, John McCarthy (the inventor of LISP)
         | described an interesting mathematical operator called amb."
         | 
         | Prolog: "First appeared 1972" [0]
         | 
         | [0] https://en.wikipedia.org/wiki/Prolog
        
         | throwanem wrote:
         | No. The example describes it in terms of satisfying a
         | predicate, but only by chance; this article actually
         | demonstrates continuations, a language feature more commonly
         | seen in Scheme and much more clearly described at
         | https://courses.cs.washington.edu/courses/cse341/04wi/lectur...
        
       | dragonwriter wrote:
       | Incidentally, the sample code, in modern Ruby will (at a minimum)
       | require:                 require "continuation"
       | 
       | at the top of the file, because callcc has been moved out of the
       | core language into stdlib quite a while ago (I think with Ruby
       | 1.9.)
        
       ___________________________________________________________________
       (page generated 2024-04-11 23:00 UTC)