freyrs3

23 ms·

181.
by freyrs3 13y ago
> This is a problem with functional programming in general, it is fundamentally anti-human I would argue that the "anything goes" dynamic procedural languages ( like Ruby, Python ) are far more anti-human, in that human ability
182.
by freyrs3 13y ago
What would objectively define "readability"? I hear this word thrown around a lot without much thought given to what it means. As far as I can tell whether a person considers a language "readable" is really only correlat
183.
by freyrs3 13y ago
Theory aside, it would seem natural that a language that doesn't enforce 1-argument functions would have n-argument functions. Seems like the only logical two choices on the matter. Where does the cargo-cult in this decision come in?
184.
by freyrs3 13y ago
I don't understand why there is there a connection between syntax choice and cargo cult design? If anything syntax is the most solved part of language design.
185.
by freyrs3 13y ago
Considering there's an entire academic discipline of programming theory I strongly disagree with the description of language design as "cargo-cultism".
186.
by freyrs3 13y ago
Why is Haskell different than any other high level language in this regard? All high level languages make compromises between expressivity and performance. If you want to code really close to the metal, C exists and you know where to find i
187.
by freyrs3 13y ago
Elisp is bad, but not nearly as bad as vimscript.
188.
by freyrs3 13y ago
Nation states are not people.
189.
by freyrs3 13y ago
This is really only a step away from Dickens-esque statements. "Then maybe they should die and decrease the surplus population."
190.
by freyrs3 13y ago
Unless you pay for the special privilege by making deals with Apple behind closed doors, as most of the banking apps do. The terms of service hardly apply evenly to all applications.
191.
by freyrs3 13y ago
It's humorous that most of the article is not about monads, yet the entire discussion around it is about monads. Seriously, monads are only a small part of Haskell.
192.
by freyrs3 13y ago
Again, jQuery or any arbitrary API is not an monadic until one shows that the monad laws hold for it. It doesn't matter how many people assert it to be true, whether an API is monadic is mechanically provable fact and as of yet there i
193.
by freyrs3 13y ago
While there might be some structural similarity of function chaining to bind operators in Haskell, jQuery isn't a monad. The burden of proof for being a monad is explicitly demonstrating adherence to the monad laws. To quote prolific H
194.
by freyrs3 13y ago
I have a hard time taking Urbit seriously given that the documentation is full of tirades against strawmen of modern programming language theory. When confronted with the arguments the core developer seems to repeatedly fall back on misinte
195.
by freyrs3 13y ago
> because they are an abstraction away from the bare metal. This really is a myth, there's been plenty of work showing you can compile the lambda calculus to abstract machines which map nearly one-to-one on to assembly. High level f
196.
by freyrs3 13y ago
I take issue with this benchmark since comparing it to Haskell is not illuminating since the Cython cdef function is straight C and being called as a foreign function. If you do the same in Haskell via the Haskell C FFI it ends up being rou
197.
by freyrs3 13y ago
Think about technology on the scale of 10 years out, and try and convince yourself that Snapchat will be relevant to human civilization. I certainly can't. Compare this to technologies that will matter, which are things like mass mobil
198.
by freyrs3 13y ago
And almost all Haskell programs do perform side-effects, they just demarcate the sections of their logic that do and don't have effects. The meme that Haskell can't do side-effects or that's its hard just won't die...
199.
by freyrs3 13y ago
Python excels in the exploratory data analysis side of things, not so much on the computation side. Thus we get tools like Pandas, NumPy and Scikit-Learn.
200.
by freyrs3 13y ago
Speaking as someone who has a lot of work invested in the numeric Python system I share a lot of the same sentiment. I'm unhappy with how lot of the current thinking is centered around building essentially large embedded DSLs to invoke
201.
by freyrs3 13y ago
I think you have it backwards. If someone forms opinions on languages based on out of context quotations then they are the fool, not SPJ.
202.
by freyrs3 13y ago
The emitted code need not be lazy, and most often isn't. To a lesser extent the EDSL technique is also the technique that Accelerate uses to build fast array computations. [1]: https://speakerdeck.com/mchakravarty/
203.
by freyrs3 13y ago
Mainstream is a very context specific term. Julia is not a general purpose language, it's primarily for numeric computing. Within the domain of technical computing it's one of the most expressive languages.
204.
by freyrs3 13y ago
> Grains not good for anything except acting as an "energy drink" to fatten up livestock animals. Grains are good food for our good food, at most. This is so absurd, I'm not even sure how to respond. Most of the global hum
205.
by freyrs3 13y ago
Yes, and I dare say this whole civilization thing is working out pretty well as a result of our switch to grains.
206.
by freyrs3 13y ago
A laymen thinking they have a sufficient understanding of biochemistry to "hack" the human body isn't only naive, it's unethical. There's a reason we license people to become dieticians.
207.
by freyrs3 13y ago
> let's tell everyone carbohydrates are the most important staple to eat and let's put corn and sugar in everything Seems to be conflating two parties here. The USDA guidelines are written by government nutritionists and there
208.
by freyrs3 13y ago
Yes, the whole problem with the marketing hype is thinking about this product in terms of this all or nothing "disrupt the food industry" mentality. It might turn out to be a company producing a slightly more economical meal repla
209.
by freyrs3 13y ago
His comment was of course tongue in cheek. He wouldn't spend 25 years of his life working on it if he thought it was useless.
210.
by freyrs3 13y ago
Disciple[1], and I believe "Mu" Haskell ( the Standard Chartered dialect ) though I don't know for sure because it's not open source. [1]: http://disciple.ouroborus.net/

More ›