Podcasts about Type inference

In today's episode, we bring Leandro Ostera, a seasoned software engineer, who's currently leading the OCaml build system team, with the mission of making OCaml SaaS ready! Join us as this episode is packed with a variety of topics, where we mainly focus on the OCaml ecosystem, compare it to other languages and frameworks, but also dabble into very obscure topics such as Idris (hint: it's a programming language), and explore concepts such as routine blocking, scheduling, types, and other issues. Learn back-end development - https://boot.dev Listen on your favorite podcast player: https://www.backendbanter.fm Check out Riot: https://riot.ml/ Leandro's Twitch: https://www.twitch.tv/leostera Leandro's Twitter/X: https://twitter.com/leostera Timestamps: 00:28 Leandro's Background01:37 How Leandro got involved with OCaml02:50 What the heck is Idris???07:03 When Leandro started working with OCaml11:34 ReasonML15:48 The Riot Library and OCaml issues18:00 Type Inference in OCaml23:10 What allowed Riot to move so fast24:17 The ecosystem of a language28:14 Is Riot a Concurrency Library or a Web Framework?31:01 Goroutines refresher33:02 How Riot implements the actor-model38:34 Cooperative Scheduling vs Preemptive Scheduling41:30 How to fix routine blocking43:14 What has Leandro and other contributers shipped?46:25 How does Leandro manage his time to work on all of these projects?49:45 Where to find Leandro

For the final episode of Elixir Wizards' Season 11 “Branching Out from Elixir,” we're featuring a recent discussion from the Software Unscripted podcast. In this conversation, José Valim, creator of Elixir, interviews Richard Feldman, creator of Roc. They compare notes on the process and considerations for creating a language. This episode covers the origins of creating a language, its influences, and how goals shape the tradeoffs in programming language design. José and Richard share anecdotes from their experiences guiding the evolution of Elixir and Roc. The discussion provides an insightful look at the experimentation and learning involved in crafting new languages. Topics discussed in this episode What inspires the creation of a new programming language Goals and use cases for a programming language Influences from Elm, Rust, Haskell, Go, OCaml, and more Tradeoffs involved in expressiveness of type systems Opportunistic mutation for performance gains in a functional language Minimum version selection for dependency resolution Build time considerations with type checking and monomorphization Design experiments and rolling back features that don't work out History from the first simple interpreter to today's real programming language Design considerations around package management and versioning Participation in Advent of Code to gain new users and feedback Providing performance optimization tools to users in the future Tradeoffs involved in picking integer types and arithmetic Comparing floats and equality checks on dictionaries Using abilities to customize equality for custom types Ensuring availability of multiple package versions for incremental upgrades Treating major version bumps as separate artifacts Roc's focus on single-threaded performance Links mentioned in this episode Software Unscripted Podcast https://feeds.resonaterecordings.com/software-unscripted Roc Programming Language https://www.roc-lang.org/ Roc Lang on Github https://github.com/roc-lang/roc Elm Programming Language https://elm-lang.org/ Elm in Action by Richard Feldman https://www.manning.com/books/elm-in-action Richard Feldman on Github https://github.com/rtfeldman Lua Programming Language https://www.lua.org/ Vimscript Guide https://google.github.io/styleguide/vimscriptfull.xml OCaml Programming Language https://ocaml.org/ Advent of Code https://adventofcode.com/ Roc Language on Twitter https://twitter.com/roclang Richard Feldman on Twitter https://twitter.com/rtfeldman Roc Zulip Chat https://roc.zulipchat.com Clojure Programming Language https://clojure.org/ Talk: Persistent Data Structures and Managed References by Rich Hickey https://www.youtube.com/watch?v=toD45DtVCFM Koka Programming Language https://koka-lang.github.io/koka/doc/index.html Flix Programming Language https://flix.dev/ Clojure Transients https://clojure.org/reference/transients Haskell Software Transactional Memory https://wiki.haskell.org/Softwaretransactional_memory Rust Traits https://doc.rust-lang.org/book/ch10-02-traits.html CoffeeScript https://coffeescript.org/ Cargo Package Management https://doc.rust-lang.org/book/ch01-03-hello-cargo.html Versioning in Golang https://research.swtch.com/vgo-principles Special Guests: José Valim and Richard Feldman.

I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes.  Coming soon: a discussion of semantics of subtyping.

In this episode, I wax rhapsodic for the potential of subtyping to improve the practice of pure functional programming, in particular by allowing functional programmers to drop various irritating function calls that are needed just to make types work out.  Examples are lifting functions with monad transformers, or even just the pure/return functions for applicative functors/monads.

In this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell.  The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus.  I mostly focus here on how subtype constraints allow typing any term (which seems surprising).You can join the telegram group for discussion related to the podcast.

It's the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford and Dan Ivovich to dive into the prospect of types in the Elixir programming language! They break down their research on set-theoretical typing and highlight their goal of creating a type system that supports as many Elixir idioms as possible while balancing simplicity and pragmatism. José, Guillaume, and Giuseppe talk about what initially sparked this project, the challenges in bringing types to Elixir, and the benefits that the Elixir community can expect from this exciting work. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth. Key Topics Discussed in this Episode: Adding type safety to Elixir through set theoretical typing How the team chose a type system that supports as many Elixir idioms as possible Balancing simplicity and pragmatism in type system design Addressing challenges like typing maps, pattern matching, and guards The tradeoffs between Dialyzer and making types part of the core language Advantages of typing for catching bugs, documentation, and tooling The differences between typing in the Gleam programming language vs. Elixir The possibility of type inference in a set-theoretic type system The history and development of set-theoretic types over 20 years Gradual typing techniques for integrating typed and untyped code How José and Giuseppe initially connected through research papers Using types as a form of "mechanized documentation" The risks and tradeoffs of choosing syntax Cheers to another decade of Elixir! A big thanks to this season's guests and all the listeners! Links and Resources Mentioned in this Episode: Bringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 (https://youtu.be/gJJH7a2J9O8) Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 (https://youtu.be/Jf5Hsa1KOc8) OCaml industrial-strength functional programming https://ocaml.org/ ℂDuce: a language for transformation of XML documents http://www.cduce.org/ Ballerina coding language https://ballerina.io/ Luau coding language https://luau-lang.org/ Gleam type language https://gleam.run/ "The Design Principles of the Elixir Type System" (https://www.irif.fr/_media/users/gduboc/elixir-types.pdf) by G. Castagna, G. Duboc, and J. Valim "A Gradual Type System for Elixir" (https://dlnext.acm.org/doi/abs/10.1145/3427081.3427084) by M. Cassola, A. Talagorria, A. Pardo, and M. Viera "Programming with union, intersection, and negation types" (https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf), by Giuseppe Castagna "Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" (https://www.irif.fr/~gc/papers/covcon-again.pdf) by Giuseppe Castagna "A reckless introduction to Hindley-Milner type inference" (https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference) Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim.

Swift News will now be released every other Monday - Subscribe or follow me on twitter to be notified of new episodes. In this episode we discuss John Gruber's The Talk Show, SwiftUI Matched Geometry Effect as well as SwiftUI Data Flow. We also talk about design, code quality, Facebook SDK, Type Inference, ARKit & More! Swift News Video: https://youtu.be/XWCFMgUMDTA More information about my iOS Development courses: https://seanallen.teachable.com/ Link to my book - How I Became an iOS Developer: https://gumroad.com/l/sean-allen-origin Twitter: https://www.twitter.com/seanallen_dev Instagram: @seanallen_dev YouTube Channel: https://www.youtube.com/seanallen Portfolio: https://seanallen.co Are you a gamer? I'm now streaming video games on Twitch as well: https://twitch.tv/seanallen Book and learning recommendations (Affiliate Links): Ray Wenderlich Books: https://store.raywenderlich.com/a/20866/link/1 Ray Wenderlich Video Tutorials: https://store.raywenderlich.com/a/20866/link/24 Paul Hudson's Hacking With Swift: https://gumroad.com/a/762098803 Learn Advanced Swift Here: https://gumroad.com/a/656585843 My Developer & YouTube Setup: https://www.amazon.com/shop/seanallen --- Support this podcast: https://anchor.fm/seanallen/support

Start of discussion of some of technology and culture that lead to more concise code in functional programming languages. Type inference to avoid writing types for local and input variables. Some basics of static and dynamic typing.

News! https://www.theregister.co.uk/2019/04/01/npm_layoff_staff/ Static Typing in JavaScript What is the problem with the existing JavaScript Type System? I have strings, booleans, objects, numbers, arrays… what more do you need? Trusting what the code does, trusting what the team does. How can we enforce type safety in JavaScript? Transpiler checks: TypeScript and Flow Both have type definitions that must be published for dependencies People feel comfortable for different reasons, flow feels more like javascript, typescript has better windows support. What other advantages do we get from using types? (Paul) Failing faster (Paul) Fail faster during TDD. (Mat - You can also possibly eliminate some tests by encoding meaning with types) (Paul) Your future self won’t hate your present self (encode more meaning.) (Paul) “Help Me (IDE) Help You” … IDE integrations, TS LS refactoring (Paul) Less tests needed as whole chunks are “safe” (Mat) Safe assumptions made by tools/code generators (Types enable Tools) Why would someone not want to use a tool? An upfront time investment is required Some gaps with full DOM API How do we decide between them? (Mat) Gettings teams up-to-speed (good or bad depending on team background) (Paulo) Nowadays is easy for one to decide for TS, because its huge adoption and community + more types libraries types available. (Paulo) For simple static type check, flow would be better option. (Mat) TS alternative would be //ts-check and/or tsdoc (Paulo) In the past, Type Inference using Flow was better, but it looks like is not anymore. (Mat) Edge case - Flow can type nested React components, TS cannot Big win - generating types from graphql :) What is the “cost” of using these tools? (David) Making a small, seemingly innocuous change can trigger a Flow massacre; can take hours to fix. (Paul) You have to think first. Writing down the shape of your props, or state, or whatever can be irritating. (Mat) Getting teams up to speed - upfront cost for learning/training - downstream benefits guarding against large codebase regression (Paul) You’re almost guaranteed to have build-tool-version pain, or @types skew pain, etc. (Paulo) When working with flow, you don't feel like writing another language, even though TS is a super set of JS, but it can scare away beginners. TS lock you down to a new ecosystem, where in flow you still can use your old babel. ##Panelists Mat Warger Paul Everitt Paulo Griiettner ##Hosts Todd Gardner DavidWalsh This episode is sponsored by TrackJS JavaScript Error Monitoring. Find and fix the bugs in your web application with the context to see real user errors. Start your free trial at TrackJS.com.

Mike Fikes talks about his recent work adding type inference to the ClojureScript compiler, the AOT cache, cljs.main, Clojurists Together, Graal.js, and Apropos.. CLJS-2865 Optimize string expression concatenation Type inference under :advanced compilation Parameter type inference Graal.js AOT cache Clojurists Together Apropos Clojure

Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three ingredients: a powerful type system for size analysis and a sound type inference procedure for it, a ticking monadic transformation and constraint solving. Noticeably, the presented methodology can be fully automated, and is able to analyse a series of examples which cannot be handled by most competitor methodologies. This is possible due to various key ingredients, and in particular an abstract index language and index polymorphism at higher ranks. A prototype implementation is available.

01:49 - Erik Michaels-Ober Introduction Twitter GitHub Ruby Rogues Episode #127: Erik Michaels-Ober 02:07 - The Crystal Programming Language and Statically Typed Programming Languages Erik Michaels-Ober: An Introduction to Crystal @ PolyConf 15 06:54 - Type Inference Union Types Duck Typing Monkey Patching Sandi Metz Blog Post on the Wrong Abstraction 15:06 - Crystal vs Rust or Go 20:10 - Linting Rubocop 20:44 - Type Annotations and Perimeters Keyword Arguments 22:53 - The History of Crystal and its Development as a Language Crystal Docs Crystal GitHub Repo The Future of Crystal (Christmastime Blog Post) 24:41 - Annotation and Return Value 25:35 - Type Inferencing (Cont’d) 28:24 - Crystal REPL (ICR) 32:15 - Getting Involved with Crystal and the Development of the Language Crystal to_proc 40:08 - Threading and Concurrency 44:28 - Crystalshards Crystal Weekly 49:30 - Use Cases and Benchmarks Crystal Standard Library wc.cr 01:03:15 - Compile Errors     More on Crystal Erik Michaels-Ober: Crystal Programming Language @ RubyC 2015 Interview for RubyC-2015 with Erik Michaels-Ober Built-in formatting tool Issue Picks Easy Bash Prompt Generator (Jessica) Logitech Wireless Headset Dual H820e Double-Ear Stereo Business Headset (David) Ruby Rogues Episode #127: Erik Michaels-Ober (Erik) fish shell (Erik) Rails Girls Summer of Code (Erik) RescueTime (Avdi) The 7 Habits of Highly Effective People: Powerful Lessons in Personal Change by Stephen R. Covey (Avdi) Whiplash White IPA (Avdi)

01:49 - Erik Michaels-Ober Introduction Twitter GitHub Ruby Rogues Episode #127: Erik Michaels-Ober 02:07 - The Crystal Programming Language and Statically Typed Programming Languages Erik Michaels-Ober: An Introduction to Crystal @ PolyConf 15 06:54 - Type Inference Union Types Duck Typing Monkey Patching Sandi Metz Blog Post on the Wrong Abstraction 15:06 - Crystal vs Rust or Go 20:10 - Linting Rubocop 20:44 - Type Annotations and Perimeters Keyword Arguments 22:53 - The History of Crystal and its Development as a Language Crystal Docs Crystal GitHub Repo The Future of Crystal (Christmastime Blog Post) 24:41 - Annotation and Return Value 25:35 - Type Inferencing (Cont’d) 28:24 - Crystal REPL (ICR) 32:15 - Getting Involved with Crystal and the Development of the Language Crystal to_proc 40:08 - Threading and Concurrency 44:28 - Crystalshards Crystal Weekly 49:30 - Use Cases and Benchmarks Crystal Standard Library wc.cr 01:03:15 - Compile Errors     More on Crystal Erik Michaels-Ober: Crystal Programming Language @ RubyC 2015 Interview for RubyC-2015 with Erik Michaels-Ober Built-in formatting tool Issue Picks Easy Bash Prompt Generator (Jessica) Logitech Wireless Headset Dual H820e Double-Ear Stereo Business Headset (David) Ruby Rogues Episode #127: Erik Michaels-Ober (Erik) fish shell (Erik) Rails Girls Summer of Code (Erik) RescueTime (Avdi) The 7 Habits of Highly Effective People: Powerful Lessons in Personal Change by Stephen R. Covey (Avdi) Whiplash White IPA (Avdi)

01:49 - Erik Michaels-Ober Introduction Twitter GitHub Ruby Rogues Episode #127: Erik Michaels-Ober 02:07 - The Crystal Programming Language and Statically Typed Programming Languages Erik Michaels-Ober: An Introduction to Crystal @ PolyConf 15 06:54 - Type Inference Union Types Duck Typing Monkey Patching Sandi Metz Blog Post on the Wrong Abstraction 15:06 - Crystal vs Rust or Go 20:10 - Linting Rubocop 20:44 - Type Annotations and Perimeters Keyword Arguments 22:53 - The History of Crystal and its Development as a Language Crystal Docs Crystal GitHub Repo The Future of Crystal (Christmastime Blog Post) 24:41 - Annotation and Return Value 25:35 - Type Inferencing (Cont’d) 28:24 - Crystal REPL (ICR) 32:15 - Getting Involved with Crystal and the Development of the Language Crystal to_proc 40:08 - Threading and Concurrency 44:28 - Crystalshards Crystal Weekly 49:30 - Use Cases and Benchmarks Crystal Standard Library wc.cr 01:03:15 - Compile Errors     More on Crystal Erik Michaels-Ober: Crystal Programming Language @ RubyC 2015 Interview for RubyC-2015 with Erik Michaels-Ober Built-in formatting tool Issue Picks Easy Bash Prompt Generator (Jessica) Logitech Wireless Headset Dual H820e Double-Ear Stereo Business Headset (David) Ruby Rogues Episode #127: Erik Michaels-Ober (Erik) fish shell (Erik) Rails Girls Summer of Code (Erik) RescueTime (Avdi) The 7 Habits of Highly Effective People: Powerful Lessons in Personal Change by Stephen R. Covey (Avdi) Whiplash White IPA (Avdi)

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)

01:46 - Dan Wahlin Introduction Twitter GitHub Blog The Wahlin Group Pluralsight Author Page 02:29 - Background and Involvement in the Angular Community [YouTube] Dan Wahlin: AngularJS in 20ish Minutes (ng-conf 2014) [YouTube] TypeScript and ES6 Dan Wahlin & Andrew Connell (ng-conf2015) 04:16 - TypeScript TypeScript Source Code 06:02 - Why Care About TypeScript? 07:20 - ES3, ES5, ES6 10:00 - Type Support 11:41 - Refactoring 12:39 - Microsoft Involvement Open Source Source Open (Pull Request Acceptance) 17:45 - Benefits and Concerns .d.ts tslint 20:07 - TypeScript and Angular Directives and Providers Services vs Factories Functional Programming 24:11 - TypeScript and Angular 2 Angular.io 25:28 - Collaboration (AtScript => TypeScript) Annotations and Naming Conventions 30:47 - The Angular Community and TypeScript Tooling and Transpiling Babel traceur WebStorm 36:38 - Type Inference ng-flow Picks Avengers: Age of Ultron (John) Star Wars: Episode VII - The Force Awakens (John) .d.ts (John) Lord of the Rings (Katya) Avengers: Age of Ultron (Katya) Matterhorn: A Novel of the Vietnam War by Karl Marlantes (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 1: Becoming a Kartograph-er (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 2: Exploring the World (of Ng2) (Aaron) [Pluralsight] TypeScript Fundamentals by John Papa and Dan Wahlin (Lukas) DefinitelyTyped (Ward) Kent Meyers: The Quietest Place in the Universe: Digging For Dark Matter in An Abandoned Mine (Ward) Daredevil (Joe) GoFundMe (Joe) [GoFundMe] Send Samantha to Miss Amazing! (Joe) Headspace (Dan) Faker.js (Dan)

01:46 - Dan Wahlin Introduction Twitter GitHub Blog The Wahlin Group Pluralsight Author Page 02:29 - Background and Involvement in the Angular Community [YouTube] Dan Wahlin: AngularJS in 20ish Minutes (ng-conf 2014) [YouTube] TypeScript and ES6 Dan Wahlin & Andrew Connell (ng-conf2015) 04:16 - TypeScript TypeScript Source Code 06:02 - Why Care About TypeScript? 07:20 - ES3, ES5, ES6 10:00 - Type Support 11:41 - Refactoring 12:39 - Microsoft Involvement Open Source Source Open (Pull Request Acceptance) 17:45 - Benefits and Concerns .d.ts tslint 20:07 - TypeScript and Angular Directives and Providers Services vs Factories Functional Programming 24:11 - TypeScript and Angular 2 Angular.io 25:28 - Collaboration (AtScript => TypeScript) Annotations and Naming Conventions 30:47 - The Angular Community and TypeScript Tooling and Transpiling Babel traceur WebStorm 36:38 - Type Inference ng-flow Picks Avengers: Age of Ultron (John) Star Wars: Episode VII - The Force Awakens (John) .d.ts (John) Lord of the Rings (Katya) Avengers: Age of Ultron (Katya) Matterhorn: A Novel of the Vietnam War by Karl Marlantes (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 1: Becoming a Kartograph-er (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 2: Exploring the World (of Ng2) (Aaron) [Pluralsight] TypeScript Fundamentals by John Papa and Dan Wahlin (Lukas) DefinitelyTyped (Ward) Kent Meyers: The Quietest Place in the Universe: Digging For Dark Matter in An Abandoned Mine (Ward) Daredevil (Joe) GoFundMe (Joe) [GoFundMe] Send Samantha to Miss Amazing! (Joe) Headspace (Dan) Faker.js (Dan)

01:46 - Dan Wahlin Introduction Twitter GitHub Blog The Wahlin Group Pluralsight Author Page 02:29 - Background and Involvement in the Angular Community [YouTube] Dan Wahlin: AngularJS in 20ish Minutes (ng-conf 2014) [YouTube] TypeScript and ES6 Dan Wahlin & Andrew Connell (ng-conf2015) 04:16 - TypeScript TypeScript Source Code 06:02 - Why Care About TypeScript? 07:20 - ES3, ES5, ES6 10:00 - Type Support 11:41 - Refactoring 12:39 - Microsoft Involvement Open Source Source Open (Pull Request Acceptance) 17:45 - Benefits and Concerns .d.ts tslint 20:07 - TypeScript and Angular Directives and Providers Services vs Factories Functional Programming 24:11 - TypeScript and Angular 2 Angular.io 25:28 - Collaboration (AtScript => TypeScript) Annotations and Naming Conventions 30:47 - The Angular Community and TypeScript Tooling and Transpiling Babel traceur WebStorm 36:38 - Type Inference ng-flow Picks Avengers: Age of Ultron (John) Star Wars: Episode VII - The Force Awakens (John) .d.ts (John) Lord of the Rings (Katya) Avengers: Age of Ultron (Katya) Matterhorn: A Novel of the Vietnam War by Karl Marlantes (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 1: Becoming a Kartograph-er (Aaron) Tyler Russell: An Angular2 Timezone Picker - Part 2: Exploring the World (of Ng2) (Aaron) [Pluralsight] TypeScript Fundamentals by John Papa and Dan Wahlin (Lukas) DefinitelyTyped (Ward) Kent Meyers: The Quietest Place in the Universe: Digging For Dark Matter in An Abandoned Mine (Ward) Daredevil (Joe) GoFundMe (Joe) [GoFundMe] Send Samantha to Miss Amazing! (Joe) Headspace (Dan) Faker.js (Dan)

01:08 - Dropping the “JS” 02:15 - Announcements from ng-conf Blog Post 03:20 - Angular Internationalization (i18n) 05:27 - Annotations Yehuda Katz and Rob Eisenberg Reflection and Injection 09:24 - Runtime, Type Inference, and Dealing with Types at Runtime in TypeScript Metaprogramming Dependency Injection 11:05 - The Stability of the Current State of Angular Directives AngularDart 12:51 - forEach syntax change (from ! to *) 13:30 - Binding/Syntax [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 “Motivation” Angular Design Docs 17:34 - Two-way Data Binding 20:30 - Observables 22:04 - Two-way Data Binding (Cont’d) 25:22 - Directives (Angular 1 vs 2) How Do You Integrate HTML Templating with the ECMAScript 6 Module System? Template Annotation Use Cases ​27:39 - Why Declare Imports in JavaScript? 32:37 - Using Globals with WebComponents Tooling Property Binding 35:23 - Winning Hearts: Moving From Angular 1 => 2 Getting Started with Angular 2? Current Status: No Docs; Missing Pieces WE WANT FEEDBACK! But first: View the Angular Design Docs Watch: [YouTube] Brad Green and Igor Minar: ng-conf 2015 Keynote 1 [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 ng-vegas News Sponsors! Get in touch: joeeames@gmail.com Now LIVE! ng-vegas Speaker List AngularU News Coming to California in June! Picks angular2_calendar (Joe) ng-vegas (Joe) ng-conf 2015 YouTube Channel (Ward) [YouTube] Shai Reznik: ng-wat (Chuck) The New Angular.io Site (Lukas) Coding Like a Girl (Brad) Didgeridoo at ng-conf (Igor) Angular 2 (Miško) [YouTube] Dave Smith: Angular + React = Speed + Dave’s Addendum (Igor)

01:08 - Dropping the “JS” 02:15 - Announcements from ng-conf Blog Post 03:20 - Angular Internationalization (i18n) 05:27 - Annotations Yehuda Katz and Rob Eisenberg Reflection and Injection 09:24 - Runtime, Type Inference, and Dealing with Types at Runtime in TypeScript Metaprogramming Dependency Injection 11:05 - The Stability of the Current State of Angular Directives AngularDart 12:51 - forEach syntax change (from ! to *) 13:30 - Binding/Syntax [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 “Motivation” Angular Design Docs 17:34 - Two-way Data Binding 20:30 - Observables 22:04 - Two-way Data Binding (Cont’d) 25:22 - Directives (Angular 1 vs 2) How Do You Integrate HTML Templating with the ECMAScript 6 Module System? Template Annotation Use Cases ​27:39 - Why Declare Imports in JavaScript? 32:37 - Using Globals with WebComponents Tooling Property Binding 35:23 - Winning Hearts: Moving From Angular 1 => 2 Getting Started with Angular 2? Current Status: No Docs; Missing Pieces WE WANT FEEDBACK! But first: View the Angular Design Docs Watch: [YouTube] Brad Green and Igor Minar: ng-conf 2015 Keynote 1 [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 ng-vegas News Sponsors! Get in touch: joeeames@gmail.com Now LIVE! ng-vegas Speaker List AngularU News Coming to California in June! Picks angular2_calendar (Joe) ng-vegas (Joe) ng-conf 2015 YouTube Channel (Ward) [YouTube] Shai Reznik: ng-wat (Chuck) The New Angular.io Site (Lukas) Coding Like a Girl (Brad) Didgeridoo at ng-conf (Igor) Angular 2 (Miško) [YouTube] Dave Smith: Angular + React = Speed + Dave’s Addendum (Igor)

01:08 - Dropping the “JS” 02:15 - Announcements from ng-conf Blog Post 03:20 - Angular Internationalization (i18n) 05:27 - Annotations Yehuda Katz and Rob Eisenberg Reflection and Injection 09:24 - Runtime, Type Inference, and Dealing with Types at Runtime in TypeScript Metaprogramming Dependency Injection 11:05 - The Stability of the Current State of Angular Directives AngularDart 12:51 - forEach syntax change (from ! to *) 13:30 - Binding/Syntax [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 “Motivation” Angular Design Docs 17:34 - Two-way Data Binding 20:30 - Observables 22:04 - Two-way Data Binding (Cont’d) 25:22 - Directives (Angular 1 vs 2) How Do You Integrate HTML Templating with the ECMAScript 6 Module System? Template Annotation Use Cases ​27:39 - Why Declare Imports in JavaScript? 32:37 - Using Globals with WebComponents Tooling Property Binding 35:23 - Winning Hearts: Moving From Angular 1 => 2 Getting Started with Angular 2? Current Status: No Docs; Missing Pieces WE WANT FEEDBACK! But first: View the Angular Design Docs Watch: [YouTube] Brad Green and Igor Minar: ng-conf 2015 Keynote 1 [YouTube] Misko Hevery and Rado Kirov: ng-conf 2015 Keynote 2 ng-vegas News Sponsors! Get in touch: joeeames@gmail.com Now LIVE! ng-vegas Speaker List AngularU News Coming to California in June! Picks angular2_calendar (Joe) ng-vegas (Joe) ng-conf 2015 YouTube Channel (Ward) [YouTube] Shai Reznik: ng-wat (Chuck) The New Angular.io Site (Lukas) Coding Like a Girl (Brad) Didgeridoo at ng-conf (Igor) Angular 2 (Miško) [YouTube] Dave Smith: Angular + React = Speed + Dave’s Addendum (Igor)

In this weeks pre-recorded show we introduce the Java and C# languages, discussing how the two relate and diverge in design. Starting off with a brief history on the two languages, we move on to the different setup environments and IDE options available to you. Leading on from this we touch upon some of the technical differences, such as - Value/Reference Types, Unified Type System, Exception Handling, Type Inference, LINQ and Extension Methods. Finally, Edd goes on a little ASP.NET tagerent and a brief delve into the crazy world of the ‘java.util’ package.

In this Episode we talk about the Scala language with its creator Martin Odersky. Scala is a language that fuses object oriented and functional programming. Martin started out by providing a two-minute overview over the language, and then talked a little bit about its history. We then discussed the basics of functional programming. The main part of the episode features a discussion of some of the important features of the Scala language: Case Classes and Pattern Matching Multiple Inheritance and Compound Types, Traits, Mixins Closures Functions as types, "Function pointers", Anonymous functions Higher Order Functions Currying (Sequence) Comprehensions Generics Type Bounds (Upper, Lower) Static/Dynamic Typing, Type Inference Operators Implicits We then talked about Scala's actors library, a highly scalable concurrency package. The last part of the episode covered some more general topics, such as where and how Scala is used today, IDE support and the user and developer community. We concluded the episode by looking at current development and next steps in Scala language evolution.

In this Episode we talk about the Scala language with its creator Martin Odersky. Scala is a language that fuses object oriented and functional programming. Martin started out by providing a two-minute overview over the language, and then talked a little bit about its history. We then discussed the basics of functional programming. The main part of the episode features a discussion of some of the important features of the Scala language: Case Classes and Pattern Matching Multiple Inheritance and Compound Types, Traits, Mixins Closures Functions as types, "Function pointers", Anonymous functions Higher Order Functions Currying (Sequence) Comprehensions Generics Type Bounds (Upper, Lower) Static/Dynamic Typing, Type Inference Operators Implicits We then talked about Scala's actors library, a highly scalable concurrency package. The last part of the episode covered some more general topics, such as where and how Scala is used today, IDE support and the user and developer community. We concluded the episode by looking at current development and next steps in Scala language evolution.

In this Episode we talk about the Scala language with its creator Martin Odersky. Scala is a language that fuses object oriented and functional programming. Martin started out by providing a two-minute overview over the language, and then talked a little bit about its history. We then discussed the basics of functional programming. The main part of the episode features a discussion of some of the important features of the Scala language: Case Classes and Pattern Matching Multiple Inheritance and Compound Types, Traits, Mixins Closures Functions as types, "Function pointers", Anonymous functions Higher Order Functions Currying (Sequence) Comprehensions Generics Type Bounds (Upper, Lower) Static/Dynamic Typing, Type Inference Operators Implicits We then talked about Scala's actors library, a highly scalable concurrency package. The last part of the episode covered some more general topics, such as where and how Scala is used today, IDE support and the user and developer community. We concluded the episode by looking at current development and next steps in Scala language evolution.