mafribe

114 ms·

931.
by mafribe 11y ago
To the best of my knowledge, the insight that function application (and other control structures) can be seen as special cases of message passingh comes from the actor people [1, 2]. The first proper mathematisation is Milner's breakth
932.
by mafribe 11y ago
Thanks for your question. Consider this stateful program in pseudo-code def f x = let i = ref 17 in while i > 0 { i := i-1 } return i It is referentially transparent. The literal translation into Haskell n
933.
by mafribe 11y ago
I'm not familiar enough with Idris to know exactly how state is handled, but yes, Idris is a prover, since it has dependent types. If you want to verify your programs (and in 99.9% of programs you probably don't as you get it suff
934.
by mafribe 11y ago
I think we all agree that the most important variables determining a programmer's productivity with a language (a) are how familiar/comfortable the programmer is with the language and (b) what libraries and tools are available. La
935.
by mafribe 11y ago
Sorry, I had forgotten about lazy vals. Thanks for reminding me. They are cached, so proper lazy [1], see e.g. https://stackoverflow.com/questions/3041253/whats-the-hidden...
936.
by mafribe 11y ago
Scala doesn't have lazy evaluation of function arguments, it's got call-by-name. The difference is that lazy evaluation caches the value an argument evaluates to the first time it is needed, so it's evaluated at most once, wh
937.
by mafribe 11y ago
I fully agree with that, that's why my point (viii) was: "monadic encapsulation of effects: open". But it's important to realise that (a) the existence of effects and (b) their control at the level of types are two diffe
938.
by mafribe 11y ago
There is no need to put "has" in scare quotes. Haskell does have side effects like C, Java and Python (although maybe not quite as conveniently). If you want to look at side-effect free languages, consider Miranda, Coq, Agda. What
939.
by mafribe 11y ago
Credible empirical investigations of programming language efficiency are too hard to carry out (though they could be done in principle). However, what we can do instead is look the evolution of programming languages: what features do the l
940.
by mafribe 11y ago
Why should people care less about Indians than people from Oakland? Are Indians lower beings than Oaklandians? Given that the US is the wealthiest country in the world, with (in many ways) the world's best educational opportunities, an
941.
by mafribe 12y ago
I stopped buying paper books a few years ago. To this day, I much prefer the look, feel and smell of printed paper, but storing books became a major headache for me, as I had so many, tended to live in small dwellibng, and was moving quite
942.
by mafribe 12y ago
That's not what your question asks for. Anyway, in my experience, the ability to test with ease is one dimenision of design quality.
943.
by mafribe 12y ago
It's useful to get human feedback on one's code, but human attention is scarce, and human judgement is influenced by many non-technical factors (e.g. mood, politeness or hostility) that do not derive directly from code quality. Fo
944.
by mafribe 12y ago
I guess the only way to find out is to await the emergence of low-level languages with HKTs and then run suitable experiments.
945.
by mafribe 12y ago
Thank you, very interesting perspective. Increasingly that data can be obtained using collections of interacting phones in a community-driven way using travelling data from Bahn users, a la Open Street Map. The spectre of this happening mi
946.
by mafribe 12y ago
Note that (according to [1]) a distinction in the introductory OS courses is a required prerequisite for this course. That suggests that mostly students likely thrive in such an intense course will take it. In addition, the course's
947.
by mafribe 12y ago
I guess you are the author of linked paper. Well done. I wonder if you have any opinions on how useful higher-kinded types (HKTs), one of the most requested features for Rust, would have been in implementing this OS. For example the absence
948.
by mafribe 12y ago
If I want to teach [...] my children in Germany on my own(homeschooling) I go to jail. As far as I understand the legal situation in Germany (please correct me if I'm wroing), you are free to set up your own school with qual
949.
by mafribe 12y ago
Could you explain why a railway operator might not want their data to be opened? After all, better availability of data might convince more people to use trains.
950.
by mafribe 12y ago
I'd never have left the ML world had it not been for the lack of an ecosystem that's comparable to what the JVM has to offer. And my Scala programs mostly just use ML-like features, but I can't live without all those rich lib
951.
by mafribe 12y ago
I was thinking about the statement 1ML is a user-friendly surface syntax for System Fω in the paper's abstract. I think Fω lives inside Scala. But, as the stackexchange article you cite shows, I should have been more careful i
952.
by mafribe 12y ago
Scala, whose modularisation was strongly influenced by ML, already offers most of what 1ML is trying to do.
953.
by mafribe 12y ago
The research hypothesis is that the programming languages Cardelli develops do a reasonable job, and there are examples where they have delivered better predictions than differential equation based approaches.
954.
by mafribe 12y ago
Nanotechnology is more general as it pertains to all manipulation of matter on an atomic, molecular, and supramolecular scale. Cardelli's work is primarily geared towards DNA-based mechanisms.
955.
by mafribe 12y ago
The concept of subconscious is much older than Freud, it was a staple of the romantics. Freud proposed a specific structure theory of the subconscious centred around the Oedipus complex. That specific theory is indefensible.
956.
by mafribe 12y ago
I heard Luca Cardelli, who's also worked on programming languages and typing systems, give this talk. He gives an overview of the programming language technology to program biological matters. This field has been brewing for a decade o
957.
Molecular Programming – The systematic manipulation of matter (2014) [pdf](lucacardelli.name)
24 points by mafribe 12y ago|5 comments
958.
by mafribe 12y ago
Many compilers do inline, it's one of the most common optimisations. Tracing JIT compilers in particular, by nature of tracing, can easily and do inline in the hot path, even across module boundaries. As to multidimensional arrays, cou
959.
by mafribe 12y ago
I'm not sure I understand what you mean. Those "entirely new optimization techniques" cannot be baked into the compiler, they will have to be invented and implemented by a human programmer on an ad-hoc basis. Compilers only u
960.
by mafribe 12y ago
I attended djb's ETAPS talk and am still not true if he was deliberately provocative or genuine. Assuming the latter, I disagree with several of his points. Here I want to bring one to the readers' attention and it's to do wi

More ›