Skip to Main Content
xacid (
xacid
) wrote
2016
-
09
-
24
11:26 pm
Entry tags:
fp
Binary Lambda Calculus and Combinatory Logic
https://tromp.github.io/cl/LC.pdf
Threaded
|
Top-Level Comments Only
no subject
juan-gandhi.livejournal.com
2016-09-24 10:15 pm (UTC)
(
link
)
Офигеть.
no subject
maxim.livejournal.com
2016-09-24 10:29 pm (UTC)
(
link
)
Аппликативный базис Шонфинкеля: Хватит и 263 байт!
no subject
http://users.livejournal.com/_xacid_/
2016-09-25 10:03 am (UTC)
(
link
)
не 263 байт! 263
бит
! :)
а для лямбд хватит и еще меньше - всего 210 бит :)
no subject
maxim.livejournal.com
2016-09-26 03:22 pm (UTC)
(
link
)
Классная тема, можно пилить на сишечке байтойобский интерпретатор.
4 comments
Post a new comment
Threaded
|
Top-Level Comments Only
Log in
Account name:
Password:
Remember me
Other options:
Forget your password?
Log in with OpenID?
Close
menu
Log in
Create
Create Account
Display Preferences
Explore
Interests
Directory Search
Site and Journal Search
Latest Things
Random Journal
Random Community
FAQ
Shop
Buy Dreamwidth Services
Gift a Random User
DW Merchandise
Interest
Region
Site and Account
FAQ
Email
no subject
no subject
no subject
а для лямбд хватит и еще меньше - всего 210 бит :)
no subject