malloc と併用可能なアロケータを作る

2023年09月01日に投稿 • カテゴリ:プログラミング • タグ:Linuxglibcメモリ

大規模で、ユーザ入力などの外部要因により左右されるプログラムでは、動的なメモリ管理が必要になる場合が多い …

続きを読む

State モナドの代わりに Reader モナドを使う

2020年01月31日に投稿 • カテゴリ:プログラミング • タグ:HaskellGHCモナド

注意
この記事は公開当時主張に誤りを含んでいたため,大幅に書き直しています.また,公開当時の主張の誤りについ …
続きを読む

type family を使って再帰的 ADT をオープンにする

2019年11月17日に投稿 • カテゴリ:プログラミング • タグ:HaskellGHCGHC拡張

元ネタは Trees that grow . Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し,その構造を操作するこ …

続きを読む

Scala の Map.flatMap の罠

2019年09月03日に投稿 • カテゴリ:プログラミング • タグ:ScalaCollection LibraryMap標準ライブラリ

Scala のコレクションライブラリは難しい.最近,強くそう思える事案に出くわしたので,そのメモ.なお,使った環境は以下 …

続きを読む

Python の datetime が難しい

2019年04月03日に投稿 • カテゴリ:プログラミング • タグ:Python標準ライブラリ

色々ハマったので,メモをしておく.

aware と naive

Python の datetime モジュールでは,日付情報を表現する date オブジェクト,日中時間を表現する time オブ …

続きを読む