Avatar
for-inの中で要素の型がイテレーションごとに変わるけど、全ての要素に対して同じ制約を課すことで、ループ内の型検査が静的にできるようになってるのが良い
11:21 AM
前おもちさんと話したのを掘り起こした https://twitter.com/kateinoigakukun/status/1220591042228940802?s=21
@omochimetaru あー、それでいうと気になってたのは文法とランタイムの話かもしれないです 型の数はcalleeを定義するときに決定できないからイテレートする手段が提供されないといけないけど、そうするとfor param in paramsでparamの型が毎回変わるのか。とか
👀 1