6
ответов
Что самые интересные эквивалентности являются результатом Изоморфизма Карри-Говарда?
Я натолкнулся на Изоморфизм Карри-Говарда относительно поздно в моей жизни программирования, и возможно это способствует тому, что я был крайне очарованным им. Это подразумевает это для каждой концепции программирования там...
вопрос задан: 3 June 2010 22:18
2
ответа
Вопрос о логике и корреспонденции Карри-Howard
Вы могли объяснить меня, каково основное соединение между основными принципами логического программирования и явлением синтаксического подобия между системами типов и стандартной логикой?
вопрос задан: 17 May 2010 07:51
0
ответов
Построение эффективных экземпляров монады в `Set` (и других контейнерах с ограничениями) с использованием монады продолжения
Set, подобно [], имеет совершенно определенные монадические операции. Проблема в том, что они требуют, чтобы значения удовлетворяли ограничению Ord, и поэтому невозможно определить return и > > = без ...
вопрос задан: 29 August 2012 17:49
0
ответов
Я не могу заставить свой динамический тип на основе GADT -работать с параметрическими типами
. Итак, чтобы помочь мне понять некоторые из более продвинутых функций и концепций Haskell/GHC, я решил взять работающую реализацию динамически типизированных данных на основе GADT -и расширить ее, чтобы охватить...
вопрос задан: 11 June 2012 18:09
0
ответов
Изоморфизм Карри-Ховарда
Я поискал в Интернете и не смог найти никаких объяснений CHI, которые не превращались бы быстро в лекцию по теории логики, которая совершенно непосильна для меня. (Эти люди говорят так, как будто «...
вопрос задан: 18 April 2012 23:58