Bitcoin Proof of Work in Pure Lambda Calculus

[codedot]

From command line to MLC:

$ npm i -g @alexo/lambda
└── @alexo/lambda@0.3.6

$ node work2mlc.js getwork.json 381353fa | tee test.mlc
Mid = x: x
        hex(24e39e50)
        hex(1efebbc8)
        hex(fb545b91)
        hex(db1ff3ca)
        hex(a66f356d)
        hex(7482c0f3)
        hex(acc0caa8)
        hex(00f10dad);

Data = x: x
        hex(a7f5f990)
        hex(fd270c51)
        hex(378a0e1c);

Nonce = hex(381353fa);

Zero32 (Pop 8 (RunHash Mid Data Nonce))
$ lambda -pem lib.mlc -f test.mlc
3335648(653961), 17837 ms
v1, v2: v1
$ 

https://gist.github.com/codedot/721469173df8dd197ba5bddbe022c487

Comments

[bamalip]

Вопрос возник. Есть сейчас какие-то индустриальные стандарты для синтаксиса лямбда выражений? Или каждый пишет, как хочет?

Меня, в принципе, типизированная лямбда больше интересует, а Вас наоборот.

[codedot]

Стандартной записью λ-выражений считается та, что у Барендрегта: переменные x, y, z..., абстракция λx.M, несколько переменных сокращенно пишут λxyz.M, аппликация без лишних скобок M N, приоритет у абстракции, аппликация лево-ассоциативна, термы обозначают заглавными буквами M, N, P или Q, почти все остальные заглавные латинские, а также заглавные и строчные греческие буквы заняты либо комбинаторами, либо другими конструкциями.

(Если вопрос на самом деле был о безымянных функциях в языках программирования, то там кто во что горазд. Например, в MLC я выбрал синтаксис близкий к Python, убрав лишние скобки у аппликации, а также слово lambda.)

[bamalip]

"λxyz.M" Барендрегта

нет, это же про математику, а я про "индустриальный" спрашивал. там сразу буква лямбда под вопросом, ибо юникод, переменные обязательно многобуквенные и т.д.

прочие языки общего назначения - это понятно, что в каждом свое. но тех в языках много чего, помимо лямбда абстракций обычно есть. а выделенного синтаксиса, состоящего только из лямбды, как я понял, так и не получилось стандартизировать. т.е. чтобы была отрасль "индустриальных лямбда-вычислителей" и стандартизированный синтаксис был языком обмена данных. жаль.