Биндинги для генерации на Haskell тоже есть

я предложил уже. он разве умеет хаскель генерировать?

Действительно, не умеет

https://en.wikipedia.org/wiki/Comparison_of_parser_generators

Там какое-то GDK есть

Output languages: C, Lex, Haskell, HTML, Java, Object Pascal, Yacc

я нашел только такую штуку, но похоже, это наоборот, чтобв из сгенерированного парсера на С вызывать код на хаскеле. Вообще не понимаю, зачем :)

http://hackage.haskell.org/package/antlrc

В узлах обработку писать. Мне б такое лет пять назад пригодилось, тогда на Java обработку делал

@cblp_su вы тоже пишете на qtah? :) Копаюсь в их репозитории и вдруг вижу знакомое имя в коммитах

@cblp_su вы тоже пишете на qtah? :) Копаюсь в их репозитории и вдруг вижу знакомое имя в коммитах

трогал его немного. дописывал бойлерплэйт. не понравилось

но ничего лучше всё равно не могу посоветовать, при условии опыта в Qt

Ну мы сейчас на нем ведём проект, я вот один пр туда уже протолкнул

там много тупого кода приходится дописывать в библиотеку, очень долго компилируется

и ещё указатели нулябельные

жди NPE на каждом шагу

впрочем, не более, чем в C++

https://downloads.haskell.org/~ghc/master/users-guide/glasgow_exts.html#extension-GeneralizedNewtypeDeriving ого вот это фича в 8.6.1

Глазго же

GND вроде давно уже, в 8.6 добавили DerivingVia

GND вроде давно уже, в 8.6 добавили DerivingVia

теперь по-британски

Все равно ссылка не на то, z это American spelling

зачем там вообще американские версии?

https://downloads.haskell.org/~ghc/master/users-guide/glasgow_exts.html#extension-GeneralisedNewtypeDeriving

Так-то

зачем там вообще американские версии?

Я за интернационализацию, хочу {-# ЯЗЫК ОбобщенныйВыводДляНовТипов #-}

не вывод, а производ

Хорошо

вывод производных

блин, всё равно по-русски коряво выходит

как переписать такую вот функцию, чтобы было красиво? min' (Just x) (Just y) = Just (min x y) min' (Just x) Nothing = Just x min' Nothing (Just y) = Just y min' Nothing Nothing = Nothing

min' mX mY = min <$> mX <*> mY может?

min' mX mY = min <$> mX <*> mY может?

Не то, вернёт Nothing если хотя бы один Nothing

min' mX mY = min <$> mX <*> mY может?

не сработает в 2 и 3 кейсах

аа, там не совсем то min' (Just x) Nothing = Just x min' Nothing (Just y) = Just y ну да, min' mX mY = min <$> mX <*> mY здесь Nothing дает.

интересно, что для аналогичного max' оказывается верным, что max' = max, благодаря instance Ord a => Ord (Maybe a) λ> max (Just 1) (Just 2) Just 2 λ> max (Just 1) Nothing Just 1 λ> max Nothing Nothing Nothing

Замениь последние три кейса на min' mx my = mx <|> my

жаль, что они из двух возможных инстансов выбрали не тот, который нужен мне :)

как переписать такую вот функцию, чтобы было красиво? min' (Just x) (Just y) = Just (min x y) min' (Just x) Nothing = Just x min' Nothing (Just y) = Just y min' Nothing Nothing = Nothing

мне кажется или этот вариант итак самый красивый и понятный?

интересно, что для аналогичного max' оказывается верным, что max' = max, благодаря instance Ord a => Ord (Maybe a) λ> max (Just 1) (Just 2) Just 2 λ> max (Just 1) Nothing Just 1 λ> max Nothing Nothing Nothing

потому что Nothing меньше Just a.

потому что Nothing меньше Just a.

потому что они так решили

за этим нет ничего

могли бы сделать, что Nothing больше (любого) Just a, разницы между двумя инстансами нет

Замениь последние три кейса на min' mx my = mx <|> my

годится, но тогда надо целиком на комбинаторах, чтобы единый стиль

min' mx my = liftA2 min mx my <|> mx <|> my

вот так получилось =)

min' mx my = liftA2 min mx my <|> mx <|> my

ну так понятнее стало и читается проще (нет)

да

ну так понятнее стало и читается проще (нет)

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

ну вообще с моей стороны оценивать читаемость этого кода конечно тупо, да

min' :: Ord a => Maybe a -> Maybe a -> Maybe a min' x y = fmap getMin (fmap Min x <> fmap Min y)

