Rae Ghc Defaults Type Representations

Media Summary: I run through a toy example of how using unboxed I walk through the four different strategies I explain a recent accepted proposal to remove (/=) from the Eq

Rae Ghc Defaults Type Representations - Detailed Analysis & Overview

I run through a toy example of how using unboxed I walk through the four different strategies I explain a recent accepted proposal to remove (/=) from the Eq I describe the MonoLocalBinds extension to

Photo Gallery

@rae: GHC defaults type representations at pretty arbitrary places

@rae: GHC sometimes infers the wrong type

@rae: Unboxed types in GHC

@rae: Use :type +d to default your types in GHCi

@rae: All about `deriving` in GHC

@rae: Type-checker plugins

@rae: Levity polymorphism introduction

@rae: Deferring type errors in Haskell

@rae: How to read some common GHC errors

@rae: Removing (/=) from the Eq type class

@rae: Implementing an arity-polymorphic unboxed tuple operator

@rae: Figuring out what constraints to generalize is hard

View Detailed Profile

@rae: GHC defaults type representations at pretty arbitrary places

@rae: GHC defaults type representations at pretty arbitrary places

Spurred on by https://gitlab.

@rae: GHC sometimes infers the wrong type

@rae: GHC sometimes infers the wrong type

In some

@rae: Unboxed types in GHC

@rae: Unboxed types in GHC

I run through a toy example of how using unboxed

@rae: Use :type +d to default your types in GHCi

@rae: Use :type +d to default your types in GHCi

I introduce `:

@rae: All about `deriving` in GHC

@rae: All about `deriving` in GHC

I walk through the four different strategies

@rae: Type-checker plugins

@rae: Type-checker plugins

This video walks through what a

@rae: Levity polymorphism introduction

@rae: Levity polymorphism introduction

I describe how

@rae: Deferring type errors in Haskell

@rae: Deferring type errors in Haskell

GHC

@rae: How to read some common GHC errors

@rae: How to read some common GHC errors

I go through a few common

@rae: Removing (/=) from the Eq type class

@rae: Removing (/=) from the Eq type class

I explain a recent accepted proposal to remove (/=) from the Eq

@rae: Implementing an arity-polymorphic unboxed tuple operator

@rae: Implementing an arity-polymorphic unboxed tuple operator

In the course of writing https://github.com/

@rae: Figuring out what constraints to generalize is hard

@rae: Figuring out what constraints to generalize is hard

Recent work within

@rae: Let should not be generalized: the MonoLocalBinds extension to GHC

@rae: Let should not be generalized: the MonoLocalBinds extension to GHC

I describe the MonoLocalBinds extension to