I guess I'll share some things that I've come across in my own searching. This has to do with functional programming in general, not just Haskell. There are PLT Scheme (now Racket) people all over the US. All of the Universities listed in the PLT Publications section have at least one person who is very into functional programming. http://racket-lang.org/learning.html Look out for the Graduate Study page, Zhi-Qiang Lei, it is intended to be funny. But there are links at the bottom to the home pages of various faculty at universities who are involved with Racket/PLT Scheme. http://racket-lang.org/common-plt-app.html Someone also just sent me this link: http://www.schemers.com/schools.html Another way that I've attempted to search is by looking at where past functional programming conferences have been held in the US. There is often a faculty member interested in FP at a host university. Also it is easy to see lists of presenters and where they are from. It is often hard to tell whether someone is interested in FP based on their blurbs on CS faculty web pages. The Wikipedia page on the International Conference on Functional Programming lists the names of various other FP conferences so it is a good place to start. http://en.wikipedia.org/wiki/International_Conference_on_Functional_Programm... Someone also just reminded me of this: http://www.haskell.org/haskellwiki/Education But it isn't very useful because it is so out of date. Carnegie Mellon seems to be one of the US universities that are most aggressively including FP in their instruction: http://existentialtype.wordpress.com/2011/03/15/teaching-fp-to-freshmen/ Then of course, I've used normal Google search techniques. On 10/28/2011 10:00 AM, Zhi-Qiang Lei wrote:
Thank you all. It's much helpful.
On Oct 28, 2011, at 6:11 PM, Rustom Mody wrote:
On Fri, Oct 28, 2011 at 11:15 AM, Noah Diewald <noah@diewald.me <mailto:noah@diewald.me>> wrote:
On 10/27/2011 09:31 PM, Rustom Mody wrote: > On Fri, Oct 28, 2011 at 1:19 AM, Noah Diewald <noah@diewald.me <mailto:noah@diewald.me> > <mailto:noah@diewald.me <mailto:noah@diewald.me>>> wrote: > > It would be nice to know of a school somewhere in the US or Canada where > CS courses aren't taught mostly in Java. Is there such a place? > > I would love to find a school with strengths in FP and linguistics. > > > It seems you want to search for an intersection of linguistics + FP. > There is nltk http://www.nltk.org/. Its in python -- hopefully better > than java though not haskell.
Thanks. I appreciate the help. I was aware of nltk. I know about GF, too. I guess functional programming is the important bit for me.
About 20 years ago the FP scene was roughly: typed FPLs in Europe (ML, Miranda etc) and scheme in the US. If I remember right MIT, Yale, Indiana and Rice were all strong scheme departments. And of course there would be more second tier univs following-the-leader. The scene today seems to have changed -- MIT is into java http://www.cs101.org/. Stanford has switched to javascript: http://developers.slashdot.org/story/11/07/11/183246/stanford-cs101-adopts-j... !!
My general suggestion is to generalize from haskell to the paradigm: so ML, F#, scheme, python are in different respects better approximations to haskell than java
It bothers me that all schools seem to be Java schools in the US but I guess I do actually want something more specific than anything but Java. Java is just the bad guy since it seems to be the only option so often. I kind of regret going on about it so much in my last email. It is better to focus on the positives.
I like linguistics and I like functional programming. Something like this is right up my alley:
Computational Semantics with Functional Programming by Jan van Eijck and Christina Unger. http://homepages.cwi.nl/~jve/cs/ <http://homepages.cwi.nl/%7Ejve/cs/>
I really like the idea of eventually being able to model natural language grammars using Haskell but for theoretical and descriptive work not just to process it. I hear that there are HPSG researchers in the US using systems written in Lisp, which sounds cool but is pretty rare and hard to find. I guess my dream school would have a good theoretical linguistics department and a good CS department with a big functional programming focus. I still need to learn a lot about CS, not just particular techniques that relate to language. Where I am applying now has a great linguistics department and a great CS department but I know that the courses I take in CS will be Java courses. It isn't really what I want but I've accepted that I'll just have to learn what I can on my own, which isn't so bad but having teachers and fellow students with similar interests around would be a lot nicer.
And, I thank you for your help but I really am mostly curious about US universities with lots of FP goodies more than any particular software. My question is the same as the person who started this thread's. Where do you go in the US if you love functional programming and particularly Haskell? I would love some advice about universities. Google really doesn't know everything.
_______________________________________________ Beginners mailing list Beginners@haskell.org <mailto:Beginners@haskell.org> http://www.haskell.org/mailman/listinfo/beginners
_______________________________________________ Beginners mailing list Beginners@haskell.org <mailto:Beginners@haskell.org> http://www.haskell.org/mailman/listinfo/beginners
Best regards, Zhi-Qiang Lei zhiqiang.lei@gmail.com <mailto:zhiqiang.lei@gmail.com>
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners