rbonvall

16 ms·

121.
by rbonvall 8y ago
I don't know if this helps, but the way I see lambda calculus works is that you assemble one expression in which you build all the things you need and then evaluate it to yield a result. After that, everything vanishes from existence.
122.
by rbonvall 8y ago
Yes, that's how it's introduced in the original.
123.
by rbonvall 8y ago
It is exactly that: you can simulate a Turing machine using lambda calculus and vice versa. But the variable substitution schemes you mention are not complex at all. The main rule is beta-reduction, which is really simple: just replace all
124.
by rbonvall 8y ago
I took the liberty of converting this to LaTeX: https://www.overleaf.com/read/vbnkshcwhcyk
125.
by rbonvall 8y ago
I cruised through most of it. But the last three chapters really twisted my brain (continuations, the Y combinator, and the metacircular interpreter). I was familiar with the concepts, but figuring out the programs by myself was a tough exe
126.
by rbonvall 8y ago
JavaScript is a minefield of unexpected behavior when you try things like this. Besides the issue with this-binding already mentioned in the thread, there are other examples of weird stuff that happens when you don't introduce an appar
127.
by rbonvall 8y ago
That doesn't hold for modern orthography though. Two consecutive ns (e.g. in words innato and perenne ) are not pronounced as ñ.
128.
by rbonvall 8y ago
I know a couple of guys that would probably implement isLeap by checking that the lower two bits of the year are not set, then boast about how fast it was, and finally, when told that the logic was incorrect, push back because the additiona
129.
by rbonvall 8y ago
It's Scribble, Racket's documentation tool.
130.
by rbonvall 8y ago
Another name for the sport in Spanish is "balompié", which comes from "balón" (ball) and "pie" (foot), but it's rarely used.
131.
by rbonvall 8y ago
Ironically, the article is dated "Spring 2018", which for half the planet doesn't happen yet :)
132.
by rbonvall 8y ago
The svg is simple and the coordinates are round numbers, so they were probably hand-written: <svg class='svgDiagram center' width="300" height="120" viewBox="-15 0 285 120"> <defs
133.
by rbonvall 8y ago
Take a look at this paper that explores the idea: https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/a...
134.
by rbonvall 8y ago
In some languages you don't give field names, just types. You bind fields to names only when pattern matching. For example in Haskell: type Year = Int type Month = Int type Day = Int -- fields have no names, just typ
135.
by rbonvall 8y ago
The equivalent in vim is: • qq to start recording a macro in register q, • w to jump to the second word, • gUaw to "go uppercase a word", • j to move to next line (↓ works as well), • q to stop recording, • 5@q to apply macro in r
136.
by rbonvall 8y ago
The examples in the repo are all ES5. Does someone know if it supports ES6? There's no mention in the article.
137.
by rbonvall 9y ago
And it sounds like it's identically awful ergonomics.
138.
by rbonvall 9y ago
I'm sure he means `val` as in Scala, where it is used to define a name that cannot be rebound: val x = 1 var y = 2 x = 3 // compile error y = 4 // ok It makes it easier to read code sinc
139.
Mill: Better Scala Builds(lihaoyi.com)
5 points by rbonvall 9y ago|0 comments
140.
The Kolakoski stream(mez.cl)
2 points by rbonvall 9y ago|0 comments
141.
by rbonvall 9y ago
It makes sense. That's a good design decision.
142.
by rbonvall 9y ago
I like this. Unfortunately it's not as semantic as I expected: X +----+XX----------+ | XX | | XX | | +XXX------+ | | XXXXX +-------+ XXX If
143.
by rbonvall 9y ago
Thanks for the tip, this is indeed something I'd be proud of :) I decided arbitrarily to make every post self-contained inside a single HTTP request, and it's nice to see this single decision is already 99% of the job.
144.
by rbonvall 9y ago
Mine is to write at least two articles per month on my blog http://mez.cl/a
145.
A DSL for λ-terms in Scala(mez.cl)
42 points by rbonvall 9y ago|0 comments
146.
Discovering typeclasses in Scala(mez.cl)
2 points by rbonvall 9y ago|0 comments
147.
by rbonvall 9y ago
In Chile we have the acuenta brand, whose packages are almost as plain as you can get: https://i.imgur.com/DeH1KR4.png
148.
by rbonvall 9y ago
Yes it is. For some reason many people strongly believe that the Royal Academy (which oversees the language) forbids the use of accents on capital letters, even when it explicitly claims that this has never been the case: http://
149.
by rbonvall 9y ago
Indeed, there is already a proposal for an enum syntax in dotty that looks almost exactly like that: enum Tree[T] { case Branch(t: Tree[T]) case Leaf(t: T) } https://github.com/lampepfl/dotty&#x
150.
by rbonvall 9y ago
As a native Spanish speaker I'm not aware of any negative connotations of the word bandera . In Spanish it just means "flag", so any other meaning is hard to google for. What am I missing? Just curious.

More ›