2020/07/27 articles read
article count: 6
Posted automatically.
--------------------------------------------------------------------------------
https://www.adelbertc.com/publications/typeclasses-scala17.pdf
--------------------------------------------------------------------------------
Scalaのtrait、Rustのtrait、そしてScalaのimplicit
https://blog-dry.com/entry/2020/03/22/230803
--------------------------------------------------------------------------------
Scala type level encoding of the SKI calculus
https://michid.wordpress.com/2010/01/29/scala-type-level-encoding-of-the-ski-calculus/
--------------------------------------------------------------------------------
The type system in Scala is Turing complete. Proof? Example? Benefits?
--------------------------------------------------------------------------------
https://scala-slick.org/talks/scalaio2014/Type-Level_Computations.pdf
--------------------------------------------------------------------------------
『京都でのALS患者の嘱託殺人容疑事件』に関してーハワイ在住緩和ケア医による個人的見解.pdf
