Лямбда-куб, статья в русской Википедии
Feb. 27th, 2009 10:52 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Каждый должен посадить дерево, построить дом, воспитать ребенка и написать статью в Википедии.
Критикуйте, если что не так, а ещё лучше правьте прямо там.
Критикуйте, если что не так, а ещё лучше правьте прямо там.
no subject
Date: 2009-02-27 08:30 am (UTC)no subject
Date: 2009-02-27 08:31 am (UTC)no subject
Date: 2009-02-27 08:31 am (UTC)про разрешимость type checking/inference/inhabitation...
no subject
Date: 2009-02-27 08:45 am (UTC)Только из которого Барендрегта? Ссылки нет под рукой, потерял. Вроде в Lambda Calculi with Types нет...
no subject
Date: 2009-02-27 09:44 am (UTC)no subject
Date: 2009-02-27 09:46 am (UTC)Но это же не с куба системы - они карриевские, а на кубе черчевские.
(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2009-02-27 09:15 am (UTC)Надо такие кубики для детей выпускать. Пусть сидят и вместо домиков складывают свои системы типизированного ЛИ.
no subject
Date: 2009-02-27 09:49 am (UTC)no subject
Date: 2009-02-27 11:18 am (UTC)D Int возвращает Int -> Int
D Bool возвращает Bool -> Bool
etc
Кстати на data families это можно как-то задать? Я пишу:
Теперь в GHCi
no subject
Date: 2009-02-27 06:54 pm (UTC)Насчёт лямбда абстракции нет, что-то не понял
Ты не об этом?
в типизированной полиморфной лямбде.
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2009-02-27 04:11 pm (UTC)no subject
Date: 2009-02-27 07:43 pm (UTC)no subject
Date: 2009-02-27 09:31 pm (UTC)no subject
Date: 2009-02-27 09:00 pm (UTC)no subject
Date: 2009-02-27 09:09 pm (UTC)no subject
Date: 2009-02-27 09:11 pm (UTC)Ы? С этого момента поподробнее.
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2009-02-27 09:15 pm (UTC)Кайнды - типы над типами с одним базовым "надтипом" * и одним конструктором (->), да и то последний нужен только если мы допускаем применения типа к типу ( слабую или не очень омегу)
(no subject)
From:(no subject)
From:no subject
Date: 2009-02-27 09:12 pm (UTC)Но вроде это всё покрывается PTSами
no subject
Date: 2009-02-27 09:38 pm (UTC)(no subject)
From:no subject
Date: 2009-02-27 09:12 pm (UTC)no subject
Date: 2009-02-27 09:24 pm (UTC)no subject
Date: 2009-02-27 09:36 pm (UTC)Э-э-э... То есть, ghc 6.10 не работает?
(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2009-02-27 09:36 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:Ну и кубик у вас :)
Date: 2009-05-03 03:45 pm (UTC)Re: Ну и кубик у вас :)
Date: 2009-05-04 12:52 pm (UTC)