Artwork

Tweag I/O에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Tweag I/O 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.
Player FM -팟 캐스트 앱
Player FM 앱으로 오프라인으로 전환하세요!

Linear types AMA with Richard Eisenberg, Krzysztof Gogolewski and Arnaud Spiwack

1:16:25
 
공유
 

저장한 시리즈 ("피드 비활성화" status)

When? This feed was archived on March 27, 2023 17:04 (1y ago). Last successful fetch was on November 21, 2022 14:50 (1+ y ago)

Why? 피드 비활성화 status. 잠시 서버에 문제가 발생해 팟캐스트를 불러오지 못합니다.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 288823715 series 2809070
Tweag I/O에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Tweag I/O 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.

Three core developers from the Haskell linear types team are on this show: Arnaud Spiwack, Richard Eisenberg and Krzysztof Gogolewski. They have conceived, reviewed and implemented the Haskell linear types extension that is shipped with the latest compiler version. Linear types allow to express that a function uses an argument exactly once in its type signature which opens all kinds of possibilities.

In this episode, Arnaud, Richard and Krzysztof give a short introduction to linear types and then answer community questions that have been asked on reddit. The questions that are answered are outlined below. Links and further material are available on the episode website on compositional.fm/linear-types-ama .

Thank you for contributing the questions and happy listening!

MP3 Chapters:

[00:00:00] Introduction

Questions:

[00 : 12 : 40] Will using linear types throughout my program improve performance?

[00 : 16 : 14] If I see a function with linear type in it's type signature, what kinds of things might it tell me about the purpose or use cases for that function?

[00 : 20 : 51] How might LinearTypes pave the way for an alternative to conduit,pipes, and other streaming IO libraries?

[00 : 23 : 31] Are linear types inferable with the Hindley-Milner algorithm?

[00 : 24 : 54] Are the current boxed linear containers the first step or all that is planned for now?

[00 : 26 : 31] Are nested linear containers possible?

[00 : 30 : 37] There were plans for a safe coerce-style freezing api, does that still seem workable?

[00 : 31 : 44] What is the state of the linear case/let/if/where mechanism?

[00 : 35 : 15] Are there any thoughts about ressource guarantees or RAII types in some far utopian future?

[00 : 41 : 17] How do the Haskell linear types compare to the Rust equivalent?

[00 : 48 : 02] What are the scenarios where the use of linear types makes a lot of sense?

[00 : 51 : 19] Will we get linear functions taking and returning a state token that can effectively replace IO?

[00 : 59 : 10] What benefit will linear types bring to a garbage collected language like Haskell?

[01 : 02 : 13] Is an automatic "C-like" memory management separate from Haskell's garbage collector on the linear types roadmap?

[01 : 02 : 58] Could strictness analysis results be used to suggest extra linear arrows with an optional warning?

[01 : 04 : 04] What are limitations and recommendations concerning migration of existing code?

[01 : 04 : 58] To what extent can a package mix code that uses linear types with code that does not use linear types?

[01 : 07 : 50] What is the recommended practice for migrating existing libraries to use linear types?

Special Guests: Arnaud Spiwack, Krzysztof Gogolewski, and Richard Eisenberg.

Links:

  continue reading

16 에피소드

Artwork
icon공유
 

저장한 시리즈 ("피드 비활성화" status)

When? This feed was archived on March 27, 2023 17:04 (1y ago). Last successful fetch was on November 21, 2022 14:50 (1+ y ago)

Why? 피드 비활성화 status. 잠시 서버에 문제가 발생해 팟캐스트를 불러오지 못합니다.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 288823715 series 2809070
Tweag I/O에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Tweag I/O 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.

Three core developers from the Haskell linear types team are on this show: Arnaud Spiwack, Richard Eisenberg and Krzysztof Gogolewski. They have conceived, reviewed and implemented the Haskell linear types extension that is shipped with the latest compiler version. Linear types allow to express that a function uses an argument exactly once in its type signature which opens all kinds of possibilities.

In this episode, Arnaud, Richard and Krzysztof give a short introduction to linear types and then answer community questions that have been asked on reddit. The questions that are answered are outlined below. Links and further material are available on the episode website on compositional.fm/linear-types-ama .

Thank you for contributing the questions and happy listening!

MP3 Chapters:

[00:00:00] Introduction

Questions:

[00 : 12 : 40] Will using linear types throughout my program improve performance?

[00 : 16 : 14] If I see a function with linear type in it's type signature, what kinds of things might it tell me about the purpose or use cases for that function?

[00 : 20 : 51] How might LinearTypes pave the way for an alternative to conduit,pipes, and other streaming IO libraries?

[00 : 23 : 31] Are linear types inferable with the Hindley-Milner algorithm?

[00 : 24 : 54] Are the current boxed linear containers the first step or all that is planned for now?

[00 : 26 : 31] Are nested linear containers possible?

[00 : 30 : 37] There were plans for a safe coerce-style freezing api, does that still seem workable?

[00 : 31 : 44] What is the state of the linear case/let/if/where mechanism?

[00 : 35 : 15] Are there any thoughts about ressource guarantees or RAII types in some far utopian future?

[00 : 41 : 17] How do the Haskell linear types compare to the Rust equivalent?

[00 : 48 : 02] What are the scenarios where the use of linear types makes a lot of sense?

[00 : 51 : 19] Will we get linear functions taking and returning a state token that can effectively replace IO?

[00 : 59 : 10] What benefit will linear types bring to a garbage collected language like Haskell?

[01 : 02 : 13] Is an automatic "C-like" memory management separate from Haskell's garbage collector on the linear types roadmap?

[01 : 02 : 58] Could strictness analysis results be used to suggest extra linear arrows with an optional warning?

[01 : 04 : 04] What are limitations and recommendations concerning migration of existing code?

[01 : 04 : 58] To what extent can a package mix code that uses linear types with code that does not use linear types?

[01 : 07 : 50] What is the recommended practice for migrating existing libraries to use linear types?

Special Guests: Arnaud Spiwack, Krzysztof Gogolewski, and Richard Eisenberg.

Links:

  continue reading

16 에피소드

모든 에피소드

×
 
Loading …

플레이어 FM에 오신것을 환영합니다!

플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.

 

빠른 참조 가이드