Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
dons
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
36 ms
·
361.
▲
by
dons
15y ago
With type level naturals recently added to GHC, statically checked arrays are already implementable in Haskell. * http://hackage.haskell.org/package/vector-static * http://hackage.haskell.org/package/hmatrix-static A nice next step woul
362.
▲
by
dons
15y ago
http://cufp.org/ is held every year, and has many interesting stories. http://www.haskell.org/haskellwiki/Haskell_in_industry has experience reports for Haskell. Galois and Standard Chartered both have large Haskell teams, for example (
363.
▲
by
dons
15y ago
And just as an example, I have around 200 darcs repos, including big projects like xmonad, yi or bytestring, that might never be on github, since they're in darcs on c.h.o. The Haskell world is really an anomaly in this regard.
364.
▲
by
dons
15y ago
While Haskell is ranked ahead of eg scala or erlang in total repos on github, the majority of larger/active projects in Haskell are still in darcs repos, on places like code.haskell.org. Historical note: the Haskell dev world jumped on dist
365.
▲
by
dons
15y ago
At least in Haskell you have unboxed primitive types, memory mapped IO, bump-pointer allocation, and compilation to direct loops that are often identical to what GCC produces (or very close).
366.
▲
by
dons
15y ago
Though even the best result, 650 req/sec is around 100x slower than compiled, current webservers in e.g. Scala or Haskell.
367.
▲
by
dons
15y ago
Yes, composable data structure editors (lenses) with an overloaded (.) make my day to day work much more pleasant.
368.
▲
by
dons
15y ago
Clever idea to use the logic boards as wings.
369.
▲
by
dons
15y ago
Use dynamic linking and object stripping, if space is a concern. You'll have tiny objects then. http://stackoverflow.com/questions/6115459/small-haskell-pro...
370.
▲
by
dons
15y ago
New York Haskell and Finance/Software Engineering. Developing next-gen trading, risk, pricing platforms. Strong comp. sci or math background and software engineering in functional languages required.
371.
▲
by
dons
15y ago
Interesting that this is mostly about lowering costs by exploiting, and encouraging, the increase in liquidity of many goods and services, facilitated by tech infrastructure.
372.
▲
by
dons
15y ago
Nitehawk in Brooklyn and Living Room in Portland doing similar things.
373.
▲
by
dons
15y ago
There's essentially no research investment in dynamic typing, for many reasons. That lack of investment is going to hurt in the medium to long term, as all the advanced tools and techinques will assume program type information is available.
374.
▲
Remote monitoring of Haskell apps now part of GHC
(blog.johantibell.com)
6 points
by
dons
15y ago
|
0 comments
375.
▲
by
dons
15y ago
In programming languages, generally: * Stack: "control stack" -- a structure that tracks the context of an evaluation "step" in the program * Heap: an environment that maps symbols to values (i.e a data structure that tracks the bindings of
376.
▲
by
dons
15y ago
Good idea. I'll look into it!
377.
▲
by
dons
15y ago
If your configs become parameters to your app at initialiisation time, you're in the (pure) Reader monad. See xmonad for an example.
378.
▲
by
dons
15y ago
There's around four thousand packages on Hackage now (>2M loc); the last company I worked at had more than 1M lines of .hs; my current employer has maybe 800k lines of .hs When does the no-non-trivial-code meme go away? --- As an aside,
379.
▲
by
dons
15y ago
We have a roadmap to a truly comprehensive base set, based on peer review from nominated libraries on hackage (which hosts around 4000 libs now). Assuming eg snap or yesod servers are proposed, you might well see them in the next release. F
380.
▲
by
dons
15y ago
YAML configuration is possible, if you want. Just load the YAML file in your xmonad.hs config, and translate it (using the regular config language) into the Config data type xmonad actually uses. You could implement all sorts of funky confi
381.
▲
by
dons
15y ago
You can always write a configuration extension that takes $your_favorite_text_format into the data structure that configures xmonad. In fact, there is a text-based configuration system (implemented on top of the full-language configuration
382.
▲
by
dons
15y ago
Most of the above list is actually supported by xmonad (and dwm, and awesome and ...). The two things that are really the defining characteristic of ion3 is that it is a user-defined layout (not a "dynamic" layout, a la xmonad), and that th
383.
▲
by
dons
15y ago
> "customizable tiling window manager" somehow requires the user to learn an unusual programming language and a dozen of inscrutable keyboard shortcuts Languages are our best tool for expressivity. And a well-designed language is bette
384.
▲
by
dons
15y ago
xmonad is well documented: * http://xmonad.org/documentation.html E.g. * http://xmonad.org/tour.html * http://haskell.org/haskellwiki/Image:Xmbindings.png It was always intended to be the antithesis of dwm in terms of friendliness and
385.
▲
by
dons
15y ago
There will be shortly. Sorry about the lack of noise online -- I switched jobs and cities, and haven't had time to do some of this kind of stuff. Adam Vogt has taken over as maintainer, and will be following up with an announce.
386.
▲
by
dons
15y ago
The underlying design invariant was that you should always be able to predict exactly what the screen would look like, before you perform an action. I'm glad that's the result we've achieved.
387.
▲
by
dons
15y ago
There is very little content in this article. A real discussion about Frege, Russel, Curry, etc and how that lead to what programmers use today would have been truly interesting.
388.
▲
New extension to Haskell -- data types and polymorphism at the type level
(research.microsoft.com)
73 points
by
dons
15y ago
|
13 comments
389.
▲
The Monad Reader: parallelism and concurrency edition
(themonadreader.files.wordpress.com)
4 points
by
dons
15y ago
|
0 comments
390.
▲
by
dons
15y ago
An optimized Haskell version running in real time, by Ben Lippmeier, http://www.youtube.com/watch?v=v_0Yyl19fiI
More ›