27: Christiaan Baaij The Haskell Interlude podcast

Artwork

Conteúdo fornecido por Haskell Podcast. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Haskell Podcast ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

The Haskell Interlude « »
27: Christiaan Baaij

1+ y ago 50:44

Compartilhar

MP3•Home de episódios

Conteúdo fornecido por Haskell Podcast. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Haskell Podcast ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.

Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit restrictions](https://gitlab.haskell.org/ghc/ghc/-/commit/b592bd98ff25730bbe3c13d6f62a427df8c78e28). However, Christiaan did [some other work on OSX linking](https://gitlab.haskell.org/ghc/ghc/-/commit/f7be53ac9dac85b83e7fe5ecede01b98a572ba48) and some of the [RPATH handling](https://github.com/haskell/cabal/pull/2255/commits).

… continue reading

58 episódios

Artwork

27: Christiaan Baaij

The Haskell Interlude

23 subscribers

published 1+ y ago

Compartilhar

MP3•Home de episódios

Conteúdo fornecido por Haskell Podcast. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Haskell Podcast ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.

Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit restrictions](https://gitlab.haskell.org/ghc/ghc/-/commit/b592bd98ff25730bbe3c13d6f62a427df8c78e28). However, Christiaan did [some other work on OSX linking](https://gitlab.haskell.org/ghc/ghc/-/commit/f7be53ac9dac85b83e7fe5ecede01b98a572ba48) and some of the [RPATH handling](https://github.com/haskell/cabal/pull/2255/commits).

… continue reading

58 episódios

Todos os episódios

×

Bem vindo ao Player FM!

O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.

Ouça a 500+ tópicos