The Ur Programming Language Family

Re:The Ur Programming Language Family by kragen on Friday September 04, 2015 @09:16AM (#10170167)

Just to disclaim, Ur-Scheme, which I wrote in February 2008, is not related to Ur or Ur/Web, which are from later that year. Ur is far more interesting than Ur-Scheme, and Adam Chlipala is a programming demigod.

[ Parent | on HN ]

Re:The Ur Programming Language Family by Dylan16807 on Friday September 04, 2015 @03:13PM (#10172286)

So there's at least three unrelated functional languages whose names start with Ur?

(being slightly loose with definitions)

[ Parent | on HN ]

Re:The Ur Programming Language Family by yarvin9 on Friday September 04, 2015 @04:10PM (#10172634)

Also not related: Urbit.

"Ur-" is the Germanic prefix for "original or primitive," which obviously appeals to functional programmers. And of course, Abraham was originally from there:

https://en.wiktionary.org/wiki/ur- https://en.wikipedia.org/wiki/Ur

[ Parent | on HN ]

Re:The Ur Programming Language Family by kragen on Friday September 04, 2015 @07:22PM (#10173271)

Curtis, have you been banned from Hacker News 8 times? While I find your politics odious, I would find that kind of mistreatment of you odious as well. (I don't remember if we met, though we overlapped at Spiral Muse.)

[ Parent | on HN ]

Re:The Ur Programming Language Family by Dylan16807 on Friday September 04, 2015 @04:19PM (#10172672)

Urbit is the third one I meant.

[ Parent | on HN ]