Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
lomeo
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Recycled Bin
(Reply)
no subject
Date:
2007-12-06 01:18 pm (UTC)
From:
thesz.livejournal.com
Подумал, подумал, и пришел к выводу, что можно делать допущение, подобное a = pure a'.
Таким образом ты просто конструируешь значение a :: Applicative f => f a. То есть, вкладываешь вычисление значения a' внутрь f, а это по другому сделать нельзя.
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
Profile
Dmitry Antonyuk
Navigation
Recent Entries
Archive
Reading
Tags
Memories
Profile
April
2024
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
29
30
Most Popular Tags
equational reasoning
-
3 uses
fp
-
10 uses
haskell
-
54 uses
java
-
4 uses
lazy evaluation
-
3 uses
lisp
-
3 uses
mac
-
1 use
parsec
-
1 use
scala
-
3 uses
sql
-
2 uses
youtube
-
9 uses
анекдот
-
9 uses
вопрос
-
3 uses
дзен
-
2 uses
доказательство
-
1 use
женщины
-
4 uses
задачка
-
6 uses
здорово
-
53 uses
игры
-
7 uses
картинка
-
7 uses
катаморфизм
-
3 uses
комбинаторная логика
-
3 uses
лытдыбр
-
12 uses
лямбда-исчисление
-
2 uses
математика
-
1 use
монад-трансформеры
-
3 uses
монады
-
9 uses
непонятно
-
2 uses
новость
-
3 uses
оптимизация
-
2 uses
паттерн-матчинг
-
5 uses
перевод
-
3 uses
помню
-
3 uses
понты
-
3 uses
программирование
-
58 uses
рекурсия
-
5 uses
слова
-
10 uses
смешно
-
46 uses
сон
-
4 uses
структуры данных
-
3 uses
стёпка
-
7 uses
типы
-
17 uses
токипона
-
3 uses
топы
-
1 use
упс
-
7 uses
утиль
-
9 uses
функции высшего порядка
-
2 uses
цитата
-
1 use
шахматы
-
3 uses
языки
-
2 uses
Style Credit
Base style:
Heads Up
by
momijizuakmori
Theme:
A Brighter View
by
zaluzianskya
and
skylark_photos
Expand Cut Tags
No cut tags
Page generated Jul. 22nd, 2025 05:13 pm
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
zaluzianskya and ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
no subject
Date: 2007-12-06 01:18 pm (UTC)Таким образом ты просто конструируешь значение a :: Applicative f => f a. То есть, вкладываешь вычисление значения a' внутрь f, а это по другому сделать нельзя.