Difference between revisions of "Lets talk types"

From Fixme.ch
Jump to: navigation, search
Line 1: Line 1:
 
[[Category:Ongoing_Projects]]
 
[[Category:Ongoing_Projects]]
 
+
Let's talk types is an introductory talk to programming langages that use static analysis based on types to help the developper write correct code. The talk is presented by [[User:Zephyz]], and will focus on simple unique concepts, demos and questions/answers.
Let's talk types is a short talk about programming langages that use static analysis based on types to help the developper write correct code. The talk is presented by [[User:Zephyz]], and will focus on simple concepts that are unique in typed programming languages. The talk will focus on demos, examples and questions/answers.
+
  
 
== General Info ==
 
== General Info ==

Revision as of 01:22, 22 August 2015

Let's talk types is an introductory talk to programming langages that use static analysis based on types to help the developper write correct code. The talk is presented by User:Zephyz, and will focus on simple unique concepts, demos and questions/answers.

General Info

  • Date: 12/09/2015
  • Time: 18:00 (6pm)
  • Duration: about 45 minutes
  • Anybody can come, no subscription required

Good to know

  • I encourage everybody who comes to actively ask questions during the talk. Do not hesitate to raise your hand or interrupt me if something seems unclear.
  • This talk is primarily targeted to user of languages like Python or Javascript. That doesn't mean beginners are not welcome (quite the opposite really) but they might not grasp all the subtleties in the comparaison between statically type-checked languages and other languages.
  • The talk will be given either in french or english depending on the audience's preference
  • I will be free to talk to and share a meal with afterwards.


Participants