7 ms·
Cute name. I wonder to what extent the language has anything to do with Frege's work in logic. I mean Haskell's last name was Curry, and currying is a big deal
by bitdiddle 13y ago
Cute name. I wonder to what extent the language has anything to do with Frege's work in logic. I mean Haskell's last name was Curry, and currying is a big deal in FP. Thankfully that wasn't named after Moses Schoenfinkel.
- mixon 13y agoMaybe it is named after Élodie Frégé (see http://en.wikipedia.org/wiki/%C3%89lodie_Fr%C3%A9g%C3%A9 http://en.wikipedia.org/wiki/%C3%89lodie_Fr%C3%A9g%C3%A9)
- Xophmeister 13y agoThat said, I always felt that "Finkel" would be a cute name for an FP language, service or library... I call dibs!
- chops 13y agoWith its packaging system called Einhorn.
- JasonSage 13y agoIf that's the case, maybe you should name if after Raphael Finkel. [1] Disclaimer: I had the privilege of meeting Dr. Finkel here at university a few times before I stumbled across his name in Wikipedia and in the front of a book in the library. Totally not biased. [1] http://en.wikipedia.org/wiki/Raphael_Finkel http://en.wikipedia.org/wiki/Raphael_Finkel
- guerrilla 13y agoIt very likely does. Also note there's a deep connection between functional programming and logic. http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspond...
- oggy 13y agoActually, I've heard of German professors who used the word "Schoenfinkeln" instead of "currying". You sometimes get people who try to fight the English influence off at all costs ;)
- tel 13y agoIf you want that in Haskell, there's a package for it http://hackage.haskell.org/package/acme-schoenfinkel http://hackage.haskell.org/package/acme-schoenfinkel
- paf31 13y agoSchoenfinkel was my second choice for a name my compiler project. Not a fan, huh? :)
- chongli 13y agoHey, I'd love to use a language named Moses. You'd have all sorts of great puns and iconography available for library names.
- voxfrege 13y agoThis is easy, Frege is (to my knowledge) the first one who mentions "functions, that take other functions as arguments". In other words: higher order functions.
- nandemo 13y agoLet me introduce you to the legendary Tokyo Schönfinkel Appreciation Club: http://www.cynic.net/tsac.html http://www.cynic.net/tsac.html
- voxfrege 13y agoI hate to say it, but when Schönfinkel Curried, he in fact Freged, as even currying was anticipated by Frege. See here, for example: http://books.google.de/books?id=OeAPiy-6L74C&pg=PA134&lpg=PA134&dq=frege+sch%C3%B6nfinkel&source=bl&ots=RkD3ouu82c&sig=k_Yl9VXGfA5HXI2iZ-J1vbcXBVg&hl=de&sa=X&ei=Fwp9UtGHL-To4QS244CABg&ved=0CFsQ6AEwBQ#v=onepage&q=frege%20sch%C3%B6nfinkel&f=false http://books.google.de/books?id=OeAPiy-6L74C&pg=PA134&lpg=PA...