RT @matt_dz: @seanbax The main reference is Compiling Pattern Matching to Good Decision Trees, https://t.co/mx9vIn0rQX See also Non-linear…
56 followers
4,971 followers
@seanbax The main reference is Compiling Pattern Matching to Good Decision Trees, https://t.co/mx9vIn0rQX See also Non-linear Pattern Matching with Backtracking for Non-free Data Types (https://t.co/TBizxUizsI, in Egison, https://t.co/e4DxXez1ef). C# tuple
962 followers
i) 非線形パターンに対するバックトラックアルゴリズムの効率性、ii) マッチング処理の拡張性、iii) パターンの多相性、 本論文では、上記の3つの基準をすべて満たす、新しいパターンマッチング指向のプログラミング言語を設計する https://t.co/dZ2UILZh30
1,787 followers
RT @Nymphium: @zehnpaard すみません、変換は勘違いで、ハンドラ外のコンテキストをハンドラの内側に入れるというダイレクトな方法が必要そうでした🙇 https://t.co/dsM2FT7DXJ