Haskellでデータフレーム的なものを実現するFramesのチュートリアル http://acowley.github.io/Frames/ 。 多相レコードを使うのは自然な発想ではあるし、いろいろ頑張っているとは思うけれど、現状ではツラい部分があるね。 この辺り他の静的型付け言語、例えばScala, OCaml, SML#とかはどうしてるんだろう……