News for hackers. Stuff that matters.

A comment on Ask HN: Any logic based software dev tool which helps building code gradually?. Parent comment

Re:Ask HN: Any logic based software dev tool which helps bui... by yawaramin on Sunday July 14, 2019 @07:43PM (#20437000)
Out of curiosity, have you talked to your dad about typed FP/type theory/Curry-Howard etc.? If so how did that go?
[ Parent | on HN ]
Re:Ask HN: Any logic based software dev tool which helps bui... by TheAsprngHacker on Sunday July 14, 2019 @09:41PM (#20437498)
No, I haven't talked to him about this stuff.
[ Parent | on HN ]