Summary: I walk through optimising a Haskell string splitter to get a nice tight inner loop. We look at the Haskell code, the generated Core, C-- and assembly. We get down to 6 assembly instructions per input character. Let's start with some simple code: break (`elem` " \r\n$") src This code scans a string looking for a space, newline or $ and returns the string before and the string after. Our go

Real World Tech analyzes Knights Landing rumors（The Tech Report） Knights Landing Details（real world technologies） Intelは次世代Xeon Phiとなる“Knights Landing”についてそれほど多くの情報は明らかにしていない。“Knights Landing”は特に並列性を重視したチップで、High-performance computingアプリケーション向けとなる。製造プロセスは14nmとなる。“Knights Landing”はオンパッケージのメモリを搭載でき、512-bit AVX命令をサポートする。また、PCI-Expressカードとして提供されるだけでなく、スタンドアロンのProcessor（つまりはSocketタイプのパッケージ）としても提供される。 こ

Balanced-tree-based maps are a workhorse in functional programming. Because of their disarming simplicity, Chris Okasaki's purely functional red-black trees are a popular means for implementing such maps. In his book, self-balancing binary search trees are less than a page of code. Except that delete is left as an exercise to the reader. Unfortunately, deletion is tricky. Stefan Kahrs devised a wi