danidiaz

24 ms·

181.
by danidiaz 10y ago
> I had a quick look at Hackage and noticed that someone already has written a parser for Java in Haskell The author of "corrode"[1] wrote it in Haskell because there already was a C parser available. As always, the importance
182.
by danidiaz 10y ago
For Windows, "HyperHaskell" was recently announced: https://github.com/HeinrichApfelmus/hyper-haskell It's not an IPython kernel, and nowhere as full-featured, but it looks interesting.
183.
by danidiaz 10y ago
There's also North Korea's "Songbun" https://en.wikipedia.org/wiki/Songbun although it seems more coarse-grained than a numeric score.
184.
by danidiaz 10y ago
Some basic notions of folds/unfolds, algebraic data types and recursion schemes are great to have, I think.
185.
by danidiaz 10y ago
In his book "Abroad: British Literary Traveling between the Wars" [1] historian Paul Fussell devotes a whole chapter to "The Passport Nuisance": > As a fixture of the european scene since 1915, the passport now seems
186.
by danidiaz 10y ago
Sometimes, wondering if your type is an example of some particular abstraction can reveal unexpected useful operations, when you fill in the gaps. For example, there's a Haskell library that defines a type called "Fold a b" [
187.
by danidiaz 10y ago
In her book "Addiction by Design: Machine Gambling in Las Vegas" [1] Natasha Dow Schüll also calls "the zone" the trance-like state of mind addicted players strive to prolong. Like in programming, it is a state of mind d
188.
by danidiaz 10y ago
I think one benefit is facilitating "getting to grips" with new code, much like design patterns in a way. Of course, this requires familiarity. If someone tells you something is a "monoid", you instantly know that the so
189.
by danidiaz 10y ago
For a conservative list of "essential plugins", see https://www.vi-improved.org/plugins/ "surround" and "targets" are indispensable for me.
190.
by danidiaz 10y ago
Newbie question: if one is not interested in extracting programs, but only in proving stuff, is a proof assistant like Isabelle/HOL easier to use than one based on constructive logic like Coq?
191.
by danidiaz 10y ago
Translating that Makefile to Shake http://shakebuild.com/ would be a good Shake learning project...
192.
by danidiaz 10y ago
Servant can do HTTP but it's more of a library for REST APIs.
193.
by danidiaz 10y ago
> Define true as a lambda taking two lazy values that returns the first, and false as one that returns the second, and you can turn all booleans into lambdas with no increase in code clarity. This is trivially true, any datatype can be e
194.
by danidiaz 10y ago
It seems that no mammal has developed this strategy, at least for defense purposes: https://en.wikipedia.org/wiki/Eyespot_(mimicry)
195.
by danidiaz 10y ago
If fake eyes on butts are so useful, why didn't they evolve by themselves?
196.
by danidiaz 10y ago
Yes, that seems to be the syntax used by literate markdown https://ghc.haskell.org/trac/ghc/wiki/LiterateMarkdown
197.
by danidiaz 10y ago
That's an impressive use of literate programming. By coincidence, I had just read this post by John D. Cook "Literate programming: presenting code in human order" http://www.johndcook.com/blog/2016/0
198.
by danidiaz 10y ago
I recently learned about the book "Beyond Timbuktu" http://www.hup.harvard.edu/catalog.php?isbn=9780674050822 but still haven't read it. It seems a good introduction to the subject.
199.
by danidiaz 10y ago
There's an alternative implementation based on profunctors, discussed here: https://pay.reddit.com/r/haskell/comments/4poiq5/phil_freema... "lens" can be complex, but it also makes an effo
200.
by danidiaz 10y ago
> xmonad, pandoc, git-annex are what come to mind and very little else. There's also PostgREST: http://postgrest.com/
201.
by danidiaz 10y ago
> All your interacting components still depend intimately on each other's behavior. The behavior is not fully captured by the interface - if it was, it wouldn't be an interface, it would be an implementation. Many interfaces co
202.
by danidiaz 10y ago
See also this old EconTalk interview: http://www.econtalk.org/archives/2008/01/munger_on_the_n.htm...
203.
by danidiaz 10y ago
I find Applicatives very useful. Applicative computations have effects and return a value. They can be combined but only in a restricted way that ensures that the effects of one of the computations do not depend on the value returned by ano
204.
by danidiaz 11y ago
Sorry, dumb joke. Mahayana Buddhism is also known as "big vehicle" or "great vehicle" Buddhism.
205.
by danidiaz 11y ago
classy-prelude is a "Big Vehicle Prelude", that is, a Mahayana Prelude.
206.
by danidiaz 11y ago
An interesting aspect of Haskell is that it tries really really hard to avoid subtyping, relying instead on other mechanisms. This talk by Simon Peyton Jones touches on it from minute 40 onwards: https://imperial.cloud.panopto.eu
207.
by danidiaz 11y ago
> while I think the anti-foundational one implies liberal democracy. With Heidegger a notable exception.
208.
by danidiaz 11y ago
It helped, thanks!
209.
by danidiaz 11y ago
Where can I find an expansion of the intuitive explanation given for integrating factors? > It is of the utmost importance to explain the relation between the solutions of the differential equation and the solutions of the system. The so
210.
by danidiaz 11y ago
There are a few Mark Twain audiobooks there that are quite good.

More ›