6,949 followers
@ChShersh @serpent7776 This all seems so much easier in #scala, with the same expressive power. See https://t.co/MUSTu92so9 for details on the corresponding calculus
@ChShersh @serpent7776 This all seems so much easier in #scala, with the same expressive power. See https://t.co/MUSTu92so9 for details on the corresponding calculus
@stephentyrone While Scala 2 is somewhat of a hot mess, it’s follow-up (aka. “current/new” version): DOT == Dotty == Scala 3 has a complete formal system defined in this work: https://t.co/n3yB5J6pPZ
Dotty is based on the research of dependent object types. https://t.co/kZ5aeCUuhK #tdtech