Hacker News Reader

Hacker News

Comment by m00s3 | Hacker News Reader

Full thread

m00s3

Possible conflict with the name: https://en.wikipedia.org/wiki/Joy_(programming_language)

View on HN

Very appropriate, since googles go did the exact same thing.

https://en.wikipedia.org/wiki/Go!_(programming_language)

Hmm, good catch. Let's see how it plays out :-)

Why not call it JoyGo or JoyJS or Go2js or something? No reason to cause name (and command line) confusion just because you like a name.

Joy is coming up on 15 years without a release, there should probably be a statute of limitations on this sort of thing.

I disagree. You'll end up with new languages using the names of older languages. Besides, software can at some point be done.

Software can also fade into irrelevance, which is what has happened to Joy.

Joy is a mathematical language similar to lambda calculus. It's getting old very slowly, slower that this compiler.

Yes, Joy is amazing. I have been working through the Advent of Code puzzles with it and the code keeps coming out error-free. It delivers on Backus' idea of algebra of programs (aka "Functional Programming") in a direct and entertaining way. It also seems amenable to efficient compilation.

I'm pretty sure Joy is a kind of "silver bullet" for programming, in the sense that, as "software is eating the world", Joy will eat software.

I have some Jupyter Notebooks here (also in HTML and md formats; md is good for looking at the 'books in situ on github): https://github.com/calroc/joypy/tree/master/docs

Alas, Manfred von Thun is no longer with us. Seems unlikely there will be another release.

Manfred taught me mathematical logic back in the mid 90s. It was only much later browsing functional programming topics that I discovered his language and that he had passed away.

RIP.

What was he like?

My mate has an awesome story about providing technical support to him on campus. I hope neither he nor the deceased mind me relating it.

"Hello. Tech support? This is Manfred von Thun. My computer is not working."

"OK, no problem, do you have a PC or a Mac?"

"Neither."

<Pause>

"Neither?"

"Yes. Neither."

"Ok, what do you have, then?"

"I have a terminal which connects to the mainframe."

<Pause>

"OK, I'll be right over."

Sure enough, he gets there and there's some godforsaken yellowing text-only terminal thing with a wire plugged into some weird port he'd never seen before, presumably wending its way into the bowels of the university to some long-lost, dusty piece of big iron from computing's distant past.

My mate was incredulous. "So what do you do with this, exactly?"

"I write papers, I write programs, I make web pages."

"Web pages!?"

"Yes, web pages. But I don't believe in graphics."

In spite of his protestations about GUIs, he was eventually given a brand spanking new eMac (this was around about the time he was creating Joy). Once he saw Terminal.app, he no longer seemed particularly concerned.

Every staff member had one of those. They opened new computer labs at La Trobe in about 1995 but before that it was VTxxx terminals accessing a mixture of VMS or *nix, I believe.

I remember using vi in typesetting a paper with LaTeX before print previewing a DVI on one of the PC or Mac machines.

Awesome, do you have any more info about them you'd be willing to share? By the time my mate was around they weren't common enough in the humanities dept for him to have ever seen one before Manfred's. He's likely at least as curious as I am!

I was at La Trobe 1992-6 and Manfred taught me in 95 or 96.

I remember a mixture of VMS, Ultrix and I think SunOS. A monochrome screen with curses to do your email, browse gopher and text-only web, compile and run programs (in Manfred's case) and log in from any terminal on campus. There were a couple of monochrome Xterms in the computer centre. But desktop computers had obviously taken over by your friend's era.

He was a European gentleman in a remote land with a quirky sense of humour and generous spirit; not your typical stuffy academic in tweed. :) And he had an awesome beard, long before hipsters made them fashionable!

The tribute pages below provide more insights from others.

I was studying in the mathematics department at the time, which was on the other side of the campus from the philosophy department. But there was considerable overlap between pure maths and formal logic. Godel's incompleteness theorem was one of the topics we proved and provided a good theoretical foundation for higher order logic.

http://hosted.verticalresponse.com/291390/14a69b5ba4/test/te... https://respectance.com/tribute/manfred-von-thun/

Thank you both so much! I really appreciate your taking the time to share.

Guaranteed unique project name generator: `uuidgen`

I came here to say the same thing in re: the name conflict with Joy PL. I'm currently working on a Joy interpreter. I'm just getting it ready to post to PyPI (it's implemented in Python.)

It's pretty obscure, but I have high hopes for the language. It has some amazing qualities.

Awesome!

I thought about it a little more and I don't think there should be an issue. This project is a compiler, not a language – Go is the language. It's analogous to Javascript and Babel.

Weird, I thought I deleted that comment.

Yeah, I don't actually think it will be a problem in practice. (And anyway I refer to my interpreter as "Joypy".)

It was sort of a knee-jerk reaction to seeing the name.

BTW, awesome idea and project! I hope it gets traction (at least until WASM "hits", eh?)

Reply on news.ycombinator.com