The State of the Type System | Jeff Bezanson | JuliaCon 2017

Visit http://julialang.org/ to download Julia.

Contents
00:00 Welcome!
00:39 What is the type system?
02:52 History of Julia type system
03:40 First interesting change: reworking tuples in v0.4
05:29 Changes introduced in v0.5
06:21 Overview of type systems evolution in versions 0.1-0.5
06:45 With v0.6 type system changed in a big way
07:02 Questions about type system that was left open in v0.5
08:24 Semantic subtyping
09:51 Example of defining type using "where": Array
10:51 Example of type instantiation: Array{Float32, 2}
12:50 Implications of the mechanism of type instantiation
14:40 Variables with bounds that depend on outer variables
16:11 Example: Array eltype
17:10 Syntactic sugar
18:41 New subtyping algorithm
20:47 Examples: subtyping
23:53 New algorithm for type intersection
25:59 Summary of the type system in v0.6
26:22 Three categories of future improvements
28:36 Possible future of the type system features

S/O to https://github.com/KZiemian for the video timestamps!

Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: https://github.com/JuliaCommunity/You...

Interested in improving the auto generated captions? Get involved here: https://github.com/JuliaCommunity/You...