Tim Chevalier wrote:

On 7/10/07, Andrew Coppin wrote:

...

On the one hand, it feels exciting to be around a programming language where there are deep theoretical discoveries and new design territories to be explored. (Compared to Haskell, the whole C / C++ / Java / JavaScript / Delphi / VisualBasic / Perl / Python thing seems so boring.)

On the other hand... WHAT THE HECK DOES ALL THAT TEXT *MEAN*?! >_<

If you're interested in a concept, why not read about it (it's easy to find a quick definition for most terms on Google, and more details in research papers), then ask *specific* questions on the list? Posting to the list about how you don't understand something, without any suggestion as to how anyone else could help, doesn't accomplish a lot.

I wasn't being entirely serious. ;-) We've got a whole other thread going about trying to understand the difference between existential and universal quantification. Suffice it to say I'm still confused. I guess this is going to be one of those concepts I'll just never understand.