Conversation

Doing this tonight at 10pm CT, plus or minus how long it takes to get the kid in bed

Quote Tweet

· May 16, 2020

Think I'm going to stream again either tonight or tomorrow, depending on how soon I can get ready. I'm going to take a break from variant types and talk about type inference: how it works generally and how it works in Rebar.

Show this thread

fullstack genetic engineer

@mostlysafe

May 17, 2020

Live now! twitch.tv/mostlysafe

fullstack genetic engineer

@mostlysafe

May 17, 2020

youtube.com

Type Inference in Graphical Dataflow

Brendan Zabarauskas

@brendanzab

Replying to

@mostlysafe

Thanks for posting this! Cool seeing type inference done in the context of flow-based programming. The 'type only terminals' in LabView are really interesting to me. I've been thinking about how types form some kind of 'graph' over the top of programs, eg:

Quote Tweet

Brendan Zabarauskas

@brendanzab

· Oct 30, 2019

Replying to @brendanzab and @typeswitch

Something weird

9:36 AM · May 17, 2020Twitter Web App

Replying to

and

Note how the polymorphic identity function is taking in a type-only terminal as input, and that changes what the input and output terminals can expect to be wired to.

fullstack genetic engineer

@mostlysafe

May 17, 2020

I see. I would caution that type-only terminals are effectively a type annotation, the equivalent of writing id<Type> instead of id. The more you require them, the more potentially redundant information on the diagram, which is one thing type inference is meant to solve.

Show replies