![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
From command line to MLC:
https://gist.github.com/codedot/ 721469173df8dd197ba5bddbe022c487
$ 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/
no subject
Date: 12 January 2018 14:07 (UTC)Меня, в принципе, типизированная лямбда больше интересует, а Вас наоборот.
no subject
Date: 12 January 2018 14:38 (UTC)(Если вопрос на самом деле был о безымянных функциях в языках программирования, то там кто во что горазд. Например, в MLC я выбрал синтаксис близкий к Python, убрав лишние скобки у аппликации, а также слово
lambda
.)no subject
Date: 12 January 2018 15:56 (UTC)нет, это же про математику, а я про "индустриальный" спрашивал. там сразу буква лямбда под вопросом, ибо юникод, переменные обязательно многобуквенные и т.д.
прочие языки общего назначения - это понятно, что в каждом свое. но тех в языках много чего, помимо лямбда абстракций обычно есть. а выделенного синтаксиса, состоящего только из лямбды, как я понял, так и не получилось стандартизировать. т.е. чтобы была отрасль "индустриальных лямбда-вычислителей" и стандартизированный синтаксис был языком обмена данных. жаль.