[HN Gopher] Parametric Programming - an equational approach to O...
       ___________________________________________________________________
        
       Parametric Programming - an equational approach to OO and beyond
        
       Author : herodotus
       Score  : 23 points
       Date   : 2021-08-05 20:48 UTC (2 hours ago)
        
 (HTM) web link (billwadge.wordpress.com)
 (TXT) w3m dump (billwadge.wordpress.com)
        
       | magicalhippo wrote:
       | I'm being dense. Isn't this just anonymous functions with some
       | syntax sugar? What am I missing?
        
         | bade wrote:
         | It's equivalent to very elaborate function calls with named and
         | optional arguments and output parameters. The declaration s
         | would be nightmarish Syntax is important
        
           | coldtea wrote:
           | Yeah, the same way Dropbox is just a rediscovery of "an FTP
           | account, mounted locally with curlftpfs, and then using SVN
           | or CVS on the mounted filesystem", which obviously is also
           | more flexible and fundamental than a single-purpose SaaS
           | service...
        
         | WkndTriathlete wrote:
         | You're not missing anything. The author is rediscovering first-
         | class functions, applicatives, functors, and monads the long
         | way around.
        
       ___________________________________________________________________
       (page generated 2021-08-05 23:00 UTC)