В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1657 membersпожаловаться на группу
2020 December 29

SI

Serghei Iakovlev in Haskell
вопрос: есть на примете что-то убийственно простое по типам и классам типов в фп?  чувака из ооп мира привожу в фп ))  он застрял щас на этой теме, тяжело дается. я ему дал Хаскел во имя добра

в идеале, нужно что-то в таком формате и такое же доходчевое как вот эта статья только по типам и классам https://habr.com/ru/post/183150/

может что-то есть на примете простое?
Хабр
Функторы, аппликативные функторы и монады в картинках
Вот некое простое значение: И мы знаем, как к нему можно применить функцию: Элементарно. Так что теперь усложним задание — пусть наше значение имеет контекст...
источник
13:00пожаловаться#1

MK

Maxim Koltsov in Haskell
поищи посты @ybogomolov на хабре, наверное
там всякое на ТС показывается
источник
13:00пожаловаться#2

SI

Serghei Iakovlev in Haskell
у него на хабре 3 статьи
источник
13:01пожаловаться#3

ЮБ

Юрий Богомолов... in Haskell
Serghei Iakovlev
вопрос: есть на примете что-то убийственно простое по типам и классам типов в фп?  чувака из ооп мира привожу в фп ))  он застрял щас на этой теме, тяжело дается. я ему дал Хаскел во имя добра

в идеале, нужно что-то в таком формате и такое же доходчевое как вот эта статья только по типам и классам https://habr.com/ru/post/183150/

может что-то есть на примете простое?
Хабр
Функторы, аппликативные функторы и монады в картинках
Вот некое простое значение: И мы знаем, как к нему можно применить функцию: Элементарно. Так что теперь усложним задание — пусть наше значение имеет контекст...
dev.to/gcanti + Mostly Adequate Guide to Functional Programming (гуглится, ссылок не даю, т.к. оффтоп)
DEV Community
Giulio Canti — DEV Profile
источник
13:03пожаловаться#4

SI

Serghei Iakovlev in Haskell
спасибо
источник
13:07пожаловаться#5

KV

Kirill Valyavin in Haskell
Надо бы записать каст без пояснений с lens-aeson трюкачеством, чтобы у начинающих не складывались ложные впечатления о типизации
источник
14:03пожаловаться#6

Y

Yuuri in Haskell
Kirill Valyavin
let adjoinAll = 
  cloneTraversal
  . foldl1 (\t1 t2 -> adjoin (cloneTraversal t1) (cloneTraversal t2)) in 
"{\"a\":1,\"b\":2}" & partsOf (_Value . (adjoinAll [ix "a", ix "b"]) . _Number) .~ [2,3]

Короче надо было вот так
\t1 t2 -> adjoin (cloneTraversal t1) (cloneTraversal t2) это, кстати, 
adjoin `on` cloneTraversal
источник
14:06пожаловаться#7

KV

Kirill Valyavin in Haskell
Yuuri
\t1 t2 -> adjoin (cloneTraversal t1) (cloneTraversal t2) это, кстати, 
adjoin `on` cloneTraversal
Ага, я привык не пользваться этой штукой, потому что она часто типы ломает
источник
14:06пожаловаться#8

Y

Yuuri in Haskell
Как ломает?
источник
14:07пожаловаться#9

KV

Kirill Valyavin in Haskell
Yuuri
Как ломает?
Оно заставляет аргументы быть одинакового типа, тогда как запись лямбдой оставляет место для ад-хок полиморфизма
источник
14:07пожаловаться#10

AA

A64m AL256m qn<co... in Haskell
вообще чет не помню нормального объяснения тайпклассов ни в каких учебниках, только в пейпере "как сделать ад-хок полиморфизм менее ад-хок"
источник
14:25пожаловаться#11

AA

A64m AL256m qn<co... in Haskell
алг-тд вообще не помню чтоб где-нибудь видел
источник
14:26пожаловаться#12

IK

Ilya Kos in Haskell
А есть класс функтора по произвольному параметру, а не по последнему?
источник
16:01пожаловаться#13

к

кана in Haskell
не помню таких, думаю проще ньютайп запилить для функтора
источник
16:11пожаловаться#14

IK

Ilya Kos in Haskell
кана
не помню таких, думаю проще ньютайп запилить для функтора
Ну тогда уж проще отдельную функцию для каждого параметра завести
источник
16:18пожаловаться#15

к

кана in Haskell
по поводу ньютайпов, захотелось мне ньютайп-семейств, которые будут иметь такой же синтаксис как в (3), но по смыслу быть 1+2
источник
16:22пожаловаться#16

к

кана in Haskell
блин нет, на этом примере это совсем не нужно, я хотел сделать с другой стороны, чтобы On2 позволял делать функтор для x в
f a x
f a x b
f a x b c
...

и потом просто

fmap f (On2 x)

для любого такого f
источник
16:23пожаловаться#17

к

кана in Haskell
On2 нужно тоже перегрузить, мб паттерн-синонимами
источник
16:24пожаловаться#18

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
А есть класс функтора по произвольному параметру, а не по последнему?
для каждого номера параметра по классу в lens и один для любого в generic-lens
источник
16:28пожаловаться#19

IK

Ilya Kos in Haskell
Какой каноничный Integer -> ByteString?
источник
16:28пожаловаться#20