вы пойдете по основной статье, когда начнут охоту на хаскелистов

вот была бы вакансия "питонист, жаждущий перебраться на Хаскель" - я б пошел)

а мы как шатающиеся

Почитать на толчке про монады.

На променаде

вот была бы вакансия "питонист, жаждущий перебраться на Хаскель" - я б пошел)

Эта дорога в один конец

вот была бы вакансия "питонист, жаждущий перебраться на Хаскель" - я б пошел)

ишь, чего вздумал, самим такое надо

Так, туплю. Хочу написать такой вот инстанс instance Functor a => Functor (e -> a) where fmap = undefined --fmap f a = \e -> fmap f (a e) ghc справедливо ругается на кайнды. Я понимаю, почему он ругается, но не понимаю, как здесь написать правильно.

У (e -> a) кайнд *

А функтору нужно * -> *

это понятно

(это я покапитанствовал)

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

(->) e ? Только оверлап будет

(->) e ? Только оверлап будет

так a надо же и в правую часть от => загнать

а, точно, да тут без ньютайпа никак

кстати, мы снова ищем хаскелиста, чтобы писать на Хаскеле программы, которые пишут на С. резюме слать мне или @icrbow

(->) e ? Только оверлап будет

да, про оверлап не подумал. короче не нужен такой инстанс

Я тут mtproto обкатываю, поднял прокси для телеги, если кому нужно tg://proxy?server=185.205.210.186&port=443&secret=28903022c71ae67961d00ecacea6e0de

ну порядок аргументов без ньютайпа не развернуть, так что оверлапа-то как раз не будет

кстати, мы снова ищем хаскелиста, чтобы писать на Хаскеле программы, которые пишут на С. резюме слать мне или @icrbow

