Out of curiosity, have you talked to your dad about typed FP/type theory/Curry-Howard etc.? If so how did that go?