Kureduki_Maari https://blog.hatena.ne.jp/Kureduki_Maari/ c4se記：さっちゃんですよ☆ https://c4se.hatenablog.com/ Programming Scala qiita.comの 12/21 です。 先日社内の勉強會で Tour of Scala を見返してゐたら「path 依存型」と云ふ文言を見て、名前しか知らんなと思ひ返しました。そこで path 依存型って何? どんなもの? 年齡は? 結婚してる? 調べてみました! speakerdeck.com scrapbox.io type selection path 依存型 (path-dependent type) は、Scala の實裝者達による論文Nada Amin, Tiark Rompf, and Martin Odersky. 2014. Foundations of path-depe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fc4se.hatenablog.com%2Fentry%2F2023%2F12%2F22%2F001904" title="path 依存型って何? 調べてみました! - c4se記：さっちゃんですよ☆" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-12-22 00:19:04 rich https://c4se.hatenablog.com/entry/2023/12/22/001904 1.0 100%