mp8 | 6 years ago | on: Gigantic Chinese telescope opens to astronomers worldwide
mp8's comments
mp8 | 10 years ago | on: Rosette: a solver-aided programming language that extends Racket
It's a similar concept again - it's a multi-core chip for embedded applications, and the cores communicate using an on-chip network. Each core is like a regular CPU with a clock though - the GreenArrays approach seems to be completely asynchronous.
[0] http://xmos.com/
mp8 | 10 years ago | on: Rosette: a solver-aided programming language that extends Racket
I am interested what makes you say it "provides computational grunt comparable to an i7 for a few milliwatts" though - could you elucidate? Do you mean in terms of performance-per-watt?
[0]: http://www.greenarraychips.com/home/documents/greg/PB002-100...
mp8 | 11 years ago | on: What are your favourite sci-fi books?
mp8 | 11 years ago | on: Dijkstra on Haskell and Java (2001)
I think teaching the motivation for learning it before beginning would have been better than just throwing it at freshmen, but I can't truly blame anyone other than myself.
mp8 | 11 years ago | on: New paper claims that the neutrino is likely a faster-than-light particle
mp8 | 11 years ago | on: China Just Blocked Thousands of Websites
mp8 | 11 years ago | on: China Just Blocked Thousands of Websites
mp8 | 11 years ago | on: Shen is a portable functional programming language
> Note that if Shen is not running on a Lisp platform, then function may be needed to disambiguate those symbol arguments that denote functions.
mp8 | 11 years ago | on: Why Go Is Not Good
Initially I felt the same as you: Go was much easier to get things done in, and I could be reasonably productive quite quickly (moreso than Haskell, which I found very difficult to learn).
However, after some time I found many of the same problems mentioned in this article. Particularly, in many cases I had to fall back to the kind of nasty unsafe code mentioned in this article (like using interface{}). Often, I felt that my code was needlessly verbose. I would frequently write code and feel that the language was preventing me from doing what I wanted directly. Ironically, this is exactly how I felt with Haskell at first (not anymore).
Ultimately, I ended up switching to Haskell, and although it was significantly harder to learn, I felt like it has a lot more flexibility, safety, and importantly lends a clarity to thinking when designing a program.
mp8 | 11 years ago | on: Are Containers the Right Answer to the Wrong Question?
http://english.stackexchange.com/questions/38741/use-of-and-...
mp8 | 11 years ago | on: What Is Declarative Programming (2013)
mp8 | 11 years ago | on: What Is Declarative Programming (2013)
I would restate this as: "In Haskell you write a description of a stateful computation." The "State Monad" is really just the illusion of mutable state, provided by passing the underlying state to each described computation. Actually-mutable state is possible with things like IORef, but these are impure.
They're also very strict about checking: you have to go through two different x-ray machines to check you didn't sneak any electronics through.