<hyoga>
I watched a video on Y-combinator before I went to bed last night, but of course I didn't understand it at the time. So when I woke up this morning I took up a piece of paper and worked it out.
<hyoga>
(It's incredible how Haskell came up with this) Anyway, my question is... are Y-combinators still used in practice today, since most programming languages today have native support for recursion?
<bremner>
hyoga: I would say not
danse-nr3 has joined #racket
<hyoga>
thank you bremner.
danse-nr3 has quit [Ping timeout: 248 seconds]
<bremner>
in principle I could imagine using it as part of some bootstrapping effort, but the direct support of recursion is usually not that hard to implement directly (easier than using y-combinator, in my experience)
lucasta has joined #racket
danse-nr3 has joined #racket
danse-nr3 has quit [Ping timeout: 244 seconds]
<Putonlalla>
Well-founded fixed point combinators appear in proof assistants and in advanced type-level programming, but I haven't seen them much elsewhere.
<hyoga>
Putonlalla: a gentleman in #haskell mentioned that it's used in Nix quite a bit; but these aforementioned areas (type-level programming and proof assistants) are beyond me.
* bremner
was surprised a bit the other languages didn't mention any other lisps
<bremner>
or I misremember, always a possibility
<spdegabrielle>
bremner: I though I left an ‘other: specify’ option
<spdegabrielle>
It probably goes without saying that I’m not a professional survey creator
<spdegabrielle>
Any mistakes on my own
<bremner>
spdegabrielle: right, there was indeed "other"
macabro has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)]
<spdegabrielle>
I can’t remember but I reduced the list from last Tim
<spdegabrielle>
Time and forced myself to stick to most popular from stack overflow
<spdegabrielle>
And I’m honestly not sure if I should put ‘Common Lisp’ or sbcl/ abcl/clisp ; scheme or chicken/guile/chez/gambit/gerbil etc
dans34472 has joined #racket
danse-nr3 has quit [Ping timeout: 252 seconds]
dans34472 has quit [Quit: good evening]
Tuplanolla has joined #racket
<bremner>
right, makes sense. It's just I would expect a certain correlation between people who use racket and people who use other lisps.
<bremner>
I might be overgeneralizing from my own case though.
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #racket
m1dnight has quit [Ping timeout: 252 seconds]
<spdegabrielle>
There absolutely is. lots of schemers, and not insignificant numbers of clojurist, cl’ers and elispers. Don’t know any hylangers, LFE’ers the Lua one though. I’m hoping people will indicate if they use another lisp.
<spdegabrielle>
There absolutely is. lots of schemers, and not insignificant numbers of clojurist, cl’ers and elispers.
<bremner>
fennel ;) (the lua one)
<spdegabrielle>
Fennel! Yes. I keep forgetting.
<spdegabrielle>
There are _so many lisps_ 🤯
<bremner>
ack
<bremner>
heck, there are _so many schemes_
<spdegabrielle>
I can’t keep track.
<spdegabrielle>
I genuinely believe scheme is the most popular language ever, if you could count the number of implementations.
<spdegabrielle>
I mean scheme broadest sense expression based, lisp-1, parenthetical syntax