Viewing profile — l_dopa

I always assumed this convention was just using "of" in the same sense as function composition. From wikipedia: > The notation g ∘ f is read as "g of f "...

> Classes as concept, are nothing more than extensible modules If you're talking about ML-style modules, that really can't be farther from the truth, both in theory and how they're…

That's not entirely accurate. Abstract data types (e.g. ML modules) can also be modeled as existential types and don't have the same problems. I think it's the particular combinati…

One big difference is that java interfaces can't contain member types. They describe the methods of one particular type. Imagine you could define an interface for an entire java pa…

Type checking, type abstraction. If you're willing to throw those out, you can "get the same thing" with structs and void pointers.

Actually, they're the "other side" of products types, which are sometimes called "records" or "structs". Maybe they're occasionally used to solve the same problem, but inheritance …

This is exactly what higher-order functions do, without the ad-hoc OO junk that's slightly different in every language.

> I haven't claimed that equational reasoning is limited to pure languages Sorry, I may have read that into your comment. > the code itself needs to be pure But that's also incorre…

This is a really annoying meme in "pop" FP. Equational reasoning isn't limited to "pure" languages. Effectful functions, as you probably are aware, are just functions of type A -> …

You're positing some new notion of complexity, without a definition, where lists are somehow fundamentally different than trees. Sorry, but that kind of claim requires more than ju…

Why is the complexity of parsing well-formed states from strings somehow interesting? If you generalize to trees and pick the right alphabet, suddenly every element of your datatyp…

Languages are not so much a collection of features ... If you want to define objects precisely, even just to have a language spec, they are absolutely made up of sums, products, re…

It sounds like we agree that lexically scoped immutable values are easier to understand, either precisely or with fuzzy metaphors. I'm not sure what "ideal" FP is or how it might h…

You're still, at some point, simulating the steps of some abstract machine in your head to understand what the debugger is telling you. The simplest case is replacing an expression…

"Pure" functional programming isn't the only alternative. There's plenty of benefit from just using a language with reasonable semantics (e.g. ML) that doesn't force you to contort…

The problem's not on your end -- a lot of these blogs are just junk, probably the vast majority of ones that fall under "advocacy". As far as I can tell, the author's objection to …

> The only plausible way to fix a bug in an ANN is to incorporate said bug in the training set My point was not something about manipulating weights directly vs. augmenting the tra…

Is knowing, for example, that there's a race triggered by a new optimization in compiler version X that happens under conditions Y and Z really a qualitatively different type of un…

Assuming you're in some client code that shouldn't rely on the implementation of m, it's an https://en.wikipedia.org/wiki/Abstract_data_type

You're describing subtyping which, like modularity, does not require inheritance or really any other part of "OOP". I think that supports the article's point that C++, Java, etc. o…

People recognized ~20 years ago that, semantically, SSA is just reinventing lexical scope: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.3...

That's a very strange interpretation of Rice's theorem. Just because properties of computable functions are undecidable doesn't mean they somehow "can't be described by mathematics…

It was me[1] and I'm afraid you are still mistaken on a number of points: > The truth is that Haskell -- like all programming language -- has made a design choice, which was to bak…

This is exactly why a lot of formal methods work isn't, imho, terribly compelling. Something like http://vst.cs.princeton.edu/ has a much, much stronger case for enabling "100% cor…

Yes, we're talking about different things. I took the parent comment to mean that talking narrowly about "FP" as programming with pure functions isn't very useful any more. It may …