Телеграмм чат группы haskellru страница 15385

Size: a a a

Haskell

2021 February 06

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

хм, да наверное обычным фмапом можно

источник

23:15пожаловаться #1

ЗП

Зигохистоморфный Пре... in Haskell

Roman

Производные от типов

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

а никто не задавался вопросом, что для типа будет первообразной?

источник

23:15пожаловаться #2

Andrey in Haskell

типо (fmap . ... . fmap $ g) f

источник

23:15пожаловаться #3

Andrey in Haskell

ладно, спасибо, разобрался :)

источник

23:17пожаловаться #4

Jerzy Syrowiecki in Haskell

Aleksei (astynax) Pirogov

А нет комбинатора, чтобы можно было в f x = g x <|> h x <|> ... опустить x?

вроде нет, но это же всего лишь asum . sequence fs x

источник

23:30пожаловаться #5

Jerzy Syrowiecki in Haskell

Зигохистоморфный Препроморфизм

даже рекурсивные можно записать в каноничной форме?

источник

23:35пожаловаться #6

ЗП

Зигохистоморфный Пре... in Haskell

Jerzy Syrowiecki

даже рекурсивные можно записать в каноничной форме?

конечно

источник

23:36пожаловаться #7

ЗП

Зигохистоморфный Пре... in Haskell

вот список это ряд

источник

23:36пожаловаться #8

ЗП

Зигохистоморфный Пре... in Haskell

но каноническая формула ряда это есть енкодинг адт для списка

источник

23:36пожаловаться #9

кана in Haskell

Maxim Koltsov

Я вот даже каждый раз проверяю как устроен моноид для мейби!

+, вчера последний раз проверял

источник

23:37пожаловаться #10

ЗП

Зигохистоморфный Пре... in Haskell

кана

+, вчера последний раз проверял

их два Maybe и Option вроде (разное поведение для <>)

источник

23:38пожаловаться #11

2021 February 07

Gleb in Haskell

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

источник

00:53пожаловаться #12

Maxim Koltsov in Haskell

wire-server

источник

01:01пожаловаться #13

Maxim Koltsov in Haskell

octopod

источник

01:01пожаловаться #14

Maxim Koltsov in Haskell

semantic (но может быть и не очень хорошо)

источник

01:01пожаловаться #15

ЗП

Зигохистоморфный Пре... in Haskell

можно в хаскель на тайплвел получить поведение как на термлевел?
я имею в виду, что

:kind! Take 10 (Iterate Inc 10)

источник

02:14пожаловаться #16

ЗП

Зигохистоморфный Пре... in Haskell

на тайплевел это зависает и уходит в бесконечный вызов

источник

02:14пожаловаться #17

КБ

Кирилл Балаценко... in Haskell

Всем привет
Захотелось в этом году какого-то оверкилла, поэтому решил начать учить Хаскель
Может ли кто-то посоветовать, с какого курса/книжки начать?

источник

02:19пожаловаться #18

ЗП

Зигохистоморфный Пре... in Haskell

Кирилл Балаценко

https://t.me/haskell_learn

Haskell Start

Чат для вопросов по основам хаскеля для совсем начинающих.

Правила чата: http://bit.ly/λrules

Остальные чаты перечислены тут: https://ruhaskell.org/links

Wiki сообщества: http://bit.ly/λwiki (про редакторы там тоже написано)

источник

02:20пожаловаться #19

КБ

Кирилл Балаценко... in Haskell

Спасибо большое!

источник

02:21пожаловаться #20