続くといいな日記

Happy のコンフリクトレポートと向き合う

Posted on 日 31 1月 2021 in フレームワーク • Tagged with Haskell, パーサ, Happy, LALR

Haskell には，Happy と言う名前のパーサジェネレータがある．基本的には，yacc と同じような使い勝手のジェネレータで，GHC で使用 …

Posted on 土 14 11月 2020 in 規格 • Tagged with Unicode, UTF, 文字コード

Unicode は、文字コードの標準を目指して創設された規格であり、文字をどう処理するか、テキストデータとしてどう表すか …

Posted on 日 04 10月 2020 in 数学 • Tagged with ハイティング代数, ブール代数, 束

古典論理の意味論がブール代数によって議論できるように，直観主義論理の意味論はハイティング代数によって考 …

Posted on 日 26 7月 2020 in 運用 • Tagged with Prometheus, Grafana, Kubernetes, Docker

Prometheus は、メトリクスの監視を行うためのモニタリングツールだ。各種メトリクスを出す exporter とそれを集計する Prometheus サーバ、及 …

Posted on 日 19 7月 2020 in セキュリティ • Tagged with ブロック暗号, 脆弱性

共通鍵暗号の暗号方式としてよく用いられている暗号の種類として，ブロック暗号がある．ブロック暗号は，暗号方式 …

Posted on 日 05 7月 2020 in プログラミング言語 • Tagged with Haskell, GHC, GHC拡張

GHC 8.6 から BlockArguments という拡張が入った．これは構文拡張で，Haskell 2010 で必要だった幾つかの括弧を省略できるようにするもの …

Posted on 木 18 6月 2020 in ツール • Tagged with XCode, Objective-C, iOS, ビルド

XCode を使ってる時，ちょっと検索しにくい問題に2件当たったので，備忘録として残しておく．

iOS 用の Objective-C のプロジェクトをビ …

Posted on 日 19 4月 2020 in フレームワーク • Tagged with Kotlin, Java, Gradle, Android, gRPC

単純に gRPC クライアントを Android アプリで書いて，mock サーバを Kotlin で書くだけなのにすごく苦労したので，備忘録的に書いと …

アドホック多相を実現する方法として，型クラスがある．型クラスは，辞書渡しと呼ばれる方法により，かなり自然に elaboration …

Posted on 月 30 3月 2020 in プログラミング言語 • Tagged with GHC, Haskell, GHC拡張

Haskell では、ボイラープレートは非常に嫌われており、それを撲滅するため強力な型システムの他にも幾つか機能が組み …