A relaxed chat room about all things Scala. Beginner questions welcome. https://scala-lang.org/conduct/ applies
SethTisue on 2.12.x
2.12: advance project SHAs (#13… (compare)
SethTisue on 2.13.x
fix travis setting. use openjdk… bump sbt version to 0.13.18 Merge pull request #208 from Se… and 4 more (compare)
SethTisue on main
Update index.md Added a resour… Best Scala Tutorials On YouTube… Merge pull request #1221 from a… (compare)
: Model
you remove the refinement
m: Model {type State = Int }
Int
later
List[Algorithm]
Algorithm[State]
you woudn't be able to put them in a List with a proper type
trait MyTrait[T]
you're saying MyTrait[T]
exists for every T
but if you say trait MyTrait {type T}
you're making no such guarantees
it sort of makes sense... coz when you define
trait MyTrait[T]
you're sayingMyTrait[T]
exists for everyT
but if you saytrait MyTrait {type T}
you're making no such guarantees
yes, you are making a different guarantee, that it exists a T for which MyTrait
exist
Curry-Howard isomorphism