> let a1 = 2 :: Int > let a2 = 3 :: Int > a1 * a2 6 > let b1 = 2 :: Double > let b2 = 3 :: Double > b1 * b2 6.0 > a1 * b2 <interactive>:1387:6: error: • Couldn't match expected type ‘Int’ with actual type ‘Double’ • In the second argument of ‘(*)’, nam</interactive>…

stackoverflow.com

関数のパラメータ部分の解析を考えてみます。例えば、foo(1, 3, 4);の`(1, 3, 4)の部分をパースすることを試してみます。 仕様としては、 先頭にカッコ開き 末尾にカッコ閉じ 間に、カンマ区切りの数値 があるとします。 Javaの場合ですが、com.mysql.cj.xde…

ProtocolBufferのパッケージ内にUtf8という型があります。 https://hackage.haskell.org/package/protoc… これは、StringBufferで表現されたデータが有効なUtf8であることを示した目印をつけたものです。 この、目印がつけられたデータに対して処理を考えた…