News for hackers. Stuff that matters.

A comment on How Programming Languages Got Their Names. Parent comment

Re:How Programming Languages Got Their Names by fhd2 on Thursday February 08, 2024 @05:15AM (#39300293)
And then there's F#, which _does_ play on musical notation. But I suppose F is also for "functional".
[ Parent | on HN ]
Re:How Programming Languages Got Their Names by zogrodea on Thursday February 08, 2024 @03:51PM (#39307522)
The F there is for System-F! According to Don Syme, although I don’t personally know what System-F is. https://www.theregister.com/2021/11/12/f_6_were_making_f/

Don Syme is a pretty cool guy from what I’ve seen online too. He enjoyed supporting and attending Migrateful (UK charity where refugees/asylum seekers teach cooking classes) which I’m appreciative of in particular.

[ Parent | on HN ]
Re:How Programming Languages Got Their Names by kevindamm on Thursday February 08, 2024 @06:30PM (#39309271)
System F is a polymorphic lambda calculus, it's more theoretical than practical (typing must be explicit or type inference may be impossible) but a restriction of its typing scheme is one you may have heard of, and the Hindley-Milner type inference algorithm works for it.

https://en.m.wikipedia.org/wiki/System_F

[ Parent | on HN ]