Studiuję Haskell w celu zrozumienia programowania funkcjonalnego, oczekując, że zastosuję wgląd w innych językach (głównie Groovy, Python, JavaScript).
Wybrałem Haskell, ponieważ miałem wrażenie, że jest on bardzo czysto funkcjonalny i nie pozwala na poleganie na stanie.
Nie zdecydowałem się uczyć Haskell, ponieważ byłem zainteresowany nawigacją po wyjątkowo sztywnym systemie typów.
Moje pytanie brzmi: czy system silnego typu jest koniecznym produktem ubocznym niezwykle czystego języka funkcjonalnego, czy jest to wybór niezwiązany z projektem szczególnie dla Haskell?