_kris-jenkins-communicating-in-types-124-redev-2018.jpg "Kris Jenkins - Communicating in Types | Øredev 2018 from berate show Video Screenshot Preview")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 23 min 25 sec
✓ Published: 25-Nov-2018
✓ Published: 25-Nov-2018
Description:
Modern type systems have come a long way from the days of C and Java. Far from being nit-pickers that berate us for making mistakes, type systems like the ones found in Haskell, PureScript and Elm form a language in themselves. A language for expressing high-level ideas about our software to our colleagues and to the computer. A design language. In this talk, we'll take a look at the way the right kind of type signatures let us talk about software. We'll survey how to state our assumptions about
Modern type systems have come a long way from the days of C and Java. Far from being nit-pickers that berate us for making mistakes, type systems like the ones found in Haskell, PureScript and Elm form a language in themselves. A language for expressing high-level ideas about our software to our colleagues and to the computer. A design language. In this talk, we'll take a look at the way the right kind of type signatures let us talk about software. We'll survey how to state our assumptions about
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_what-would-you-do-customers-discriminate-against-latino-waiter-124-wwyd.webp "What Would You Do?")
_take-away-show-37---francois-virot-part-4.webp "paris, chateau rouge, january 2007nnimages, soundsit wavers somewhere in between the cop and the villain, but settles for a little of both at the same time. It’s this very tension and cinematic character that shines out and through the images in these videos, which were shot in the streets of the spirited Parisian neighborhood Château Rouge. (That same afternoon in January, I shot a video with Peter Von Poehl. Wow, what a contrast!)nFrançois Virot is, before anything else, the drummer for")
_wannabe-social-media-model-teen-treats-store-employees-poorly-124-what-would-you-do-124-wwyd.webp "What Would You Do?")
⏲ 8 minutes 29 seconds 👁 5.8M
_angry-passenger-screams-at-woman-in-check-in-she-says-these-6-words-and-instantly-shut-him.webp "Facts Verse")
⏲ 5 minutes 11 seconds 👁 902K
_personal-growth-21-124.webp "Hbri Vodcast | ሕብሪ ቮድካስት")
_what-would-you-do-sales-clerk-discriminates-against-sikh-man.webp "What Would You Do?")
_kris-jenkins-communicating-in-types-124-redev-2018.webp "Modern type systems have come a long way from the days of C and Java. Far from being nit-pickers that berate us for making mistakes, type systems like the ones found in Haskell, PureScript and Elm form a language in themselves. A language for expressing high-level ideas about our software to our colleagues and to the computer. A design language. In this talk, we'll take a look at the way the right kind of type signatures let us talk about software. We'll survey how to state our assumptions about")
_customers-ridicule-waiter-for-stuttering-124-what-would-you-do-124-wwyd.webp "What Would You Do?")
_what-would-you-do-customers-discriminate-against-latino-waiter-124-wwyd.jpg)
_take-away-show-37---francois-virot-part-4.jpg)
_wannabe-social-media-model-teen-treats-store-employees-poorly-124-what-would-you-do-124-wwyd.jpg)
_angry-passenger-screams-at-woman-in-check-in-she-says-these-6-words-and-instantly-shut-him.jpg)
_personal-growth-21-124.jpg)
_what-would-you-do-sales-clerk-discriminates-against-sikh-man.jpg)
_customers-ridicule-waiter-for-stuttering-124-what-would-you-do-124-wwyd.jpg)
![[+]](/images/menu.gif){kind=small}