169 похожих чатов

Кто-То игрался с Witchcraft и Algae? Не могу понять как

Free монадой пользоваться, конкретно пытался перевести вот это на эликсир (при оч посредственнх знаниях хаскеля)
https://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html

10 ответов

24 просмотра

Witchcraft и Algae это попытки натянуть сову на глобус. Этим лучше баловаться в ml языках, хацкеллях и теоремпруверах. В эликсире от этого нет ни толку, ни интереса

насколько я помню, у фри монад есть большая проблема с полным отсутствием интроспекции, типа там сплошные замыкания

florius0- Автор вопроса
Alex Bubnov
насколько я помню, у фри монад есть большая пробле...

А есть какая-нибудь теоретическая книжка по ФП?

Alex Bubnov
насколько я помню, у фри монад есть большая пробле...

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

Lama Lover
Witchcraft и Algae это попытки натянуть сову на гл...

Ну, за интерес человеку виднее, но вообще я в корне не соглашусь - как раз надо всю эту прелесть тянуть в более приземлённые языки, томущо изобретать постоянно один и тот же велосипед и даже одинаковыми словами его не называть пора бы прекратить. (Справедливости ради, я под впечатлением от прочтения elements of programming сейчас)

Alex Bubnov
насколько я помню, у фри монад есть большая пробле...

Также <troll>фримонада это просто improper_list</troll>

Я кажется нашёл, чье мнение цитировал https://markkarpov.com/post/free-monad-considered-harmful.html#inspection

Alex Bubnov
Я кажется нашёл, чье мнение цитировал https://mar...

А, ну по модулю того, что у тебя в типе данных будут функции, ай гесс. (Но это не обязательно).

Alex Bubnov
Я кажется нашёл, чье мнение цитировал https://mar...

Тут очень валидные точки, надо сказать.

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
И никого не интересует какие пакеты кто использует. ((% Заходишь на сайт симфони и видишь поддержку Украины - по законам РФ это ж экстремизм. Только никто не отказывается от с...
Am Ambrion
11
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
Чтобы перехватить все нажимания буков на форме, надо хук ставить? Пробовал на форме ОнКейДаун, оно ловит клаву если фокус не на компоненте с вводом текста
Serjone
15
Но, может, есть уже проверенная? Наши требования такие: 1. Сообщения должны приходить из Инста в CRM оду 2. Должна быть возможность подключить несколько экаунтов Инстаграм. Р...
Alexander Sharoiko MSE / Александр Шаройко
7
Народ! Впервые клиенту пришло письмо от РКН, у вас, дескать, есть яндекс метрика, а нигде не написано, что вы ее юзаете. Никто не сталкивался?
Sasha Beep
14
Всем привет! вывожу на общей стр дочерние ресурсыв каждом ресурсе галерея, и первая фотка должна выводиться на общей [!DocLister? &prepare=photo !]
Alekso
12
Я правильно понимаю что нет способов получить список ожидающих заявок на вступление в группу с помощью бота из mtproto?
Шамиль Прилов
7
А можно вопрос? Мне сегодня сказали что у меня функция (которая просто заполняет массив значениями) не правильная void Full(double * arr, int n) { for (int i = 0; i < n; i...
† C E †
7
Добрый вечер. Хочу чтобы у меня в классе поле было функцией, которая возвращает строку. Делаю так: interface ... TGetOutPath = function : String of object; ... protec...
Kirill Filippenok
12
Карта сайта