deniok | (Reply)

You're viewing

deniok's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

From:

deni-ok.livejournal.com

Дело не в типизации. В выражении (s' . id) . s, если его развернуть в лямбду, по-прежнему будут три свободные переменные. А в правой части - в id - свободных переменных нет:

id = \x -> x

То есть

id 42              ~> 42
((s' . id) . s) 42 ~> хрена лысого :)

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message

Profile

deniok

February 2022

S	M	T	W	T	F	S
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28

Most Popular Tags

agda - 15 uses
bananas in space - 3 uses
coq - 7 uses
cs club - 3 uses
curry-howard - 2 uses
dependent types - 7 uses
epigram - 3 uses
formal proofs - 2 uses
fp - 72 uses
fprog - 44 uses
free theorems - 3 uses
ghc - 9 uses
haskell - 78 uses
lambda calculus - 16 uses
language design - 2 uses
lens - 2 uses
logic - 2 uses
repost - 3 uses
rsdn - 2 uses
ruwiki - 2 uses
spbhug - 5 uses
system f - 2 uses
type theory - 13 uses
typed lambda - 8 uses
википедия - 2 uses
вопрос - 2 uses
встреча - 2 uses
выборы - 8 uses
жж - 4 uses
задачка - 5 uses
здорово - 4 uses
красота - 3 uses
математика - 3 uses
наблюдения за природой - 2 uses
перевод - 2 uses
петербург - 2 uses
пиар - 2 uses
политика - 10 uses
рабочее - 3 uses
ржунимагу - 2 uses
сборник задач и упражнений по матлогике - 2 uses
сборник задач и упражнений по хаскелю - 25 uses
смешно - 7 uses
теория категорий - 2 uses
тест - 2 uses
тесты - 2 uses
фальсификации - 3 uses
функциональное программирование - 2 uses
языки программирования - 2 uses
яхта - 2 uses

Style Credit

Style: Cloudy Days for Ciel by carisma_sensei

Expand Cut Tags

No cut tags

Page generated Jun. 20th, 2025 02:19 am

Powered by Dreamwidth Studios