MK
по 7.5 минут на каждого автора?
Size: a a a
2020 July 20
MK
@cblp_su почему у меня нет права пинить?
АГ
по 7.5 минут на каждого автора?
Ну не то чтобы
JS
@cblp_su почему у меня нет права пинить?
This permisssion in not available in public groups. хз. пинайте меня, чтобы пинить
MK
This permisssion in not available in public groups. хз. пинайте меня, чтобы пинить
Ну что за бред...
MK
А где ты это видишь?
TA
кажется, надо
forall r.(a -> b -> r) -> rНу,мне кажется что и этот,и тот вариант схожи если не эквивалентны...
MK
В правах админа или в настройках группы?
JS
В правах админа или в настройках группы?
в правах админа сказано, что запрещено в группе, а в группе говорит, что вообще нельзя
MK
Понятно
MK
Мне кажется я раньше мог
А может и нет
А может и нет
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. Вход свободный.
👍
TA
Reader r a = forall b. (a -> b) -> r -> bА почему reader так выглядит?
Разве не
forall reader.((r -> a) -> reader) -> reader?
Разве не
forall reader.((r -> a) -> reader) -> reader?
TA
Tel Asc
А почему reader так выглядит?
Разве не
forall reader.((r -> a) -> reader) -> reader?
Разве не
forall reader.((r -> a) -> reader) -> reader?
Разве для произвольного типа А с одним конструктором( В a1 a2 a3... an ... A ... f A) church encoding версия не так будет выглядеть:
forall a.(a1 -> a2 -> a3 -> ... -> an -> ... -> a -> ... -> f a) -> a?
forall a.(a1 -> a2 -> a3 -> ... -> an -> ... -> a -> ... -> f a) -> a?
IR
Tel Asc
А почему reader так выглядит?
Разве не
forall reader.((r -> a) -> reader) -> reader?
Разве не
forall reader.((r -> a) -> reader) -> reader?
на выходе там разве не результат?
AO
Tel Asc
Ну,мне кажется что и этот,и тот вариант схожи если не эквивалентны...
Сомневаюсь
TA
Tel Asc
Разве для произвольного типа А с одним конструктором( В a1 a2 a3... an ... A ... f A) church encoding версия не так будет выглядеть:
forall a.(a1 -> a2 -> a3 -> ... -> an -> ... -> a -> ... -> f a) -> a?
forall a.(a1 -> a2 -> a3 -> ... -> an -> ... -> a -> ... -> f a) -> a?
Так или иначе все равно Church encoding наверное кроме ,может быть того,что быстрее,смысла не имеет...
Все равно deriving в Functor,Monad, Applicative не сделать...
Все равно deriving в Functor,Monad, Applicative не сделать...
TA
Вообще в идеале сделать deriving для Черч энкодинг типов с произвольными стрелками .
AO
Tel Asc
Так или иначе все равно Church encoding наверное кроме ,может быть того,что быстрее,смысла не имеет...
Все равно deriving в Functor,Monad, Applicative не сделать...
Все равно deriving в Functor,Monad, Applicative не сделать...
Смысла в кодировании чего-либо нет, если есть механизм в языке специально для этого, который ничем не хуже
TA
Смысла в кодировании чего-либо нет, если есть механизм в языке специально для этого, который ничем не хуже
Мне кажется лично, кажется,что в теории можно сделать при помощи ТН или чего-то ещё сделать для черч-энкодинг типов инстанс в аппликатив...