Які переваги використання LISP та Haskell? Чи зроблять мене кращим програмістом? [зачинено]

Я знаю, що Lisp та Haskell - це логіка і функціональна мова програмування відповідно, але що це означає? Чим вони відрізняються від інших мов? Я чув, що вивчення цих питань зробить вас кращим програмістом та покращить вашу логіку. Це правда, і якщо я перейду вивчити Лісп або Хаскелл на компетентний рівень, покращиться моє програмування і чи я краще буду вирішувати будь-яку проблему будь-якою мовою? Мені просто хотілося дізнатися, чи варто їм докладати зусиль для навчання. Чи корисні ці мови в таких сферах, як графічний інтерфейс та графіка, чи вони просто корисні для консольних додатків?

Це дуже схоже на те, що вивчення математики покращить ваші аналітичні навички, а вивчення латинської / класичної літератури поліпшить ваші навички письма.

Люди, які розробили ці мови, дуже задумалися над тим, що означає написання програми. І ці мови є результатами цих досліджень.

Однак, вивчення Java також зробить вас кращим програмістом. І навчання С. Справжню користь отримує вивчення мов з різною філософією. Тоді ви можете мати власну думку про те, як повинна бути написана програма.

Редагувати

Я усвідомлюю, що ця відповідь не настільки корисна для людей, які ще не вивчили haskell та / або lisp. Ось кілька прикладів для подальшого пояснення того, що я маю на увазі

LISP

Лісп вважає, що синтаксис повинен бути мінімальним, і що все повинно бути або списком, або примітивним (Лісп розшифровується як Обробка списку). Навіть програми - це в основному список, що містить інші списки та символи. Lisp дозволяє вам маніпулювати програмами як списком та генерувати нові програми на ходу. Звідси і весь code is data and data is codeдевіз.

Прямим наслідком є ​​те, що мови Lisp дозволяють визначати будь-який інтерфейс, який ви хочете. Приємним прикладом є композиторство, яке є кложурською веб-рамкою. Ось як виглядає функція маршрутизації

(defroutes app-routes
  (GET "/" [] view/page)
  (GET "/api" [] (wrap-aleph-handler api/socket-handler))
  (route/resources "/static")
  (route/not-found "page not found"))

Ще одним приємним прикладом є рамка для шаблону ікони:

(html [:ul
  (for [x (range 1 4)]
    [:li x])])

Як бачите, результат такий же короткий, як у DSL, як вуса, але дозволяє використовувати мовні функції, такі як (for [x (range 1 4)] block). Ще приємніше, у вас є всі інструменти для абстрактності та структури вашого коду.

В інших мовах синтаксис складніший. Не можна читати програму Java як купу списків. Але використовуючи Lisp, ви отримуєте краще уявлення про те, як повинен виглядати ідеальний інтерфейс, і що у вашому коді можна абстрагувати як дані. Це також допомагає вам бачити свою улюблену мову як велику структуру даних та краще розуміти її семантику.

Хаскелл

Хаскелл вірить у сильну статичну типізацію та чистоту. Чисті функції схожі на математичні функції: вони визначаються на множині значень і відображають їх на іншому наборі. Функції не мають побічних ефектів, і значення незмінні. Чистота цікава тим, що це не те, що може мати багатомовна парадигма. Мова чиста чи ні.

Одним із наслідків є те, що ви не можете виконувати IO дії, коли захочете (haskellers вважає, що це добре). Дії IO визначаються як транзакції, які самі по собі є чистою цінністю. mainВартість програми Haskell є операцією введення - виведення виконується при запуску програми.

Ви повинні чітко мати справу з потоком даних у вашій програмі. Ви не можете зробити двокомпонентну комунікацію, записуючи та читаючи речі в глобальній змінній. Ви повинні будувати та передавати значення.

Ще одна особливість, яку згадував Джиммі Хоффа, - система багатого типу. Хоча в інших мовах є статичне введення тексту, у haskell ви можете мати такі речі, як:

length :: [a] -> Int (функція зі списку символів до int)

map :: (a -> b) -> [a] -> [b](функція, яка приймає a to bперетворення та список a, повертає список b)

Приємно те, що мені не потрібно пояснювати, що ці функції насправді виконують: ти вже розумієш їх поведінку. Більше того, функції з цими підписами насправді не можуть нічого, окрім того, обчислити довжину списку та відобразити трансформацію списку.

