в более интересных новостях, добавил поддержку опциональных параметров в https://hackage.haskell.org/package/named-0.2.0.0/docs/Named.html

Хочу обратить внимание, что это реальное крутая штука. Это довольно прикольно и удивительно, как в языке с изначально только позиционными аргументами получилось добавить довольно неплохую поддержку именованных аргументов с дефолтными параметрами только средствами языка.

меньше зависимостей - круче, имеете в виду?

Нет, я имел в виду, что в Haskell нет синтаксиса для именованных аргументов. И можно было бы попатчить GHC, чтобы ввести этот синтаксис (предварительно убедив сотню людей, что именно этот синтаксис для именованных аргументов правильный). Но тот факт, что это можно реализовать средствами самого языка, означает, что язык довольно выразительный, что даже казалось бы синтаксическую фичу, которую никак нельзя иметь не улучшая компилятор специально для этой фичи, можно реализовать на самом языке. Но и да, в библиотеке примерно 0 зависимостей, так что никакого оверхеда)

А ведь ещё есть QuasiQuotes

Думаю, что тащить QuasiQuotes на каждый вызов функции довольно неудобно. Поэтому именно для этой задачи неудобно. Я видел решение Extensible Records на квази-квотах, и это выглядело довольно страшненько... Как по мне, квазиквотеры подходят для чего-нибудь в духе: вставить кусок HTML в код с интерполяцией и заодно провести компайл-тайм валидацию HTML (кстати, причём именно такой библиотеки нет).

всем привет! Кто может посоветовать годную литературу по фп на русском языке желательно. И также материал по Haskell для начинающих?

всем привет! Кто может посоветовать годную литературу по фп на русском языке желательно. И также материал по Haskell для начинающих?

https://ruhaskell.org/links.html

Это сообщество?

всем привет! Кто может посоветовать годную литературу по фп на русском языке желательно. И также материал по Haskell для начинающих?

на stepic хороший курс

3 недели который идет?

3 недели который идет?

не хватит, там они частично применены

в Хаскеле есть средства для генерации или DSL для FSM парсеров?

есть состояния, есть транзишны между ними, как в школе на уроке информатики. очень общий подход

Что такое fsm парсер?

спецификация языка уже есть, она довольно простая, по-моему, регулярная

а почему в, скажем, clang она не применяется?

Правда я всю эту механику видел лет 16 назад в последний раз

Она - кто?

Покажи конечно

Почему участвуете в дискуссии тогда?

формализмы эти. и генераторы парсеров

я этот конечный автомат могу руками написать. мне нужен язык, чтобы написать его один раз и нагенерить дальше автоматически

(f &&& g) x = (f x, g x)

Как думаете, этим можно джуна убить?

в идеале ещё C, C++, JavaScript, Python

зацените import Prelude hiding (zipWith) import Control.Applicative import Data.Functor zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] zipWith f xs ys = getZipList $ f <$> zxs <*> zys where zxs = ZipList xs zys = ZipList ys zipDefWith :: a -> b -> (a -> b -> c) -> [a] -> [b] -> [c] zipDefWith x y f xs ys = getZipList $ f <$> (zxs <|> zys $> x) <*> (zys <|> zxs $> y) where zxs = ZipList xs zys = ZipList ys

там unary tuple вроде подвезут

но можно ему генератор добавить )