Re:Ask HN: Best talks of 2018?
by amelius on Sunday December 23, 2018 @11:16AM
(#18746857)
Well, in his defense, type theory is supposed to make software engineering simpler, not more difficult. So if even he doesn't understand it, then how can we expect a random programmer to?
[ Parent
| on HN ]
Re:Ask HN: Best talks of 2018?
by StreamBright on Wednesday December 26, 2018 @09:37AM
(#18762321)
Well software engineering is the only engineering field that produces half baked unreliable crappy solutions continuously. Other fields cannot afford such attitude towards products. I think a simple (inferred) type system is pretty useful to increase correctness and it helps you to increase reliability (even though it does not avoid all of the mistakes you can make in software).