Is Haskell's type system an obstacle to understanding functional programming?

Posted by Eric Wilson on Programmers See other posts from Programmers or by Eric Wilson
Published on 2010-12-22T03:24:57Z Indexed on 2011/11/15 2:10 UTC
Read the original article Hit count: 315

Filed under:

learning

|

functional-programming

|

type-system

|

haskell

I'm studying Haskell for the purpose of understanding functional programming, with the expectation that I'll apply the insight that I gain in other languages (Groovy, Python, JavaScript mainly.)

I choose Haskell because I had the impression that it is very purely functional, and wouldn't allow for any reliance on state.

I did not choose to learn Haskell because I was interested in navigating an extremely rigid type system.

My question is this: Is a strong type system a necessary by-product of an extremely pure functional language, or is this an unrelated design choice particular to Haskell?

If it is the latter, I'm curious what would be the most purely functional language that is dynamically typed.

I'm not particularly opposed to strong typing, it has its place, but I'm having a hard time seeing how it benefits me in this educational endeavor.

© Programmers or respective owner

Related posts about learning

Machine learning challenge: diagnosing program in java/groovy (datamining, machine learning)

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi All! I'm planning to develop program in Java which will provide diagnosis. The data set is divided into two parts one for training and the other for testing. My program should learn to classify from the training data (BTW which contain answer for 30 questions each in new column, each record in… >>> More
what's a good language for learning machine learning?

as seen on Stack Overflow - Search for 'Stack Overflow'
I've been thrust into a situation where I need to know something about Machine Learning. Is there a language or perhaps a reasonable tutorial that breaks this subject matter in gently? I'm not a math guy, so it's got to start from a pretty basic level. >>> More
Learning WPF and MVVM - best approach for learning from scratch

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello, I've got about three years c# experience. I'd like to learn some WPF and the MVVM pattern. There are a lot of links to articles on this site but I'm getting a little overwhelmed. Would a sensible approach for a begginer to be forget mvvm for a while and just quickly learn a bit a of WPF, then… >>> More
What are the advantages of Ceylon over Java?

as seen on Programmers - Search for 'Programmers'
Looking for the recent and powerful upcoming programming languages over net, I came across Ceylon. I dropped in at ceylon-lang.org and it says: Ceylon is deeply influenced by Java. You see, we're fans of Java, but we know its limitations inside out. Ceylon keeps the best bits of Java but improves… >>> More
understanding evaluation function

as seen on Programmers - Search for 'Programmers'
I am developing a chess program. And have made use of an alpha beta algorithm and a static evaluation function. I have successfully implemented both but I want to improve the evaluation function by automatically tuning the weights assigned to its features. At this point am totally confused about the… >>> More

Related posts about functional-programming

Introducing functional programming constructs in non-functional programming languages

as seen on Programmers - Search for 'Programmers'
This question has been going through my mind quite a lot lately and since I haven't found a convincing answer to it I would like to know if other users of this site have thought about it as well. In the recent years, even though OOP is still the most popular programming paradigm, functional programming… >>> More
Functional programming constructs in non-functional programming languages

as seen on Programmers - Search for 'Programmers'
This question has been going through my mind quite a lot lately and since I haven't found a convincing answer to it I would like to know if other users of this site have thought about it as well. In the recent years, even though OOP is still the most popular programming paradigm, functional programming… >>> More
Does functional programming mandate new naming conventions?

as seen on Stack Overflow - Search for 'Stack Overflow'
I recently started studying functional programming using Haskell and came upon this article on the official Haskell wiki: How to read Haskell. The article claims that short variable names such as x, xs, and f are fitting for Haskell code, because of conciseness and abstraction. In essence, it claims… >>> More
pitfalls/disadvantages of functional programming

as seen on Stack Overflow - Search for 'Stack Overflow'
When would you NOT want to use functional programming? What is it not so good at? I am more looking for disadvantages of the paradigm as a whole, not things like "not widely used", or "no good debugger available". Those answers may be correct as of now, but they deal with FP being a new concept (an… >>> More
Should functional programming be taught before imperative programming?

as seen on Stack Overflow - Search for 'Stack Overflow'
It seems to me that functional programming is a great thing. It eliminates state and makes it much easier to automatically make code run in parallel. Many programmers who were first taught imperative programming styles find it very difficult to learn functional programming, because it is so different… >>> More