Min из Data.Semigroup

min' :: Ord a => Maybe a -> Maybe a -> Maybe a min' x y = fmap getMin (fmap Min x <> fmap Min y)

хорошо! и будет работать для произвольного числа аргументов

instance Semigroup a => Semigroup (Maybe a) where Nothing <> b = b a <> Nothing = a Just a <> Just b = Just (a <> b) полезный инстанс однако

min' :: forall a. Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) @(Maybe(Min a))) ЗИРО КОСТ АБСТРАКШОН

min' :: forall a. Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) @(Maybe(Min a))) ЗИРО КОСТ АБСТРАКШОН

Но не ФИАРЛЕСС

min' :: forall a. Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) @(Maybe(Min a))) ЗИРО КОСТ АБСТРАКШОН

мач кост компрехеншон :((

ну ладно, не хотите как в яве типы указывать, можно писать до посинения тогда: min' :: Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) :: Ord a => Maybe (Min a) -> Maybe (Min a) -> Maybe (Min a))

min' :: forall a. Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) @(Maybe(Min a))) ЗИРО КОСТ АБСТРАКШОН

о, а в бусте такое есть?

нет конечно, в плюсах нету параметрического полиморфизма

о, а в бусте такое есть?

s/бусте/расте

в hie / vs-code появился кейс-сплит обычно такая фича появляется в хаскельном ленгвидж-костыле перед тем как единственный мейнтейнер его забросит

а можно для вимеров про кейс-сплит? что это

(но, если без шуток, уже есть ветка с костылением hie для 8.6 т.е. впервые ленгвидж-костыль может появиться не через месяцы после релиза нового гхц а почти сразу)

ERROR: S client not available

а можно для вимеров про кейс-сплит? что это

h :: [a] -> a h xs = undefined БАБАХ! h :: [a] -> a h [] = undefined h (xs:xss) = undefined

h :: [a] -> a h xs = undefined БАБАХ! h :: [a] -> a h [] = undefined h (xs:xss) = undefined

так вот зачем нужны АТД, чтоб за тебя код иде писало

крутая штука конечно

Насчёт min для maybe Если прописать что-то типа (-) Nothing = Nothing, то min' a b = -(max (-a) (-b)) Или я не прав?

Насчёт min для maybe Если прописать что-то типа (-) Nothing = Nothing, то min' a b = -(max (-a) (-b)) Или я не прав?

да, можно так

через fmap протащить (-)

h :: [a] -> a h xs = undefined БАБАХ! h :: [a] -> a h [] = undefined h (xs:xss) = undefined

Вау

но это +ограничение на тип

Насчёт min для maybe Если прописать что-то типа (-) Nothing = Nothing, то min' a b = -(max (-a) (-b)) Или я не прав?

min' mx my = negate <$> max (negate <$> mx) (negate <$> my)

Ток у этого способа читаемость не самая лучшая

min' x y = fmap getMin $ ((<>) `on` fmap Min) x y

используется свойство инстанса полугруппы для Maybe

min' x y = fmap getMin $ ((<>) `on` fmap Min) x y

min' = (fmap getMin .) . ((<>) `on` fmap Min)

min' = (fmap getMin .) . ((<>) `on` fmap Min)

о, у нас pointfree бот появился

о, у нас pointfree бот появился

Your text does not look like Haskell code

сто лет уж коерс есть, нет, все фмапы лепят

так безопаснее

сто лет уж коерс есть, нет, все фмапы лепят

Вместо .from()/.into()? Умно

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

выводить типы не хотят, выводить код не хотят, хотят только страдать

Вместо .from()/.into()? Умно

вот это точно не Хаскель

оказывается у эклипса и у вс код один "автор"

это что-то уровня фортран и фп, конечно

вот это точно не Хаскель

Конечно. Но это тоже весьма удобная вещь

вот так менее страдательно? min' :: Ord a => Maybe a -> Maybe a -> Maybe a min' x y = coerce $ ((<>) `on` fmap Min) x y

min' :: forall a. Ord a => Maybe a -> Maybe a -> Maybe a min' = coerce ((<>) @(Maybe(Min a))) ЗИРО КОСТ АБСТРАКШОН

min' = coerce ((<>) @(Maybe(Min a))) а что здесь @ значит? типа on?

чорт, я самый медленный тут

min' = coerce ((<>) @(Maybe(Min a))) а что здесь @ значит? типа on?

это применение параметра типа, как foo<T> foo @T

А зачем ты форолл явно пишешь?

чтоб a потом использовать в типе