А что за оператор $?
взлома попы выводу типов
Vladislav
Pavel
ты даже сам сказал, "книжка по фп"
я добавил что там более честные определения. а не ваниль для имперетивщиков.
Nikolay
@fvnever а a -> 'b точно нужен?
Nikolay
У нас же ‘a -> unit
Дмитрий
я добавил что там более честные определения. а не ваниль для имперетивщиков.
а в чем заключается ваниль?
Dr. Friedrich
Посмотри на пример, где больше одного аргумента
Dr. Friedrich
Там будет 'a -> 'b -> unit
Nikolay
Хм
Dr. Friedrich
Поэтому я и пытаюсь рекурсивно разматчить функцию
Nikolay
Я думал ’(‘a -> ‘b) -> unit
Dr. Friedrich
а еще напомните пожалуйста язык, в котором туплы определяются в <...>
В Эрланге тупли записываются как {A, B, C}
Dr. Friedrich
А не
Dr. Friedrich
Вот ты неправильно написал
Nikolay
Ну ты понял)
Dr. Friedrich
Там же 'a -> ('b -> unit)
Nikolay
Взрыв мозга немного
Nikolay
Ну идею твою я примерно понял да
Дмитрий
я добавил что там более честные определения. а не ваниль для имперетивщиков.
вот я например могу утверждать, что функции из ванильных императивных языков проще положить на любой ассемблер, чем каррирование из фп-языков, для которых требуются тонны сил на оптимизацию
Nikolay
Ну императивный подход же и появился в результате развития ассемблера, а ФП подход это типа: О, хочу шоб как в математике
Дмитрий
в функциональном языке программирования "Скала" функции тоже не таплы принимают
Pavel
а в чем заключается ваниль?
это как детям в школе. им говорят площадь круга пи*R*R. дети счастливы - они все поняли (почему это так, какой там мат аппарат это выводит - это им лучше не рассказывать). тоже самое с императивциками. их главное не напугать тем что лежит внутри, вот и появляются книжки освой С за 24 часа
Дмитрий
ну это конечно объективный аргумент
Дмитрий
а матаппарат функционального программирования подразумевает, что он будет исполняться на процессоре архитектуры _вставьте нужную_, в которой нет ни таплов, ни функций, одни только стекфреймы?
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
Дмитрий
или это все нематематично и в книге не написано?
Дмитрий
Крылатый
Dr. Friedrich
Новости из основного чата: я таки сделал это работать
Dr. Friedrich
https://gist.github.com/ForNeVeR/135addb5c95faaba80e8a122dcaf7392
Pavel
Новости из основного чата: я таки сделал это работать
так вроде тоже собирается type T = T with
static member inline ($) (T, func: ^a -> ^b): ^a -> ^b =
fun (_: 'a) -> T $ Unchecked.defaultof<'b>
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, arg: int) = 0
Dr. Friedrich
так вроде тоже собирается type T = T with
static member inline ($) (T, func: ^a -> ^b): ^a -> ^b =
fun (_: 'a) -> T $ Unchecked.defaultof<'b>
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, arg: int) = 0
Да, ты прав! Можно сильно упростить и убрать zombify
Dr. Friedrich
Ключ действительно в том, чтобы было больше одного терминального кейса
Pavel
а матаппарат функционального программирования подразумевает, что он будет исполняться на процессоре архитектуры _вставьте нужную_, в которой нет ни таплов, ни функций, одни только стекфреймы?
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
я твой вопрос вообще не понял. во первых почему матаппарат должен подразумевать какието конкретные реализации. а во вторых ты сам сказал что на ассемблере нет ни функций, ни туплов. но почемуто фп в него транслируется и работает
Aleksandr
это как детям в школе. им говорят площадь круга пи*R*R. дети счастливы - они все поняли (почему это так, какой там мат аппарат это выводит - это им лучше не рассказывать). тоже самое с императивциками. их главное не напугать тем что лежит внутри, вот и появляются книжки освой С за 24 часа
О, кстати, помню метод подсчета числа pi через приближение правильных многоугольников давали в учебниках 8 класса, кажется. В теме про длину окружности. Учебник не помню. Про площадь было в 11 классе в теме про интегралы
Дмитрий
я твой вопрос вообще не понял. во первых почему матаппарат должен подразумевать какието конкретные реализации. а во вторых ты сам сказал что на ассемблере нет ни функций, ни туплов. но почемуто фп в него транслируется и работает
> почему должен
если программы только в уме или в вакууме запускать, то конечно не должен
> транслируется
транслировать можно что угодно во что угодно (оно в любом случае сведётся к машине тьюринга), вопрос в том как это работать будет
Ayrat
Ayrat
Hi, {firstName}!
Dr. Friedrich
Видать, не смогли определить, какой нейм у тебя фёрст.
Ayrat
Ответил ей в том же ключе
Hi, {recruiterName}!
Evgen
Anatoly
Ответил ей в том же ключе
Hi, {recruiterName}!
Это почти как отвечать операторам банка "В целях контроля качества услуг разговор может быть записан"
Ayrat
Anatoly
Я иногда так и отвечаю
Anonymous
Анна
Уже было название чата "Сбрось башкира со Скалы", повторяемся 🤔
Анна
Кстати, башкир наш и так успешно со Скалы спрыгнул, и неплохо себя чувствует 🤔
Aleksandr
А письма генерируются
Анна
Я тоже подумала, что у них какие-то скрипты рассылочные кривые
Анна
в спам их
Vasily
Хорошая картинка, надо в пронет закинуть, шоле
Vasily
Ilya
Надеюсь, подписчики профунктора сделают пародию про фп программиста.
TOV_MULTIMASSO
С function во всех блоках?
Ilya
С монадами и остальными прибамбасами.
Критерий
линза в глазке
Критерий
в окне не видно горизонта, довольно странно
Критерий
С монадами и остальными прибамбасами.
ThirstQuencherFunctor, ведь функтор, как всем известно - контейнер
Ilya
в окне не видно горизонта, довольно странно
Это может быть не первый этаж. Совсем не первый этаж.
Критерий
пульт ДУ - фримонада с командами
Критерий
Это может быть не первый этаж. Совсем не первый этаж.
с такого ракурса даже с 20го этажа должно быть видно горизонт
Ilya
Тогда это квартира в самолёте.
Критерий
годится
Критерий
абстрагирована в самолёт
Ilya
Вот именно. Где инстанцируешь, там и будет. Картина за окном -- это вообще не её ответственность. Ищи баг в другом месте.
Критерий
проблема не на нашей стороне
Vladislav
Dr. Friedrich
Ayrat
Dr. Friedrich
Это кстати ужасно бесит в райдере/идее. Зависшие таски нельзя отменить/рестартануть.
Там есть крестик, но он не форсит отмену, а просто нихуя не делает в 99% случаев
Жалуйся на кейсы, когда он нихуя не делает. Их надо чинить.