kind функционального типа

Jan. 23rd, 2008 01:50 pm
lomeo: (лямбда)
[personal profile] lomeo
Prelude> :kind (->)
(->) :: ?? -> ? -> *
Tags:
Flat | Top-Level Comments Only

Date: 2008-01-23 02:44 pm (UTC)
From: [identity profile] kurilka.livejournal.com
Из памяти вылез Карделевский Fun :)

Date: 2008-01-23 02:56 pm (UTC)
From: [identity profile] kurilka.livejournal.com
http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
Правда я так и не дочитал, ТФП быстрее съел мой мозг.

Date: 2008-01-23 02:58 pm (UTC)
From: [identity profile] kurilka.livejournal.com
И заметь неоднозначность формулировки "С точки зрения языка Fun, Fun1 и Fun2", там можно поменять языка на "языков", я сперва так прочёл :)

Date: 2008-01-23 03:00 pm (UTC)
From: [identity profile] lomeo.livejournal.com
:-))

Насчёт Кардели я понял после того, как уже отправил вопрос.

Date: 2008-01-23 03:38 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
:)))
Flat | Top-Level Comments Only

Profile

lomeo: (Default)
Dmitry Antonyuk

Navigation

September 2025

S M T W T F S
 123456
78910111213
14 151617181920
21222324252627
282930    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 27th, 2026 12:12 pm
Powered by Dreamwidth Studios