By: Vijay Ganesh
Dear Professor Harper, I recently stumbled upon your blog. I read many of the articles there, and was particularly impressed by the “Holy Trinity” article. It is beautifully crafted, as if a word-smith...
View ArticleBy: existentialtype in russian | 4kcheshire
[…] https://existentialtype.wordpress.com/about/ О блоге Меня зовут Роберт Харпер, я один из профессоров факультета компьютерных наук университета Карнеги-Меллона. Я работаю на этом факультете с 1988...
View ArticleBy: Robert Harper
In reply to existentialtype in russian | 4kcheshire. I’ve taken the risk of approving a comment that I blatantly cannot understand, since I don’t read a word of Russian. Let’s hope it’s appropriate! If...
View ArticleBy: David P. Sicilia
Hello, Although ML is your FP language of choice (at least for teaching, from what I’ve gathered), I am hoping that you will write an article about the disadvantages of ML compared to other prominent...
View ArticleBy: Robert Harper
In reply to David P. Sicilia. That’s a great suggestion! I think I’ll do it, as soon as I get the chance. LikeLike
View ArticleBy: Aaron West
In reply to Derek Wyss. Haskell is sometimes considered to be part of the ML family. Once a student has learned pure FP in any language, they can apply it in other languages. I might be tempted to...
View ArticleBy: borgauf
I just dropped a MOOC course based on SML. I liked SML, but outside of the course materials, I found references and tutorials pretty thin, and often enough confusing for their divergent styles. For...
View ArticleBy: Robert Harper
In reply to borgauf. See sml-family.org for a constructive proof of non-abandonment of SML. LikeLiked by 1 person
View ArticleBy: Marijan Holjevac
hi, thx a lot for the blog mr. harper. i’m confused however. — your reasoning seems crystal clear to me, as far as i can judge from my few ‘observations’ as an amateur. like e.g. why haskell cannot...
View Article