В інших набраних мовах ієрархії класів у поєднанні з незмінністю роблять боротьбу з цими типами кошмаром. Ви повинні розуміти такі речі, як коваріантність та протиріччя, які неможливо отримати прямо з мовної точки зору (тобто прості, потужні та безпечні).

Або ви берете безпечний шлях (наприклад, scala) і закінчуєте дійсно складною мовою, або ви берете простий шлях і отримуєте щось, що є обмеженим (дженерики google go обмежені списком і картами) або небезпечним (джинсові дженерики, які завжди є коваріант).

Використовуючи haskell, ви в основному дізнаєтесь про переваги чистоти та про те, як писати чистий код.

tl; dr Навчання нових речей може зробити вас лише кращим програмістом, але бути кращим програмістом - це не про мови, на яких можна писати код.

Які переваги використання LISP та Haskell?

LISP:

1. Гомоїконічний код. Це дозволяє структурувати самомодифікуючий код.
2. Макроси, що знають синтаксис Вони дозволяють переписати код котла.
3. Прагматизм. CL призначений для того, щоб зробити роботу робочими професіоналами. Як правило, більшість функціональних мов не є.
4. Гнучкість. Він може робити багато різних речей, і все з розумною швидкістю.
5. Бородавість. Реальний світ безладний. Прагматичне кодування закінчується тим, що потрібно використовувати або вигадувати брудні конструкції. Звичайний Лісп має достатню бородавість, щоб він міг виконувати речі.

Можливо, єдиною реальною причиною вибору проти CL є те, що стандартні бібліотеки датовані.

Я вийду на кінцівку і скажу, що в загальному випадку синтаксис не повинен бути проблемою для професійного працівника програмного забезпечення.

З: Чому Лісп корисний?

Haskell:

Haskell - мова комп'ютерного програмування. Зокрема, це поліморфно статично типова, лінива, суто функціональна мова, зовсім відмінна від більшості інших мов програмування. Мова названа за Haskell Brooks Curry, робота якого з математичної логіки служить основою для функціональних мов. Haskell заснований на обчисленні лямбда, звідси і лямбда, яку ми використовуємо як логотип.

Ви можете прочитати там опис функціоналу проти імперативу

Від: http://www.haskell.org/haskellwiki/Вступ

Чи зроблять мене кращим програмістом?

Так, звичайно, знання більше мов та парадигм може зробити вас лише кращим програмістом, але зрозумійте це:

Не існує жодного інструмента, єдиної книги, єдиної парадигми програмування, яка зробить вас кращим програмістом.

Вивчення різних мов програмування з різними парадигмами, безумовно, допоможе вам бути кращим програмістом, навчитися вирішувати проблеми з різними підходами також значно виграє ваше логічне мислення.

Бути хорошим програмістом - справа не в мові, а в тому, щоб мати можливість вирішувати будь-яку проблему будь-якою мовою. І коли ви не знаєте мови, можливість швидко вивчити цю мову та ефективно її використовувати.

Я думаю, що чим більш глобальним є ваше мислення, тим краще ви розробник.

Наприклад, ви можете додавати корисні коментарі до свого коду, дбаючи про читаність вашого коду, ремонтопридатність. Зверніть увагу на дрібні деталі. Подумайте, перш ніж набрати! Дізнайтеся про моделі дизайну. Дотримуйтесь належних практик.

Розкриття: Це безсоромна реклама найгіршого виду, тому що це з мого блогу.

Коли ви вивчаєте мови, що не відповідають парадигмі, якою ви зазвичай користуєтесь, це відкриє ваш розум до альтернативних рішень щодня і, можливо, навіть допоможе вам краще зрозуміти деякі функції вашої мови вибору. Просто знання цих мов не стане кращим програмістом, якщо ви не зможете взяти уроки з цих мов та застосувати його до ситуацій, які ви бачите щодня.

Це, як кажуть, не обмежується мовами. Коли ви читаєте про різні структури даних, яких ви раніше не бачили і не використовували, це може допомогти розширити сферу ваших знань, тому наступного разу, коли ви зіткнетеся з проблемою, ви отримаєте ще одне можливе рішення.