martyalain

10 ms·

91.
Three steps towards a computing language(lambdaway.free.fr)
1 points by martyalain 4y ago|7 comments
92.
by martyalain 4y ago
{{tree} {li {details open {summary Giant planets} {ul {li {details close {summary Gas giants} {ul {li Jupiter} {li Saturn} }}} {li
93.
by martyalain 4y ago
Cool Kate and thank you for this smart code. You could have a look to your code rewritten in my small lambdaway project : http://lambdaway.free.fr/lambdawalks/?view=viewing_trees
94.
Show HN: Evaluating nested expressions using one regexp(lambdaway.free.fr)
1 points by martyalain 4y ago|0 comments
95.
by martyalain 4y ago
Cool! Using lambdatalk you can do it as well: 1) {def b.i.u {lambda {:s} {b {i {u :s}}}}} 2) {b.i.u hello world} 3) {b.i.u anything sequence of s-expressions ...} And how do you sexpcode more complex things like: - http:&#
96.
by martyalain 4y ago
It's said that the father of LISP, John McCarthy, the father of LISP, 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. » Fo
97.
by martyalain 4y ago
Cool!
98.
Could lambda-scratch be good for kids?(lambdaway.free.fr)
7 points by martyalain 4y ago|1 comments
99.
by martyalain 4y ago
I think that kids are able to jump the gap between images and text, between colored blocks and pure text inside parentheses, their imagination doing the rest. I even think that writing code is much better than drag & dropping blocks, th
100.
by martyalain 4y ago
It's said that 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. » The {lambda way} proje
101.
by martyalain 4y ago
It's said that 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. » The {lambda way} proje
102.
by martyalain 4y ago
It's said that 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. » The {lambda way} proje
103.
by martyalain 4y ago
Thank you, everything starts in this page http://lambdaway.free.fr/lambdawalks
104.
by martyalain 4y ago
The wiki way is not bad: http://lambdaway.free.fr/lambdawalks/?view=pub
105.
by martyalain 4y ago
About "We just need to make the syntax a little more human", see for instance http://lambdaway.free.fr/lambdawalks/?view=sierpinsky4
106.
by martyalain 4y ago
@thrown: This makes programming with multivariable functions very clean but partial application incredibly messy In lambdatalk the implementation of lambdas does not make them closures (no free variables) but is such that they accept de fac
107.
by martyalain 4y ago
yes, I hadn't noticed that. I wish I could understand him better.
108.
by martyalain 4y ago
Thank you so much for these links, a lot to learn ...
109.
by martyalain 4y ago
Every time I try to understand what category theory is, I hit an impassable wall, I don't understand it. Alexander Grothendieck is much too intelligent for me. But I don't despair of getting there one day...
110.
by martyalain 4y ago
My first goal was to write in a wiki using a light and extended HTML. I then discovered LISP and lambda-calculus. I built an "inverted" evaluator working directly on s-expressions (without AST), ignoring words (which therefore did
111.
by martyalain 4y ago
I agree with you, but so far I have never been able to get into the logic of de Bruijn's clues. As for example John Tromp knows how to do. ( https://tromp.github.io/ ) But I don't despair of getting there one day...
112.
by martyalain 4y ago
I agree with you, but so far I have never been able to get into the logic of de Bruijn's clues. As for example John Tromp knows how to do. ( https://tromp.github.io/ ) But I don't despair of getting there one day...
113.
by martyalain 4y ago
I thought the same thing for a long time, I found s-expressions very elegant. Then I discovered lambda-calculus, with its scary syntax but based on a process I could understand, text-rewriting. So I had the idea to explore the lambda-calcul
114.
by martyalain 4y ago
So did I, for instance here: http://lambdaway.free.fr/lambdawalks/?view=concepts When I discovered that I could forget the cons, car, cdr of LISP and rebuild them from the ground, the lambda-calculus, a very basic &quo
115.
by martyalain 4y ago
Yes you can. Follow explanations in http://lambdaway.free.fr/lambdawalks . The evaluator is written in javascript and the editor is just PHP. You can freely download from http://lambdaway.free.fr/lambdawalks
116.
by martyalain 4y ago
since I discovered this presentation I can't do without it, especially on a tablet or smartphone. And on a big screen the zoom effects are amazing...
117.
by martyalain 4y ago
I am not a professional coder, just an amateur. Following the example of LISP, and even lambda-calculus, I was able to build a text editor with a programming language, working on any web browser: http://lambdaway.free.fr/lam
118.
by martyalain 4y ago
It's said that 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. » The {lambda way} proje
119.
Is there a life out of closures?(lambdaway.free.fr)
2 points by martyalain 4y ago|1 comments
120.
by martyalain 4y ago
Exploring a number of concepts at the base of a programming language I discovered that it was possible to do without "closures", whatever their indisputable interest. * http://lambdaway.free.fr/lambdawalks/ *

More ›