Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
xacid
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
xacid
(Reply)
no subject
Date:
2020-05-14 05:44 pm (UTC)
From:
sassa_nf
Not convinced.
((α → β) → α) → α is not problematic. ((α → β) → α) → α comparison to ((α → ⊥) → ⊥) → α is problematic. For example, where will call-cc get α from? How do they get call-cc return type is α? Why is it not ((α → ⊥) → ⊥) → ⊥? (Not problematic again)
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
xacid
Recent Entries
Archive
Reading
Tags
Memories
Profile
April
2021
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
cat
-
10 uses
categories
-
17 uses
cats
-
2 uses
compilers
-
1 use
continuations
-
56 uses
coroutines
-
4 uses
dotty
-
8 uses
dsl
-
2 uses
effects
-
22 uses
fp
-
91 uses
fp haskell
-
1 use
fp java
-
3 uses
frp
-
2 uses
haskell
-
9 uses
java
-
30 uses
js
-
1 use
jvm
-
2 uses
kan
-
2 uses
logic
-
1 use
macos
-
1 use
monad
-
1 use
monad reflection
-
1 use
os
-
1 use
quants
-
1 use
rust
-
2 uses
scala
-
34 uses
scala haskell
-
2 uses
scala scalaz monads
-
1 use
scalaz
-
1 use
shit cake pattern
-
1 use
sk
-
1 use
ski
-
6 uses
spark
-
1 use
stg
-
1 use
адвайта
-
1 use
акторы
-
1 use
днр чечня
-
1 use
и_не_поспоришь
-
1 use
идиотизм
-
1 use
идиоты
-
1 use
импредикативность
-
1 use
ненавижу политику
-
1 use
новости
-
2 uses
п-ц
-
2 uses
польша
-
1 use
понятно кто
-
1 use
программирование
-
1 use
типы
-
1 use
фп зп
-
1 use
фьючеры
-
1 use
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jul. 27th, 2025 10:30 am
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2020-05-14 05:44 pm (UTC)((α → β) → α) → α is not problematic. ((α → β) → α) → α comparison to ((α → ⊥) → ⊥) → α is problematic. For example, where will call-cc get α from? How do they get call-cc return type is α? Why is it not ((α → ⊥) → ⊥) → ⊥? (Not problematic again)