[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)