gnuvince

48 ms·

421.
by gnuvince 13y ago
> The programmer didn’t follow basic, well known development practices. Multithreaded programs seem harder or more complex to write because two or more concurrent threads working incorrectly make a much bigger mess a whole lot faster tha
422.
by gnuvince 13y ago
For those interested, ocharles is talking about Theorems for Free![1] by Phil Wadler. Also be sure to check out his 24 Days of Hackage 2013. [1] http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf [2]
423.
by gnuvince 13y ago
Nothing can prevent a undocumented mess, but certain factors can help mitigate it. For example, most people in Haskell write the type declarations for their top-level functions, which certainly helps. Also, because you need to be honest a
424.
by gnuvince 13y ago
I'm pretty sure they will never happen. The designers of Go don't seem at all interested in having them, they show no sign that they are actively studying the problem and exploring how other languages solve it. And as Go becomes
425.
by gnuvince 13y ago
Backgammon: the best way to want to kill yourself. I was playing a 21-game match against someone on the Internet, it was 17-16 for him, but I was in a very good position and I doubled and he (incorrectly) accepted. I was about to build a
426.
by gnuvince 13y ago
They can only test for flaws that they can think of.
427.
by gnuvince 13y ago
No thank you; I like Emacs as a text editor, and if I need a word processor, there are alternatives out there. No need to make Emacs even more complex.
428.
by gnuvince 13y ago
This may cause confusion with the Snap Framework [1]. [1] http://snapframework.com/
429.
by gnuvince 13y ago
Oops, that's not the passage I was thinking of. I'll try to find it again, but basically he says that when they needed to hire programmers, instead of using a site like monster.com or jobboom.com, they went on the OCaml mailing l
430.
by gnuvince 13y ago
People who are nervous about hiring people in a relatively unpopular language should watch this video[1] at the 1:01.00 mark by Yaron Minsky. [1] http://www.youtube.com/watch?v=hKcOkWzj0_s
431.
by gnuvince 13y ago
Maybe Jimmy Page will change his legal name to Zoso? http://en.wikipedia.org/wiki/Jimmy_page#Interest_in_the_occu... But that's exactly the issue here; there aren't many people with names as long as Janice&#
432.
by gnuvince 13y ago
Now that we have the standard "Haha, you don't know shit about names, and your program sucks!" pitch, where's the library/framework that developers can use that will take care of ALL these name issues? As a devel
433.
by gnuvince 13y ago
Without being an expert on any of them: * Go: statically typed, no type parametrization, good support for CSP-like concurrency, deeply imperative language. Proponents site its speed of compilation, simplicity, and growing community. * Scal
434.
by gnuvince 13y ago
Go doesn't lend itself to functional programming, in part because of its lack of type parametrization. In a language like Scala or Haskell, using functions like map, fold, and filter is clean an idiomatic. In Go, it is so ugly and co
435.
by gnuvince 13y ago
I watched the video (but didn't take part in the class assignments) last spring, and I want to paraphrase an important remark by prof Sedgewick that really struck a chord in my mind: > Though we have faster computers, algorithms rem
436.
A Pragmatic Case for Static Typing(vimeo.com)
1 points by gnuvince 13y ago|0 comments
437.
by gnuvince 13y ago
Languages like SML and OCaml are pretty clean, pretty simple and have an awesome parametric polymorphism system.
438.
by gnuvince 13y ago
Thanks for that nice guide! I was actually expecting to install GHC by hand eventually (for now, 7.4 is sufficient).
439.
by gnuvince 13y ago
Could you please elaborate on this perturbation problem? It's the first time I hear that term.
440.
by gnuvince 13y ago
Painful to hear about such wonderful developments when you are a Debian Stable user :(
441.
by gnuvince 13y ago
I don't want to write a big wall of text, but a lot of situations come up where bugs could (if you so choose) be encoded into the type system. Here are some examples: - The Maybe/Option type: you explicitly declare that a value m
442.
by gnuvince 13y ago
There's only so many times you can get an error in your programs before you begin thinking that static typing might offer non-trivial benefits.
443.
by gnuvince 13y ago
Do people create new, open protocols anymore? I feel that if someone decided to tackle the "email is insecure" problem, we'd end up watching a video on Kickstarter about how cool their new Ruby on Rails SaaS is.
444.
by gnuvince 13y ago
Has he been asked about this statement by a journalist? It seems like his position on Snowden is the complete opposite of what his Protect Whistleblowers promise was.
445.
by gnuvince 13y ago
I've gone back to Debian after I grew sick and tired of Ubuntu. Wheezy is one, very smooth distribution, super stable, highly recommend it!
446.
by gnuvince 13y ago
So basically, monads.
447.
by gnuvince 13y ago
You should parse it as "avoid (popularity at all costs)" rather than "(avoid popularity) at all costs".
448.
by gnuvince 13y ago
I like Go, but I feel that it only addresses one of the urgent problems in computer programming, concurrency. Another very important problem IMO is correctness and I find Go lacking in that area; the onus is squarely on the shoulder of the
449.
by gnuvince 13y ago
I recently installed ghc-mod [1] and configured it in Emacs; red squiggly lines appear when I have an error. [1] http://www.mew.org/~kazu/proj/ghc-mod/en/
450.
by gnuvince 13y ago
I think that Sedgewick's tilde notation [1] is nice if you want to include more information about constant factors. [1] http://algs4.cs.princeton.edu/14analysis/

More ›