Which way is forward - Douglas Crockford

preview_player
Показать описание
Douglas Crockford is best known for having discovered that there are good parts in JavaScript. This was an important and unexpected discovery. He discovered the JSON Data Interchange Format.
He is currently working on making the web a secure and reliable software delivery platform. He has his work cut out for him.
Рекомендации по теме
Комментарии
Автор

"Everything old is new again."  In 1958 programmers were walking in hallways with shoe boxes full of 80-column punch cards while theorists were already wrestling with some of the issues that still plague us today.  If you are interested in the history of computer science, this video is highly recommended.

bagoquarks
Автор

types are sets... but the static lang of ur choice only offers u a handful of basic types...

u would need the ability to specify sub-types, ranged type whatever to get for example natural numbers to define "factorial" with the right type and make it a total-function


partial functions cannot be reasoned about in an easy way...

IronCandyNotes