martyalain

8 ms·

31.
by martyalain 2y ago
When you see the complex machinery developed in Brython and How-Brython-works, transposing into javascript the Python code with one more syntax to digest, we could still hope for a direct approach based on the javascript engine that works b
32.
A pocket calculator using lambdatalk vs. Python(lambdaway.fr)
2 points by martyalain 2y ago|1 comments
33.
by martyalain 2y ago
An other approach can be seen in http://lambdaway.fr Thank you for your opinion. Alain Marty
34.
A code is a system of transcription rules(lambdaway.fr)
2 points by martyalain 2y ago|1 comments
35.
by martyalain 2y ago
Hello John, As explained in this page - http://lambdaway.fr/workshop/?view=coding the lambdatalk evaluator is built so that: 3) lambdas are special forms evaluated to a single word - a function's reference a
36.
Looking for Tu(lambdaway.fr)
3 points by martyalain 2y ago|2 comments
37.
by martyalain 2y ago
Very well done, thanks. For the fun here is a very slow but minimalistic and easy to understand version of the mandelbrot set algorithm, without the burden of any canvas. Using a small language, lambdatalk, a foreign dialect of lambda-calcu
38.
Computing Fibonacci(100) at lambda-calculus level(lambdaway.fr)
3 points by martyalain 2y ago|1 comments
39.
by martyalain 2y ago
The goal is to build some efficient binary arithmetic at the λ-calculus level, using one of its little dialects, lambdatalk, using nothing but two special forms, (lambda & def), no data or control structures - if then else doesn't
40.
by martyalain 2y ago
I learned that all programming languages come from the lambda calcul, created in the 30s, ten years before the computer era, a simple text rewriting machine using nothing but 2 operators, abstraction and application, working on a sea of wor
41.
Λ-calculus using binary numbers of variable length(lambdaway.fr)
14 points by martyalain 2y ago|2 comments
42.
by martyalain 2y ago
The goal is to build some efficient binary arithmetic at the λ-calculus level, that is to say using a reduced set of lambdatalk functionalities, two special forms, lambda and def, no data or control structures - if then else doesn't ex
43.
Lambda_calculus revisited for dummies (like me)(lambdaway.fr)
1 points by martyalain 2y ago|1 comments
44.
by martyalain 2y ago
In order to explore some of λ-calculus expressions - ie to actually compute algorithms in realtime - we will rewrite them using the lambdatalk language, working in a wiki, lambdatank, built on top of any modern web browser.
45.
by martyalain 2y ago
I discovered LISP late in life. For a long time, I didn't understand it at all, and reading that LISP was the most natural, the clearest and the most beautiful of all languages didn't help. Until I discovered that LISP was a diale
46.
by martyalain 3y ago
The father of LISP, John McCarthy, lamented the W3C's choice of SGML as the basis for HTML : « An environment where the markup, styling and scripting is all s-expression based would be nice. » Answers like BBcode or SexpCode solve part
47.
Show HN: A text editor with a programming language(lambdaway.free.fr)
6 points by martyalain 3y ago|1 comments
48.
Show HN: Lambda-Calculus at a Glance(lambdaway.free.fr)
1 points by martyalain 4y ago|0 comments
49.
by martyalain 4y ago
Thanks to browsers and wikis you can read code, edit it and see result in real time: http://lambdaway.free.fr/lambdawalks/ , http://lambdaway.free.fr/lambdawalks/?view=janus
50.
by martyalain 4y ago
Cool. Could your irregular expressions take something interesting from the Johnathan's snippet recalled in this wiki page http://lambdaway.free.fr/lambdawalks/?view=levithan ?
51.
by martyalain 4y ago
Very interesting, thank you for sharing. As an architect I used grids to help me drawing everythings, a mix of feets and inches, close to the MODULOR "invented" by Le Corbusier, a french architect. You could see here: http:&#x2F
52.
by martyalain 4y ago
The λ-calculus created in the 30s by Alonzo Church, ten years before the era of computers, is a small formal language theoretically allowing to build any algorithm one can think of. As any other language its implementation on a computer sup
53.
A side glance at lambda-calculus(lambdaway.free.fr)
4 points by martyalain 4y ago|1 comments
54.
by martyalain 4y ago
So did I for http://lambdaway.free.fr/lambdawalks/?view=concepts and http://lambdaway.free.fr/lambdawalks/?view=divine_recursion .
55.
by martyalain 4y ago
This kind of insult can only come from a completely smug and stupid guy. Taking a text out of its context, not guessing the humour I was putting in it and deducing from it that I'm crazy to be cured doesn't make you any better. I
56.
by martyalain 4y ago
Not at all, I'm speaking of the button at the top-right corner of the document window, not the browser's one, sorry. I understand now that the horizontal display mode is boring for lot of people and I changed the default display t
57.
by martyalain 4y ago
Interesting comments. I retain three points: 1) Regarding the form: I am surprised that the presentation in small columns juxtaposed horizontally is so confusing to many. It seems to me that this is the strength of spreadsheets, displaying
58.
by martyalain 4y ago
Got it :)
59.
by martyalain 4y ago
If the visual chaos irritates you, click on the [vertical] button at the top right of the browser window and it might get better.
60.
by martyalain 4y ago
http://lambdaway.free.fr/lambdawalks/ http://lambdaway.free.fr/lambdawalks/?view=concepts http://lambdaway.free.fr/lambdawalks/?view=divine_recursion http://lambda

More ›