#type-system

[labs-die-katze]

Code used during the talk: https://github.com/shashi/fuconf-talkSlides: https://docs.google.com/presentation/d/16Xfqd-xU8y2JEN0TIcacDoYnp0b5-W7ESDB5v1SmcXs/edit#slide=id.p Elm is a strongly typed functional

[viet2nt-blog]

structural subtyping

Combining Structural and Nominal Subtyping by Donna Malayeri:

Don't need to name [under different interfaces] all possible combinations of interesting methods.

Don't need to specify that a class implements a particular interface ahead of time.

Easy to later define new subsets of methods that are interesting.

http://golang.org/doc/ExpressivenessOfGo.pdf

methods are orthogonal to types

interfaces are just sets of methods, work for any type [^3]