AA
А линейные типы там откатили?
Уже пора, пожалуй.
А то ж, так придётся поверить, что их вмёржили всерьёз!
Уже пора, пожалуй.
А то ж, так придётся поверить, что их вмёржили всерьёз!
да еще есть время откатить
Size: a a a
2020 July 20
AA
А OverloadedRecordFields тоже того?
в смысле сеттеры для ORF? там тоже работы идут, но в 8.12 (т.е. в этом году) уже точно их не будет
TA
Я правильно понимаю,что стейт в Чёрч энкодинге будет так выглядеть?
type Pair a b = forall r.(a -> b -> r) -> (a -> b -> r)
type Reader r a = forall k.((r -> a) -> k) ->(r -> a) -> k
type State s a = Reader s (Pair s a)
?
type Pair a b = forall r.(a -> b -> r) -> (a -> b -> r)
type Reader r a = forall k.((r -> a) -> k) ->(r -> a) -> k
type State s a = Reader s (Pair s a)
?
AO
а зачем
-> k в Reader?AO
функции и в чёрче просто функции, вроде как
ЗП
State s a = forall r. (a -> s -> r) -> s -> rAO
пара как-то странно выглядит, кстати
ЗП
пара как-то странно выглядит, кстати
это Черч же =)
AO
я понимаю
AO
mkPair a b = \z -> z a bЗП
да странно
AO
кажется, надо
forall r.(a -> b -> r) -> rЗП
Pair a b = forall r. (a -> b -> r) -> rЗП
Reader r a = forall b. (a -> b) -> r -> bAO
на Cont какой-то похоже
Reader нельзя просто как
Reader нельзя просто как
r -> a записать?ЗП
Cont без кванторовAO
Cont без кванторовлевый
r справа не используетсяЗП
я символы не правильно расставил)
АГ
Переслано от Александр Гранин...
Видеоконференция по ФП #3
Всем привет!
9 августа, в воскресенье, в 16:00 МСК, состоится онлайн-встреча любителей Haskell и функционального программирования. На этот раз будет нечто особенное. Тема встречи - книги по Haskell, а в качестве экспертов приглашены сами авторы:
Виталий Брагилевский, автор книги “Haskell in Depth”
Денис Шевченко, автор книги “О Haskell по-человечески”
Антон Холомьев, автор книги “Учебник по Haskell”
Александр Гранин, автор книги “Functional Design and Architecture”
Мы поговорим с авторами, как они пришли к мысли, что надо писать книги по Haskell, как это было и что из этого вышло. Также коснемся других книг и обсудим методики обучения языку. На встрече можно будет задать авторам вопросы и узнать много интересного из их личного опыта. Приходите!
Программа:
16:00 Вступительное слово
16:00 - 16:30 Приветствие, авторы о себе
16:30 - 17:00 Авторы о своих книгах
17:00 - 18:00 Интервью с авторами
18:00 - 19:00 Обсуждения
Встреча будет проходить в Zoom, ссылка появится в чате @FPConfOnline за 5 минут до начала. Митап будет записан и выложен на YouTube. Вход свободный.
Всем привет!
9 августа, в воскресенье, в 16:00 МСК, состоится онлайн-встреча любителей Haskell и функционального программирования. На этот раз будет нечто особенное. Тема встречи - книги по Haskell, а в качестве экспертов приглашены сами авторы:
Виталий Брагилевский, автор книги “Haskell in Depth”
Денис Шевченко, автор книги “О Haskell по-человечески”
Антон Холомьев, автор книги “Учебник по Haskell”
Александр Гранин, автор книги “Functional Design and Architecture”
Мы поговорим с авторами, как они пришли к мысли, что надо писать книги по Haskell, как это было и что из этого вышло. Также коснемся других книг и обсудим методики обучения языку. На встрече можно будет задать авторам вопросы и узнать много интересного из их личного опыта. Приходите!
Программа:
16:00 Вступительное слово
16:00 - 16:30 Приветствие, авторы о себе
16:30 - 17:00 Авторы о своих книгах
17:00 - 18:00 Интервью с авторами
18:00 - 19:00 Обсуждения
Встреча будет проходить в Zoom, ссылка появится в чате @FPConfOnline за 5 минут до начала. Митап будет записан и выложен на YouTube. Вход свободный.