LINUX.ORG.RU
ФорумTalks

а в вашем любимом ЯП есть что-то подобное?

 ,


2

4

Прекрасное введение в линзы, отличная статья, с подробными примерами и интересным оформлением, в отличии от скучных статей про монады. Заодно показывает суть хабра:

http://habrahabr.ru/post/189712/

а в вашем любимом ЯП такое есть?

затравка для Ъ:

«Если ты хочешь использовать композицию функций, где фунция имеет два аргумента», говорит Шерлок, «тебе нужно (.).(.)!”» «Это похоже на испуганную сову», восклицает Ватсон

Мы так близки к линзам! «Ммм я почти общущаю вкус линз Ватсон» расплывается от счастья Шерлок. «Линзы позволяют тебе выполнять композицию функций, fold и обходы (traversals) вместе. Я чувствую как функторы и fold -ы перемешиваются во рту прямо сейчас!»

★★★★★

Последнее исправление: cetjs2 (всего исправлений: 1)

Ответ на: комментарий от cdshines

Нет, это на самом деле круто и интересно, но я запасаюсь попкорном и жду следующего кризиса оснований :)

Но пока все круто, HoTT — действительно значительный в сторону улучшения теории типов

buddhist ★★★★★
()
Последнее исправление: buddhist (всего исправлений: 1)
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.