Весь хачкель в фьючертехе?(

Весь хачкель в фьючертехе?(

ай донт андерстэнд ёр барбариан лэнгвидж

Што

на русский переведите, пожалуйста

Евгений, я у Вас хотел поинтересоваться. Вы москвич?..

Нет

Отдел будущих технологий, где еще каспер ОС пилят

Так, туплю. Хочу написать такой вот инстанс instance Functor a => Functor (e -> a) where fmap = undefined --fmap f a = \e -> fmap f (a e) ghc справедливо ругается на кайнды. Я понимаю, почему он ругается, но не понимаю, как здесь написать правильно.

его не нужно писать

он как есть уже

его не нужно писать

а я уже написал через ньюйтайпы, спасибо @A64m_qb0

ну то есть не он сам, но он есть потому что частично примененная стрелка - функтор, и если a - мапабельный, то можно просто мапать

так зачем его писать через ньютайпы?

а я уже написал через ньюйтайпы, спасибо @A64m_qb0

newtype Fun f e a = Fun {getFun :: e -> f a} instance Functor f => Functor (Fun f e) where fmap f (Fun a) = Fun $ fmap f . a

f :: a -> Maybe a

так зачем его писать через ньютайпы?

ну вот надо мне

так он УЖЕ есть

так он УЖЕ есть

где? без скринов можно?

где? без скринов можно?

f :: Int -> Maybe Int f = Just g, h :: Int -> Maybe String g = fmap show . f h = fmap (fmap show) f

он же Compose

t = getCompose . fmap show . Compose $ f

Compose это как раз твой Fun, только еще стрелка обобщена до функтора

Compose это как раз твой Fun, только еще стрелка обобщена до функтора

а, ну хорошо

значит надо transformers поставить, спасибо

Compose в base есть

ридер-инстанс стрелки тоже в base

а потом они ругаются на "монады это пайпы"... https://github.com/theam/tintin/pull/17#discussion_r190178211

а за хугл кто отвечает вообще? там уже пару месяцев куча ссылок нерабочие например https://www.haskell.org/hoogle/?q=Compose

hoogle-сервис всегда был ниочень. Hayoo лучче

хугл сам уже несколько лет нерабочий

hoogle-сервис всегда был ниочень. Hayoo лучче

это что ль? https://hayoo.fh-wedel.de/?query=Compose там точно такие же нерабочие ссылки, как и в хугле (в моём случае)

"Ссылки нерабочие", это "hackage не отвечает"?

нет, это Page not found Sorry, it's just not here.

Я чтот разбился о то, что time-1.9 умеет парсить таймзоны в формате HH:MM, а time-1.8 не умеет. А переехать на time-1.9 нельзя, т.к. на 1.9 не переехало 90% пакетов зависимостей

Я чтот разбился о то, что time-1.9 умеет парсить таймзоны в формате HH:MM, а time-1.8 не умеет. А переехать на time-1.9 нельзя, т.к. на 1.9 не переехало 90% пакетов зависимостей

time-compat?

Там этого нет, и это в обратную сторону работает, если тебе нужны старые функции, а не новые

нет, это Page not found Sorry, it's just not here.

Сходил. Поискал. Прошел по ссылке - всё работает

future-time-compat ?

Вот, боль

Время велосипеды строить

Сходил. Поискал. Прошел по ссылке - всё работает

hoogle тоже работает

Сходил. Поискал. Прошел по ссылке - всё работает

мистика какая-то

ркн?

нет

какой-то плагин может в браузере?

вот эти ссылки у тебя работают, да? три штуки

у меня выдают вот что

какой-то плагин может в браузере?

ну не знаю. не похоже

https://hackage.haskell.org/package/transformers-0.5.5.0/docs/Data-Functor-Compose.html#t:Compose

404

Это не хугла проблема, а хакеджа

Это не хугла проблема, а хакеджа

ну вообще похоже, что именно хугла. раз Compose теперь в base, то и выдавать должно ссылку на base

то бишь вот эту, и она рабочая http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Functor-Compose.html

а вот это нерабочая, которую хугл и hayoo выдают http://hackage.haskell.org/package/transformers-0.5.5.0/docs/Data-Functor-Compose.html

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

тл;др хугл не работает

Отдел будущих технологий, где еще каспер ОС пилят

кажется, где-то ещё был Хаскель, но я приглашаю именно в ОС

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

А сделать свой хугл можно? Ведь это же готовый пакет, нет?

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

ну, можно собрать старую версию, наверное

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

Жесть, как это сломан?

Is it a feature?

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

>подустал

а так не скажешь, что 30 лет комьюнити

короче говоря вот старый https://www.haskell.org/hoogle/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b вот новый https://hoogle.haskell.org/?hoogle=(a%20-%3E%20b)%20-%3E%20f%20a%20-%3E%20f%20b

разницу сами можете оценить

можно так, чтоб честнее было https://hoogle.haskell.org/?hoogle=%28a+-%3E+b%29+-%3E+f+a+-%3E+f+b&scope=package%3Abase

>подустал

"Чёт приуныл.jpg"

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

А что вы называете поиском по типам? Что-то особенное? По обычным типам ищет вроде да хоть тот же hayoo: http://hayoo.fh-wedel.de/?query=Traversable+t+%3D%3E+t+a+-%3E+a

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @kana_sama

Просто не хочется портить типы, но хочется воспользоваться instance (Functor f, Functor g) => Functor Compose f g

А что вы называете поиском по типам? Что-то особенное? По обычным типам ищет вроде да хоть тот же hayoo: http://hayoo.fh-wedel.de/?query=Traversable+t+%3D%3E+t+a+-%3E+a

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

https://www.haskell.org/hoogle/?hoogle=Eq+a+%3D%3E+%5Ba%5D+-%3E+%5Ba%5D

Вот такое ищет более-менее. Или оно ломается?

Вопрос в продолжение темы. Можно ли как-нибудь дерайвнуть/вывести Functor, Applicative для ньюйтайпа, сделав "как в Compose", не определяя его явно через Compose? @A64m_qb0 @kana_sama

взять инстансы от композа и применить их к своему типу, который не является ньютайп оберткой вокруг композа?

Вот такое ищет более-менее. Или оно ломается?

см выше сравнение одного запроса к старому и новому хуглу