依存型

依存型プログラミング言語

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p><a class="URI" href="https://yuchiki1000yen.hatenablog.com/entry/2018/07/07/155854" target="_blank" rel="noopener nofollow ugc">https://yuchiki1000yen.hatenablog.com/entry/2018/07/07/155854</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

『F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam』

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p><a class="URI" href="https://sititou70.github.io/Idris%E3%81%A7%E3%81%B5%E3%82%93%E3%82%8F%E3%82%8A%E7%9C%BA%E3%82%81%E3%82%8B%E4%BE%9D%E5%AD%98%E5%9E%8B/" target="_blank" rel="noopener nofollow ugc">https://sititou70.github.io/Idrisでふんわり眺める依存型/</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

t_wの輪郭

依存型

依存型プログラミング言語

『F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam』

『Idrisでふんわり眺める依存型 | sititou70』