Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
juan_gandhi
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Observations
Views from Souths
(Reply)
no subject
Date:
2015-03-03 07:43 pm (UTC)
From:
nponeccop.livejournal.com
> в Хаскеле это как раз все одно, что боттом...
не, не всё равно. Определяете instance Num Peano и вперёд, я даже по этому поводу на SO спрашивал
http://stackoverflow.com/q/8474488
Если точнее, проблема не в бесконечных списках, а в отсутствии чисто индуктивных типов, т.е. в отсутствии деления на индуктивные и коиндуктивные типы, как я понимаю.
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
Juan-Carlos Gandhi
patryshev.com
Recent Entries
Archive
Reading
Network
Tags
Memories
Profile
May
2025
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
31
Most Popular Tags
books
-
42 uses
categories
-
59 uses
code sample
-
54 uses
españa
-
48 uses
fp
-
120 uses
france
-
74 uses
haskell
-
68 uses
idiocracy
-
40 uses
idiots
-
40 uses
java
-
111 uses
javascript
-
33 uses
life
-
25 uses
logic
-
38 uses
math
-
25 uses
monad
-
45 uses
monads
-
40 uses
philosophy
-
57 uses
politics
-
25 uses
propaganda
-
27 uses
scala
-
432 uses
types
-
24 uses
wtf
-
26 uses
ахинея
-
168 uses
бля
-
45 uses
вата
-
43 uses
ватоведение
-
126 uses
ватология
-
49 uses
дыбр
-
629 uses
жизнь
-
94 uses
идиоты
-
28 uses
искусство
-
57 uses
истории
-
69 uses
история
-
60 uses
кино
-
78 uses
культура
-
26 uses
литература
-
58 uses
логика
-
26 uses
новости
-
26 uses
политика
-
163 uses
программирование
-
29 uses
пропаганда
-
159 uses
россия
-
28 uses
русоведение
-
33 uses
русофобия
-
115 uses
стихи
-
24 uses
толстой
-
32 uses
фигня
-
27 uses
философия
-
574 uses
франция
-
39 uses
языки
-
26 uses
Active Entries
1:
Шейтельман сегодня особенно хорош.
2:
Бумеры съели наши плюшки
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated May. 25th, 2025 07:02 pm
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-03-03 07:43 pm (UTC)не, не всё равно. Определяете instance Num Peano и вперёд, я даже по этому поводу на SO спрашивал
http://stackoverflow.com/q/8474488
Если точнее, проблема не в бесконечных списках, а в отсутствии чисто индуктивных типов, т.е. в отсутствии деления на индуктивные и коиндуктивные типы, как я понимаю.