home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 262,883 of 262,912   
   Mild Shock to All   
   =?UTF-8?Q?ANN:_CulotteTalk=e2=84=a2_=e2=   
   13 Feb 26 14:56:34   
   
   From: janburse@fastmail.fm   
      
   CulotteTalk™ — the only logic language with   
   thermal semantics:   
      
   - Declarative warmth.   
   - Constraint-based layering.   
   - Guaranteed non-freezing fixpoint iteration.   
   - Tail-call insulation.   
      
   Winter mode enabled by default:   
      
   :- ensure(never_cold).   
   :- layer(wool, >= 2).   
   :- windproof(X) :- coat(X), lined(X).   
      
   Whats the secret souce and how got batteries included?   
   When you call a method:   
      
   ?- obj::slide.   
      
   The runtime evaluates:   
      
   - Current altitude (static type)   
   - Snow conditions (runtime type)   
   - Skill level (constraints)   
   - Available lifts (method resolution order)   
      
   Then picks the fastest downhill path.   
   That’s polymorphism as gravity-assisted optimization.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca