Talk:Flow-sensitive typing

Flow typing in Fortran ?
It's stated that Whiley was the first language to implement flow typing, but as I understand the concept, it already appears in Fortran 2003's SELECT TYPE statement.

90.56.70.138 (talk) 10:25, 13 December 2018 (UTC)

My impression is also that the idea is not novel: it appears as Deline et al. TypeState for Objects (ECOOP 2004 at https://www.cs.cmu.edu/~aldrich/courses/819/deline-typestates.pdf) where for example, the type is Object, and the finite-state-machine transition is the instanceOf primitive. This originally was seen in Cecil (Chambers, UWashington, 1992) for optional type-checking/guarding of multimethod dispatch. — Preceding unsigned comment added by 69.11.76.63 (talk) 23:54, 16 March 2019 (UTC)

Also see occurrence typing from The Design and Implementation of Typed Scheme (POPL 2008), https://www2.ccs.neu.edu/racket/pubs/popl08-thf.pdf Erik Silkensen 07:32, 21 August 2019 (UTC) — Preceding unsigned comment added by Eriksilkensen (talk • contribs)