BT
Older rss
48:05
Development Follow 613 Followers

From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System

Posted by Ryan Lemmer  on  May 05, 2018 Posted by Ryan Lemmer Follow 0 Followers  on  May 05, 2018

Ryan Lemmer takes a look at Haskell’s type system, including extensions: GADTs, multi-param type-classes, functional dependencies, type functions, kind polymorphism, type promotion, etc.

59:38
JavaScript Follow 385 Followers

Deconstructing TypeScript’s Type System

Posted by Spencer Schneidenbach  on  Nov 21, 2017 Posted by Spencer Schneidenbach Follow 0 Followers  on  Nov 21, 2017

Spencer Schneidenbach discusses some of the advanced type features of TypeScript, including intersection types, type guards, nullable types, type aliases, string literals, and discriminated unions.

36:18
Development Follow 613 Followers

Scala Typeclasses

Posted by Emanuele Blanco  on  Nov 15, 2017 Posted by Emanuele Blanco Follow 1 Followers  on  Nov 15, 2017

Emanuele Blanco introduces Scala’s typeclasses, discussing when to use them and how to implement them, looking at some examples and figuring out how to do more with less code.

42:17
Development Follow 613 Followers

Category Theory for the Working Hacker

Posted by Philip Wadler  on  Jul 28, 2016 1 Posted by Philip Wadler Follow 5 Followers  on  Jul 28, 2016 1

Philip Wadler on why category theory is relevant for developers, discussing the principle of Propositions as Types connecting propositions and proofs in logic, and types and programs in computing.

44:55
Java Follow 947 Followers

Types Working for You, Not against You

Posted by Richard Dallaway  on  May 15, 2016 Posted by Richard Dallaway Follow 0 Followers  on  May 15, 2016

Richard Dallaway shows an example of what Scala looks like when using pattern matching over classes, how to encode an idea into types and use advanced features of Scala without complicating the code.

49:17
Java Follow 947 Followers

Contracts in Clojure: Settling Types vs Tests

Posted by Jessica Kerr  on  Mar 06, 2016 Posted by Jessica Kerr Follow 2 Followers  on  Mar 06, 2016

Jessica Kerr talks about Clojure and explores the potential of contracts as the best-yet compromise between types and tests.

18:22
Followers

Finding Minimum Type Error Sources

Posted by Zvonimir Pavlinovic  on  Apr 17, 2015 Posted by Zvonimir Pavlinovic Follow 0 Followers , Tim King Follow 0 Followers , Thomas Wies Follow 0 Followers  on  Apr 17, 2015

The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.

16:59
Followers

Confined Gradual Typing

Posted by Esteban Allende  on  Mar 18, 2015 Posted by Esteban Allende Follow 0 Followers , Johan Fabry Follow 0 Followers , Ronald Garcia Follow 0 Followers , Éric Tanter Follow 0 Followers  on  Mar 18, 2015

The authors discuss gradual typing, combining static’s safety and dynamic’s flexibility in a single programming language by implicitly inserting casts where needed.

16:36
Followers

Rate Types for Stream Programs

Posted by Thomas Bartenstein  on  Mar 15, 2015 Posted by Thomas Bartenstein Follow 0 Followers , Yu David Liu Follow 0 Followers  on  Mar 15, 2015

Thomas Bartenstein, Yu David Liu introduce RATE TYPES, a new type system to reason about and optimize data-intensive programs, performing static quantitative reasoning about stream rates.

44:17
Followers

Data Modeling for Scale with Riak Data Types

Posted by Sean Cribbs  on  Aug 10, 2014 Posted by Sean Cribbs Follow 0 Followers  on  Aug 10, 2014

Sponsored by Basho. Sean Cribbs discusses the theory behind several rich data types introduced with Riak 2.0 and then walking through some example applications that use them in popular languages.

54:00
Followers

Scalaz 'For the Rest of Us'

Posted by Adam Rosien  on  May 23, 2014 Posted by Adam Rosien Follow 0 Followers  on  May 23, 2014

Adam Rosien introduces scalaz, how to use it to make code simpler and type safer, how it compensates for Scala issues, and how it encapsulates DI and data validation.

40:13
Development Follow 613 Followers

Scala vs Idris: Dependent Types, Now and in the Future

Posted by Miles Sabin  on  Dec 04, 2013 Posted by Miles Sabin Follow 1 Followers , Edwin Brady Follow 0 Followers  on  Dec 04, 2013

Miles Sabin and Edwin Brady exemplify what can be done with a language with dependent types, what are the limitations and what could be done in the future when dependent types reach maturity.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT