Автор статті розмірковує над важливістю мов із розвиненими системами типів, навіть для програмістів, які не планують писати ними. На прикладі задачі з моделювання місячної бази він демонструє, як статична типізація забезпечує коректність коду ще на етапі компіляції. 53
Нещодавно Дмитро побачив на форумі DOU статтю Чому програмісти мають вивчити Haskell, навіть якщо нічого не будуть на ньому писати. Його увагу привернули коментарі, в яких йшлося, мовляв, такий підхід далекий від реального життя. Тож він написав власний матеріал, щоб відповісти на цю тезу. 164
Этот пост — первый из серии более-менее регулярных (я надеюсь) сообщений о интересных и полезных проектах и статьях, так или иначе имеющих отношение к функциональному программированию. Даже если вы никогда не слышали о Haskell, OCaml, Scala и других подобных языках, вам может интересно (и небесполезно) ознакомиться со ссылками, хотя бы для расширения кругозора. 3
Коментарі