問題タブ [bucklescript]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
ocaml - Ocaml : 引数の型でレコードとバリアントを使用する
Ocaml の初心者として、私は型で遊んでいて、バリアントがどのように機能するかを理解しようとしています。
サンプルは次のとおりです。
私は最善の解決策 (パターン マッチングなど) を見つけようとしているわけではありません。なぜ ocaml が get_bar_3 でコンポーネントが Str | であると推論できないのかを理解するだけです。フリット。
多分そのようなトリックは何とか可能ですか?
ありがとう
(バックルスクリプトを使用しています)
編集 :
私の問題はよりデザインに関連していることに気付きました。私はこのようなもので作業することができます: