ЖК
Очепятка
Товарищи, вопрос по соответствию Карри-Говарда и типам n-ранга.
(a -> b) ≅ |b|^|a|, но какому числу изоморфно (forall a. a -> a), например?
Size: a a a
2021 March 23
к
гугли про йонеду
ЖК
гугли про йонеду
Охх... Всё-таки она меня нашла 😅
Спасибо.
Спасибо.
ЖК
Я догадываюсь, что это будет изоморфно не числу, а функции 👀
K
Я догадываюсь, что это будет изоморфно не числу, а функции 👀
Мне кажется, что функций типа
forall a. a -> a ровно одна[
Я тут прочёл про линзы (минимальный пример, который просто показывает, что это вобоще такое).
Получается, это средства, реализованные чисто на уровне кода?
Получается, это средства, реализованные чисто на уровне кода?
c
Да, на хитром использовании функторов
[
ясно-понятно
c
Одна из причин, почему не надо думать, что функтор — это контейнер с чем-то внутри
c
Потом придется разочаровываться
[
Блин, а почему бы хаскелю не брать идеи с С++ на тему ассимиляции в стд сторонних библиотек (вспоминаем boost, из которого состоит половина стд)? Асфальтировать тропинки, так сказать. Я просто вижу кучу классных либ на хаскеле, которые фактически являются стд, но при этом остаются сторонними пакетами.
ЖК
certifiable fleece
Да, на хитром использовании функторов
А если конкретнее, то на профункторах, так ведь? 👀
c
А если конкретнее, то на профункторах, так ведь? 👀
Не надо пугать людей еще сильнее :(
к
А если конкретнее, то на профункторах, так ведь? 👀
на самом деле все зависит от реализации
к
1. van Laarhoven, они же кметовские - на траверсалах, в которых с помощью констрейнтов выводится желаемое поведение (Functor - линза, аппликатив - траверсал, профунктор вместо стрелки - призма). Это самая популярная реализация, можно найти в lens
2. профункторные
3. рекорды из { [get], [set], [toList], ... }
2. профункторные
3. рекорды из { [get], [set], [toList], ... }
K
Блин, а почему бы хаскелю не брать идеи с С++ на тему ассимиляции в стд сторонних библиотек (вспоминаем boost, из которого состоит половина стд)? Асфальтировать тропинки, так сказать. Я просто вижу кучу классных либ на хаскеле, которые фактически являются стд, но при этом остаются сторонними пакетами.
Зачем делать монолит-то?
c
Блин, а почему бы хаскелю не брать идеи с С++ на тему ассимиляции в стд сторонних библиотек (вспоминаем boost, из которого состоит половина стд)? Асфальтировать тропинки, так сказать. Я просто вижу кучу классных либ на хаскеле, которые фактически являются стд, но при этом остаются сторонними пакетами.
Сейчас это и обсуждается наконец