Tuesday, September 18, 2018 at 6:30:00 PM C2FO 2020 West 89th Street, Leawood, ks

Abstract:
Learn how to correctly use types to create elegant and bug free code. This talk will teach you how to use the power of the mathematically sound curry-howard isomorphism to select which typing techniques to use, and which ones to avoid. All the examples will be in typescript, and will be focused on real world applications.

Bio:
Leo has over 10 years of experience building a range of systems, from medical software to GPS devices for school buses. He is a functional programming enthusiast, and is eager to spread the word on how to use math to create better software.

Click here for event

0 Response to "September 18: JavaScript KC - Type Theory with Typescript"

Post a Comment

Group Tools

Random Prize Winner
Use this tool to generate random numbers for prize drawings.

Computer Humor Slideshow
Just for fun!




Follow this twitter list of the twitter accounts for the user groups. Ask for your group to be added to this list: twitter list
Subscribe to the Kansas City User Group Newspaper at Paper.li

Blog Archive

About Me

My photo

Work: I love computers and am passionate about writing good software and sharing what I've learned.
  
Community: I volunteer time and money to several organizations like Rose Brooks Center, Hope House, MOCSA, CAPA, my HOA, and the software development community.

Followers