[personal profile] 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

Date: 12 January 2018 14:07 (UTC)
From: [personal profile] bamalip
Вопрос возник. Есть сейчас какие-то индустриальные стандарты для синтаксиса лямбда выражений? Или каждый пишет, как хочет?

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

Date: 12 January 2018 15:56 (UTC)
From: [personal profile] bamalip
"λxyz.M" Барендрегта

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

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

Most Popular Tags

November 2018

S M T W T F S
    123
45678 910
11121314151617
18192021222324
252627282930 
Powered by Dreamwidth Studios