freyrs3

15 ms·

91.
by freyrs3 12y ago
Indeed, if we deferred all type errors and compile failures from Cabal to runtime like Javascript/NPM then nobody would complain about Cabal! I think it's unfortunate that Cabal get's so much unnecessary blame when the proble
92.
by freyrs3 12y ago
Given the fairly nihilistic ending ( You are dead, you are forgotten, there is nothing. ), I sure hope he's OK.
93.
by freyrs3 12y ago
I'm surprised by this statement as well, considering the rather remarkable performance that Warp server[1] has been able to achieve. Writing highly concurrent servers is arguably one of Haskell's biggest strength. 1: http:/&
94.
by freyrs3 12y ago
Whenever "language doesn't matter" or "use the right tool for the job" is used in an argument it's quite often as a thought-terminating cliche used as a post-hoc justification for personal prejudices. I think a
95.
by freyrs3 13y ago
That's like saying that because it's possible that the roof may occasionally leak you shouldn't have a roof over your head at all.
96.
by freyrs3 13y ago
This is most certainly the best advice you can give to someone coming from other languages. I constantly see people I very much respect for their skills in other programming disciplines get very angry and make otherwise irrational rants abo
97.
by freyrs3 13y ago
> There is no common language better than Haskell at encoding invariants in the type system. There are a few uncommon dependently typed ones with code extraction to other languages though. Though doing so is fairly time intensive still.
98.
by freyrs3 13y ago
And again, if you play fast and loose with allocations you always shoot yourself in the foot. Carelessly allocating thunks on the heap is no different from carelessly allocating data in that regard. Haskell won't save you from yourself
99.
by freyrs3 13y ago
You're mischaracterizing a problem that you can encounter in Haskell as being unique to Haskell and intractable. You can leak space in effectively any language and just like in other languages there are tools and conventions to detect
100.
by freyrs3 13y ago
Most people are probably very much in favor of marriage equality, they just draw a different line than you about the role that personal opinions should play in an pluralistic workplace. Let's not conflate the two views here, there&#x27
101.
by freyrs3 13y ago
He said that aiming for 100% code-coverage tests in Haskell is pointless, not that unit-testing itself is pointless. Which I think is a pretty reasonable given that a lot of bugs cannot exist by construction in a lot of Haskell code. Pers
102.
by freyrs3 13y ago
It compiles a sizable portion of GHC Haskell to Javascript. Since it's a general purpose language, the use-cases are basically anything that requires some custom logic to run and interact in the browser.
103.
by freyrs3 13y ago
You're thinking about it from the wrong perspective, the lambda calculus is essentially the equivalent of assembly language for functional programming. The problems you can solve by building abstractions on top of it are infinite, it&#
104.
by freyrs3 13y ago
The lambda calculus is an intellectual framework for the description of computation and logic, just like Newton's calculus forms the basis for a description of physical processes.
105.
by freyrs3 13y ago
This recent trend toward intermingling technology with social activism really scares me. Whether it be slapping a code of conduct on every project under the sun or refusing to support a browser because of some loose affiliation with an disa
106.
by freyrs3 13y ago
Both this and the subsequent text on differential geometry are very good but they are written against this enormous undocumented scheme library (scmutils) that is in my opinion very difficult to debug or figure out how macros expand out.
107.
by freyrs3 13y ago
This strikes me as armchair philosophizing about the nature of programming language design. Programming languages are not intentionally complex in most cases, they're complex because the problems they solve are genuinely hard and not b
108.
by freyrs3 13y ago
In my personal life no I would find it reprehensible, but in my professional life that would depend. If an employee wants to go burn crosses on the weekend with the KKK but comes into work every Monday, and keeps his personal life separate
109.
by freyrs3 13y ago
Marriage equality is important, but a society in which we're able to go to work, do ours jobs and bracket our concerns about the personal lives of our coworkers and bosses is more important than any immediate social issue in the presen
110.
by freyrs3 13y ago
Exactly right, until he demonstrates an inability to bracket his personal affairs from his professional life (which he hasn't done) we as a enlightened pluralistic society should assume good faith and accept that he rose to this positi
111.
by freyrs3 13y ago
Philosophically what's the difference between financially supporting a political cause and voting for leaders which support that cause?
112.
by freyrs3 13y ago
Wiling to bet he'll wait a few days until the buzz settles down and then announce that he's leaving to pursue other work without a mention of why.
113.
by freyrs3 13y ago
> performs some side effects (I/O for instance), What you're describing is the IO monad to first approximation, most monads don't perform side-effects at all ( List, Cont, Maybe, ... ) and the bind operations only performs
114.
by freyrs3 13y ago
I understand what you're saying. My point was largely that I don't think there can be a better name, the English language doesn't have terms that describe abstract concepts like monads well. That's why mathematicians i
115.
by freyrs3 13y ago
Magmas aren't mentioned much in Haskell because they don't have much structure to them, it's just a closed binary operation and typically we'd just refer to them as being subsumed by a Semigroup(oid) or something more co
116.
by freyrs3 13y ago
You characterize the popular startup languages as being "compile-to-JS" to prove that they're all mostly in the family of dynamic scripting languages?
117.
by freyrs3 13y ago
> 90% of starts up do the "latest compile-to-JS language" thing. Sounds like an accurate statistical sampling to me.
118.
by freyrs3 13y ago
The natural order of things is that we have a process in place to create and change government regulation. If someone thinks that process is inflexible or arbitrary doesn't given the prerogative to break the law to get around it.
119.
by freyrs3 13y ago
For most of the students I know it's more like the choice between having to pool resources between classmates and buy the textbook or pirating it and still living on ramen noodles.
120.
by freyrs3 13y ago
Hi Bryan, I know most people know you from your prolific work on many great Haskell libraries ( Criterion, Attoparsec, Aeson, ...). Did Haskell have any role in the development of Hack? Looking at the code base it seems like the type system

More ›