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

А надо учить лямюда исчесление чтобы вкатываться в хаскель, или

можно пропустить?

6 ответов

9 просмотров

можете пропустить, но не помешает

Надеюсь это можно здесь постить Вот прикольное на мой взгляд видео по теме lambda calculus https://www.youtube.com/watch?v=3VQ382QG-y4

Yuri Kostin
Надеюсь это можно здесь постить Вот прикольное на...

вот ещё из прикольного http://worrydream.com/AlligatorEggs/

Cheese Syrowiecki
вот ещё из прикольного http://worrydream.com/Allig...

Зубы ножницами сложно вырезать, плоттер нужен.

Cheese Syrowiecki
вот ещё из прикольного http://worrydream.com/Allig...

Ребята а вы куда-нибудь ссылки крутые, вроде этой собираете ? Если да - то где можно смотреть ?

Cheese Syrowiecki
вот ещё из прикольного http://worrydream.com/Allig...

В аллигаторах мне мешает всё arbitrary. Предупредил бы автор сразу, что для взрослых есть в самом внизу "Schematic Form", а аллигаторы всего лишь кодировка правил. Автор вызывает восхищение своими талантами визуализатора (см. worrydream.org) - но мне как эгоисту не хватает развития темы в терминах схем-диаграмм, а не только "accessible" крокодильчиков. Изобретённая им диаграммная "иероглифическая" кодировка определённо легче общепринятой символьной. Думаю, стоит расписать комбинаторы иероглифически и попытаться запомнить их и правила вывода именно в этом виде.

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

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

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
База данных не поможет. Шифрование не поможет. Какие там ещё варианты? Накидывайте.
КТ315
20
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
А табстоп это сообщение от окна или от элемента управления?
The Bird of Hermes
18
Открыл свой двухкилобайтный экзешник в x32dbg, а тут какая-то хрень. Смущает кнопка "выполнить до пользовательского кода", а что ещё может быть в файле помимо него ?
НѣкъиⰘижєжєиꙁъвьсєсвѣтьноѣсѣтиѥсть•
11
Вопрос тем кто смотрит видео и слушает подкасты - как вы потом ищете нужную вам информацию? Вот статью я прочитал, потом могу искать нужную мне часть банальным поиском. Пропус...
Aleksandr Druzhinin
4
Мне были интересны дишные хаки и я нашёл любопытный способ на форуме через __traits, что-то вроде int delegate(int) fac = (int n) => n == 0 ? 1 : n * __traits(parent, {})(n - ...
Constantin F.
1
Всем привет, подскажите/посоветуйте пожалуйста. Фаердак компоненты, имею одно место где бизнес хочет видеть при открытии формы список всех клиентов, это порядка 30к. Мои дово...
Sasha Sch
14
Ребят, если кто в курсе - скажите, а в загранке такое же засилье маркетплейсов? или там простые сермяжные интернет-магазины живут попроще?
Андрей [aharito] Харитонов
14
@FAssembler ты много с формами работал, как цикл обработки сообщений от окошек надо делать, чтобы IsDialogMessage не ломал ввод в эдиты и навигация по табам работала?
The Bird of Hermes
8
Карта сайта