Tagged | type-system

• Modeling Permissions as Types in Typescript

  (spin.atomicobject.com)

  #type-script #design-pattern #frontend #type-system

• Presentation: Sorbet: Why and How We Built a Typechecker for Ruby

  (www.infoq.com)

  #dev-tools #ruby #compilers #type-system

• TypeScript Pick 'n Mix

  (blog.scottlogic.com)

  #programming-languages #type-script #type-system

• The Power of Types for Errors

  (developers.soundcloud.com)

  #software-engineering #software-design #software-architecture #type-system

• Safer code with container types (Either and Maybe)

  (blog.logrocket.com)

  #programming-languages #type-script #type-system

• Polyglot Influences in Python

  (8thlight.com)

  #programming-languages #python #type-system

• Static Typing in Ruby with a Side of Sorbet

  (blog.heroku.com)

  #dev-tools #ruby #compilers #type-system

• The case for Discriminated Union Types with Typescript

  (thoughtbot.com)

  #programming-languages #type-script #type-system

• Our journey to type checking 4 million lines of Python

  (blogs.dropbox.com)

  #dev-tools #programming-languages #python #compilers #type-system

• Sorbet: A Ruby type checker

  (drivy.engineering)

  #dev-tools #software-design #ruby #type-system

• The Power of Types in Idris

  (www.azavea.com)

  #programming-languages #programming-paradigm #cs-theory #type-system

• Typesafe Frontend Development

  (levelup.gitconnected.com)

  #software-engineering #programming-languages #frontend #type-system

• Presentation: Learning to Love Type Systems

  (www.infoq.com)

  #programming-languages #frontend #cs-theory #type-system

• Flow types for generators and coroutines

  (itnext.io)

  #javascript #async #type-system

• TypeScript 3.0: Exploring Tuples and the Unknown Type

  (auth0.com)

  #javascript #programming-languages #type-script #type-system

• Hardening Javascript Application with Static Type Analysis

  (tech.showmax.com)

  #javascript #flow #type-system

• Checking Types Against the Real World in TypeScript

  (www.olioapps.com)

  #javascript #type-script #type-system

• In Praise of TypeScript

  (jobs.zalando.com)

  #javascript #type-script #type-system

• The Redux Type Flow

  (hackernoon.com)

  #redux #flow #type-system