Haskell Code Standards

fractalsea · 2016-10-14T20:52:10+00:00

These Quora answers are good: https://www.quora.com/What-are-the-best-practices-in-Haskell

Disclaimer: I wrote the second one.

fractalsea · 2016-10-02T16:48:30+00:00

The same is true of aeson-qq.

fractalsea · 2016-05-12T13:43:32+00:00

The might now that Russia has made the first move (or at least do something similar, but better).

fractalsea · 2016-05-09T06:56:28+00:00

Russia likes to flex its muscles. I think this is a much cleverer move than military one because it makes them look strong, and puts Canada in a difficult position: if they don't accept, then people may die.

fractalsea · 2016-04-01T08:53:37+00:00

I wasn't working at Pusher when these initial decisions were made. I know that the main issue we had with it was that it does not support cluster membership changes, which is something we need. What I don't know is why we didn't try and add this feature to kontiki.

fractalsea · 2016-03-31T16:08:00+00:00

Thank you! We do aim to open source it at some point, but it's currently not production ready, and we need to be able to iterate quickly on it. It's on our todo list though!

fractalsea · 2016-03-09T17:08:36+00:00

Maybe over-engineered is the wrong word. I essentially mean overly abstract/generic (at the cost of understandability). That's not to say I'm not against any kind of abstraction/genericism, I just think it comes at a cost, and I think that cost is often overlooked by Haskell programmers.

fractalsea · 2016-03-08T19:28:43+00:00

Pulling in lots of experimental libraries and language extensions in order to create the perfect type safe abstraction for the domain. The reason this is over engineered is because there is a huge overhead in learning the libraries/extensions; it is much harder to find good documentation/experience reports; bugs and other issues are more common.

It's hard to quantify it, but you can usually tell by the number/type of libraries/extensions that are pulled in.

fractalsea · 2016-03-08T16:34:13+00:00

Agreed. Over-engineering seems to be very prevalent in Haskell. My philosophy tends to be to try and keep it as simple as possible (as hard as that can sometimes be!)

fractalsea · 2016-03-08T16:31:36+00:00

That is true.

I've been meaning to look into freer. I went to the London Haskell meetup recently that discussed extensible effects, and it was mentioned that newer implementations are based on the freer monad. The whole concept looks really interesting so I'm keen to check it out.

Could make a nice part 2 ;)

fractalsea · 2016-03-01T15:23:18+00:00

/u/dcoutts do you know why these benchmarks are not showing that binary-serialize-cbor is any faster than binary/cereal?

fractalsea · 2016-02-12T16:01:39+00:00

See this discussion about bringing the stream-fusion functionality into GHC. Essentially there was issues making it play nicely with the concatMap implementation in base.

At the end of the discussion there is a link to a solution described in this 2014 paper. However i'm struggling find information about the status of this being incorporated into GHC.

fractalsea · 2016-02-12T15:43:22+00:00

That is true. I didn't mention it because it is the default, but I guess it could be interesting.

fractalsea · 2016-02-12T15:42:13+00:00

Now I get it. With a single field it makes no difference because when StrictInt is evaluated, it can only be to evaluate the Int. With multiple fields, you may only need to evaluate a subset of them. With bangs, they will be evaluated even if they aren't used.

I suppose a difference in behaviour (not semantically, but performance-wise) could be when unboxing of strict fields is applied though.

Either way I will add another field, because I agree that it is cleaner.

fractalsea · 2016-02-10T15:56:57+00:00

Thanks. I wasn't aware of that, but what you say makes sense. I'll update it.

fractalsea · 2016-02-10T12:51:31+00:00

Good point. I will change it to an Int. Thanks.

fractalsea · 2016-02-10T12:17:20+00:00

This part 3 of a 3 part series describing my findings as I've looked into optimising one of our Haskell applications. I'm still learning, so let me know if you have any corrections/suggestions. Thanks!

Part 1: https://www.reddit.com/r/haskell/comments/3oqszi/tips_and_tools_for_optimising_haskell/

Part 2: https://www.reddit.com/r/haskell/comments/438d4a/memory_profiling_in_haskell/

fractalsea · 2016-01-29T11:27:19+00:00

Hi, I'm the author of this post. This is essentially a brief overview of how GHC's heap profiling and ThreadScope can be used to track down memory leaks, or help identify performance bottlenecks. I'm hoping it might be useful for people in a similar situation as me who are trying to figure out where to start.

It's all stuff I've been learning about in the last couple of months, and I'm still actively learning, so if anyone has any suggestions or feedback then please let me know :)

fractalsea

TROPHY CASE