@johnmyleswhite but can see that if you think dichotomy is false, then R + C++ is a horrible cludge, and Julia clearly way forwards
@hadleywickham @scheidegger @johnmyleswhite my ideal is more around a cohesive, integrated set of abstractions in one lang, vs a lot of glue
-
-
@hadleywickham@johnmyleswhite Mathematica's a good example of this but I don't much like the language and hate that it's proprietary. -
@avibryant@hadleywickham Lots of great ideas in Mathematica, but I find it a strange language since it grew out of symbolic calculations.
End of conversation
New conversation -
-
-
@avibryant@hadleywickham@scheidegger I completely agree that consistency of abstractions is most important. -
@johnmyleswhite@avibryant@hadleywickham The thing about consistency of abstractions is that it can happen in many different ways -
@johnmyleswhite@avibryant If I could only use@hadleywickham's R, everything would be consistent. comparisons end up context-dependent :( -
@johnmyleswhite@avibryant@hadleywickham (even though R itself is kinda F-expr based, which has a trivial theory http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.9264 …) -
@scheidegger isn't there some metatheory that states that proving something is trivial implies that it isn't? :P -
@hadleywickham "trivial" here means specifically that you can say nothing about equality of terms unless they're exactly structurally equal -
@scheidegger ahah! so trivial in the sense that you can't really do anything, not trivial in the sense of being easy -
@hadleywickham yeah, in the sense of "there's no interesting theory" - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.