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
Binary Lambda Calculus and Combinatory Logic
Binary Lambda Calculus and Combinatory Logic
Sep
.
24th
,
2016
11:26 pm
xacid
https://tromp.github.io/cl/LC.pdf
Flat
|
Top-Level Comments Only
no subject
Date:
2016-09-24 10:15 pm (UTC)
From:
juan-gandhi.livejournal.com
Офигеть.
no subject
Date:
2016-09-24 10:29 pm (UTC)
From:
maxim.livejournal.com
Аппликативный базис Шонфинкеля: Хватит и 263 байт!
no subject
Date:
2016-09-25 10:03 am (UTC)
From:
http://users.livejournal.com/_xacid_/
не 263 байт! 263
бит
! :)
а для лямбд хватит и еще меньше - всего 210 бит :)
no subject
Date:
2016-09-26 03:22 pm (UTC)
From:
maxim.livejournal.com
Классная тема, можно пилить на сишечке байтойобский интерпретатор.
4 comments
Reply
Flat
|
Top-Level Comments Only
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
comonad
-
1 use
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
iteratee
-
1 use
java
-
30 uses
js
-
1 use
jvm
-
2 uses
kan
-
2 uses
macos
-
1 use
monad reflection
-
1 use
oop
-
1 use
os
-
1 use
profunctors
-
1 use
pts
-
1 use
rust
-
2 uses
scala
-
34 uses
scala haskell
-
2 uses
scala scalaz monads
-
1 use
scalaz
-
1 use
ski
-
6 uses
spark
-
1 use
y
-
1 use
адвайта
-
1 use
жесть политика
-
1 use
и_не_поспоришь
-
1 use
идиоты
-
1 use
ненавижу
-
1 use
ненавижу политику
-
1 use
новости
-
2 uses
норма жизни
-
1 use
нуачо
-
1 use
п-ц
-
2 uses
польша
-
1 use
понятно кто
-
1 use
программирование
-
1 use
типы
-
1 use
фаллоимитация
-
1 use
фьючеры
-
1 use
Page Summary
juan-gandhi.livejournal.com
-
(no subject)
maxim.livejournal.com
-
(no subject)
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jun. 24th, 2025 01:51 pm
Powered by
Dreamwidth Studios
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasuretimeasmymeasure
no subject
Date: 2016-09-24 10:15 pm (UTC)no subject
Date: 2016-09-24 10:29 pm (UTC)no subject
Date: 2016-09-25 10:03 am (UTC)а для лямбд хватит и еще меньше - всего 210 бит :)
no subject
Date: 2016-09-26 03:22 pm (UTC)