What I learned at the Emerging Languages Camp • Hacker News Board

Re: What I learned at the Emerging Languages Camp

#11

Post by munificent » Sat, Jul 24, 2010, 7:59 AM UTC

stephenjudkins wrote: post #2

The author also presented on his own language, Finch ( http://bitbucket.org/munificent/finch ). It was a great presentation, and the language implementation is incredibly easy to read and understand. I don't see using Finch for any real projects (like many of the languages presented) but it was inspiring to see so many people presenting well-crafted labors of love. For someone interested in programming language desig…

> the language implementation is incredibly easy to read and understand.

Thanks! After wading through an SML compiler whose author apparently thought single-letter variables and no documentation was perfectly fine in a language that doesn't even have fucking type annotations, I figured the least I could do to advance the state of the art was make the code legible.

Re: What I learned at the Emerging Languages Camp

#12

Post by munificent » Sat, Jul 24, 2010, 8:01 AM UTC

arohner wrote: post #3

Good article, but I have to nitpick here: Any well-versed programming language person can tell you about both recursive-descent parsers and generated parsers. They’ll also tell that generated parsers are the “right” way to do that. Most of the time that advice will save you from wasted effort, but sometimes I think it keeps people from going down paths that may actually be fruitful. Sometimes the thing that everyone…

This is from hazy memory, but I stated that because I think GCC, Clang, MS's C# compiler, and javac all use hand-rolled parsers.

Re: What I learned at the Emerging Languages Camp

#13

Post by jasonwatkinspdx » Sat, Jul 24, 2010, 8:46 AM UTC

arohner wrote: post #3

Good article, but I have to nitpick here: Any well-versed programming language person can tell you about both recursive-descent parsers and generated parsers. They’ll also tell that generated parsers are the “right” way to do that. Most of the time that advice will save you from wasted effort, but sometimes I think it keeps people from going down paths that may actually be fruitful. Sometimes the thing that everyone…

False dilemma as there are parsing frameworks that use top down grammars (namely PEGs and their derivatives).

Grammars written in these languages very closely resemble the structure of hand written recursive descent parsers, unlike generative grammars, but also are amenable to automatic generation of efficient parsers (namely packrat parsers, but in practice even just one or two entries of memorization at each production is performant).

MRI's parser is a disaster. It makes sense given the context of when it was written, but the language would be free of some syntactic warts if they'd moved to something with more lookahead some time ago. The opaqueness of the parser grammar is repeatedly mentioned as a limit on useful contribution to the language.

Re: What I learned at the Emerging Languages Camp

#14

Post by jasonwatkinspdx » Sat, Jul 24, 2010, 8:52 AM UTC

scott_s wrote: post #4

Glad I read this, because I learned about Frink: http://futureboy.homeip.net/frinkdocs/ and the FAQ: http://futureboy.homeip.net/frinkdocs/faq.html This guy knows units of measurement.

His presentation was a pleasure to watch. I'd seen the pitch for frink in a video some time ago, but he's a charismatic speaker that keeps your attention even if you're roughly familiar with the material.

During the QA portion someone gave him a "gotcha" question only to have the tables turned when it was made clear the speaker new _far_ _far_ more about standards and units of measurement than anyone in that room, city and possibly state.

Re: What I learned at the Emerging Languages Camp

#15

Post by jasonwatkinspdx » Sat, Jul 24, 2010, 8:54 AM UTC

isnoteasy wrote: post #5

I would prefer a conference about emerging features in languages, since many languages only differs in superficial aspects. Is better to located what new features are needed.

I'd estimate that only half of the languages presented were of the sort that differ only in minor aspects. Several of the languages presented were _far_ outside the mainstream, particularly the two visual languages which were surprisingly practical.

On the whole I'd say factor was likely the most unconventional language besides those mentioned above. The breadth of libraries they have built while being so iconoclast is impressive.

Re: What I learned at the Emerging Languages Camp

#16

Post by monkey » Sun, Jul 25, 2010, 7:26 AM UTC

stephenjudkins wrote: post #2

The author also presented on his own language, Finch ( http://bitbucket.org/munificent/finch ). It was a great presentation, and the language implementation is incredibly easy to read and understand. I don't see using Finch for any real projects (like many of the languages presented) but it was inspiring to see so many people presenting well-crafted labors of love. For someone interested in programming language desig…

The author's talk on Finch was indeed awesome. He was very funny and modest and self-deprecating, but it was obvious to everyone that he was really smart. And his talk had some of the most quotable bits in the whole conference.

"I'm writing a recursive descent parser by hand because I keep it real." LOL

His listings of the things his language couldn't do were hilarious too.

In response to a question from the audience, he discussed how he designed a programming language for the first time, which was really edifying and an interesting discussion of the mental journey. His answer was really good and I can't do it justice, but it talked about how he solved the problems by working in little stages. He knew that he could break up a text file into tokens, and that's how he built a lexer. Next, he realized that a parser was a lot like a lexer, and recognized groups of tokens, so he could build a parser. So he then had a tree, and he found that he could walk that tree. As he walked the tree, he realized he could emit bytecode. It was a really good description, and better than any single lecture in an entire semester of my college Compiler Construction class.

The fact that the author didn't even know he was going to be able to speak until the day of the presentation, and came up with a very polished and professional and engaging presentation says volumes about his ability. I think everyone really enjoyed his talk, and it really had a sense of joy and fun and discovery about it. And it was funny as hell. There is no doubt that we'll be seeing much more from him.