9: Polymorphism And Abstraction LambdaCast podcast

Artwork

Tech Functional Programming LambdaCast

Player FM - Internet Radio Done Right

27 subscribers

eight 年前已添加！

内容由LambdaCast提供。所有播客内容（包括剧集、图形和播客描述）均由 LambdaCast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

<

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/now-on-netflix">Now On Netflix</a></span>

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/now-on-netflix">Now On Netflix</a></span> podcast artwork

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/now-on-netflix">Now On Netflix</a></span> podcast artwork

1
Now On Netflix

5天之前5d ago

每周

Now On Netflix is your guide for what to watch this week on Netflix. Join the writers and editors from Tudum.com as they discuss the latest films and series coming to Netflix - and why you won't want to miss them! Celebrity interviews, exclusive insights, upcoming releases, and a behind-the-scenes look you won’t get anywhere else. New episodes every Thursday. https://www.netflix.com/tudum

LambdaCast « »
9: Polymorphism And Abstraction

8年之前 1:23:51

分享

MP3•单集首页

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on July 01, 2020 15:52 (5y ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

内容由LambdaCast提供。所有播客内容（包括剧集、图形和播客描述）均由 LambdaCast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Abstraction takes on a different meaning amongst functional programmers. This episode we dig into how parametric polymorphism is an essential tool in developing well behaved abstractions that transcend simply being a solution to your individual problem. John Degoes polymorphism post http://degoes.net/articles/insufficiently-polymorphic When x, y, and z are great variable names http://blog.ploeh.dk/2015/08/17/when-x-y-and-z-are-great-variable-names/

… continue reading

22集单集

#Tech #Functional Programming #LambdaCast

Artwork

9: Polymorphism And Abstraction

27 subscribers

published 8年之前

分享

MP3•单集首页

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on July 01, 2020 15:52 (5y ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

内容由LambdaCast提供。所有播客内容（包括剧集、图形和播客描述）均由 LambdaCast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Abstraction takes on a different meaning amongst functional programmers. This episode we dig into how parametric polymorphism is an essential tool in developing well behaved abstractions that transcend simply being a solution to your individual problem. John Degoes polymorphism post http://degoes.net/articles/insufficiently-polymorphic When x, y, and z are great variable names http://blog.ploeh.dk/2015/08/17/when-x-y-and-z-are-great-variable-names/

… continue reading

22集单集

#Tech #Functional Programming #LambdaCast

所有剧集

×

Artwork

1
22: Structuring Data 44:23

6 years之前44:23

44:23

This time we discuss the way data tends to be structured in functional languages and some of the similarities with databases and REST. Episode 22 patrons: Jason Sooter Jamie Rolfs Christian Hamburger Daniel Svensson Di Wen Iulian Bojinca Jonathan Fishbein Nathan Sculli Nels Wadycki Paul Naranja Peter Tillemans Thomas Varney Tyler Harper weila wei Dawn (שחר) Show Notes: CPPCast: http://cppcast.com/ John Soo - Sharing in Haskell https://wiki.haskell.org/Sharing https://stackoverflow.com/questions/1105765/generating-fibonacci-numbers-in-haskell Alejandro’s link to Phantom Types article: https://www.objc.io/blog/2014/12/29/functional-snippet-13-phantom-types/ FP Chat Slack Community: https://fpchat-invite.herokuapp.com Intro/Outro music is "Lively Lumpsucker" by Kevin MacLeod (incompetech.com) Licensed under Creative Commons: By Attribution 3.0 License…

Artwork

1
21: Type Parameters 1:14:41

7 years之前1:14:41

1:14:41

You may have seen generics in C#, Java, or Swift but there are a lot of very useful patterns using generics that rarely get used in an OO context. In this episode, we explore Type Parameters (aka generics) from a functional perspective and how using them can improve the structure of your applications. Episode 21 patrons: Scott Smith Joel McCracken Hakon Rossebo Seth Utecht Christophe Pereira da Conceicao E. Mulder Show Notes: Add a type parameter video: https://www.youtube.com/watch?v=BHjIl81HgfE Matt Parson's follow-up post: http://www.parsonsmatt.org/2017/04/08/maybe_use_a_type_parameter.html Stephen’s Twitter: https://twitter.com/S11001001 Type Parameter example in Scala: https://typelevel.org/blog/2015/09/21/change-values.html FP Chat Slack Community: https://fpchat-invite.herokuapp.com…

Artwork

1
20: Laziness 57:19

7 years之前57:19

57:19

Lazy evaluation is not normally something you hear programmers discussing but there is a lot of power available if you know how to use it. This episode we'll examine the differences between lazy and strict evaluation and look at use cases for laziness. Episode 20 patrons: Marcus Nielsen Steven Loe Ted Yavuzkurt Michael Meyers Szymon Beczkowski Parl Naranja Paul Brabban Jason Sooter Show Notes: Memoization: https://codeburst.io/functional-memoization-in-javascript-adec62508bd0 Using IEnumerable in C# to generate an infinite sequence: https://brianreiter.org/2011/01/14/ienumerable-is-lazy-and-thats-cool/ FP Chat Slack Community: https://fpchat-invite.herokuapp.com…

Artwork

1
19: Starting A Project Functionally 1:00:53

7 years之前1:00:53

1:00:53

Logan walks us through what his experience has been starting a JavaScript project in a functional style and using the best FP tools he can get in the JavaScript ecosystem. Episode 19 patrons: Nathan Sculli Lee Beck David Joyner Nihohit Charles Winebrinner FP Chat Slack Community: https://fpchat-invite.herokuapp.com…

Artwork

1
18: Monads 1:24:27

7 years之前1:24:27

1:24:27

Monads, the promised land of functional programming. Or at least with all the hype they'd better be! Come join the cast as we demystify this overhyped structure that has become an indispensable part of many functional programmer's toolkits. Episode 18 patrons: Pluton Tim Buckley Huge shout out to Marcus Nielsen Show Notes: bind :: m a -> (a -> m b) -> m b Example of do syntax vs using bind aka >>=: main = do foo <- doMonadyThing foo2 <- doOtherMonadyThing foo pure (whatever foo foo2) main = doMonadyThing >>= (\foo -> doOtherMonadyThing foo >>= (\foo2 -> pure (whatever foo foo2)) ) Extracting a value from a Maybe extract :: Just Int -> Int extract foo = case foo of Just num -> num Nothing -> 0 Railroad oriented programming talk by Scott Wlaschin fsharpforfunandprofit.com/rop/ FP Chat Slack Community: https://fpchat-invite.herokuapp.com…

Artwork

1
17: Applicative Functors 58:44

8 years之前58:44

58:44

Building on the power of functors we examine a few scenarios where a normal Functor is problematic. Fortunately, there is a closely related structure known as an Applicative Functor that can provide the capabilities to solve a broader range of problems. Episode 17 patrons: Chad Wooley David Keathley Andre Carvalho Show Notes: Coconut programming language: http://coconut-lang.org/ Hack nights instead of presentations: http://tech.noredink.com/post/142283641812/designing-meetups-to-build-better-communities class Functor f => Applicative f where pure :: Applicative f => a -> f a ap :: Applicative f => f (a -> b) -> f a -> f b Example of applicative usage: pure (+) <*> Just 3 <*> Just 2 -- this results in Just 5 (+) <$> Just 3 <*> Just 2 -- this is the same as above liftA2 (+) (Just 3) (Just 2) -- alternate form using lift instead of infix operators…

Artwork

1
16: Functors 1:06:08

8 years之前1:06:08

1:06:08

Going deeper down the category theory rabbit hole, we explore one of the most common and useful abstractions in the functional programming world. You're likely already familiar with Functors but just didn't know it yet. Episode 16 patrons: Chris Krycho Tyler Harper George Webster Show Notes: Functor map :: (a -> b) -> f a -> f b Bifunctor bimap :: (a -> b) -> (c -> d) -> f a c -> f b d Profunctor dimap :: (a -> b) -> (c -> d) -> f b c -> f a d Phil Freeman's talk on Profunctors: https://www.youtube.com/watch?v=OJtGECfksds…

Artwork

1
15: The FP Community 1:16:38

8 years之前1:16:38

1:16:38

Join us as we discuss the FP community. FP has a reputation as harsh and impenetrable but is that really the case? What can you do to make FP a more inviting place? Episode 15 patrons: Chris Lopes Gabe Johnson Randy Shepherd Noel Waghorn Correction: I incorrectly stated that one of the Recurse Center Social rules was “No Feigned Ignorance” it is actually “No Feigned Surprise” Show Notes: Cloud Haskell - http://haskell-distributed.github.io/tutorials/1ch.html Recurse Center Social Rules - https://www.recurse.com/manual Lambdaconf COC - http://fantasyland.institute/initiatives/COC.html Moonconf COC - http://maitria.com/coc Haskellbook - haskellbook.com NY Haskell speaker guide - https://docs.google.com/document/d/1065iwf918SDotEPc0q9TWP_F1haVyeK90MSaBg3IOn8/edit Spa day instead of pub meetup - https://twitter.com/sehurlburt/status/875848925529243648 Steven Syrek - https://twitter.com/sjsyrek…

Artwork

1
14: Dynamic and Static Languages 1:17:02

8 years之前1:17:02

1:17:02

The kind of type system a functional language uses has a large impact on the way you use that language. In this episode we discuss the tradeoffs involved in using a static or dynamic language. Our patreon sponsors this month: Javier Troconis Andrew Newman Derek Morr Olov Johansson Show Notes: Philip Wadler Talk: https://www.infoq.com/presentations/category-theory-propositions-principle Denotational Design Scott Wlaschin Poker Implementation https://exit.sc/?url=https%3A%2F%2Ffsharpforfunandprofit.com%2Fddd%2F Conal Elliot presentation on Denotational Design https://www.youtube.com/watch?v=bmKYiUOEo2A Our recomendation for a DDD book https://www.amazon.com/Patterns-Principles-Practices-Domain-Driven-Design/dp/1118714709…

Artwork

1
13: ADTs 1:10:07

8 years之前1:10:07

1:10:07

Algebraic Data Types (ADTs) are one of the most distinguishing features of statically typed functional languages. Come learn why they exist, how you can use them, and how they change your design. Join the FP community at http://fpchat.com Support us on Patreon at http://www.patreon.com/lambdacast Follow us on Twitter: http://twitter.com/lambdacast Show Notes: Denotational Design with the example of a Poker game https://fsharpforfunandprofit.com/ddd/…

Artwork

1
12: Monoids 1:05:33

8 years之前1:05:33

1:05:33

Into the icy maw of category theory starting with Monoids! In reality we find out it's not actually all that scary and there are some really fantastic things that we gain by understanding these basic categorical concepts. We now have a twitter account! Follow us at https://twitter.com/lambdacast We also now have a patron account if you're looking to support the show: https://www.patreon.com/lambdacast Show Notes: Haskell Diagrams library http://projects.haskell.org/diagrams/doc/quickstart.html https://vimeo.com/84104226 Chris Wilson pointed out that Haskell's Typeclassopedia has a nice chart of the relationship between Haskell's implementation of many categorical structures: https://wiki.haskell.org/wikiupload/d/df/Typeclassopedia-diagram.png…

Artwork

1
11: Aaron's C# Story 1:01:21

8 years之前1:01:21

1:01:21

We have launched our Patreon page, if you feel so inclined come support us at https://www.patreon.com/lambdacast C# Maybe(and lots more) https://github.com/louthy/language-ext Immutable Collections API https://msdn.microsoft.com/en-us/library/mt452182(v=vs.111).aspx Elm Language http://elm-lang.org/ PureScript Language http://www.purescript.org/…

Artwork

1
10: Partial Application 1:09:51

8 years之前1:09:51

1:09:51

Partial application and currying are a feature that is often mysterious to the uninitiated. Why do functional programmers care about such a seemingly useless thing? Partial application is an important part of the "FP toolkit" and we'll why and provide use cases for the importance of having partial application. Simple made easy - https://www.infoq.com/presentations/Simple-Made-Easy Scott Wlaschin https://fsharpforfunandprofit.com/fppatterns/ https://vimeo.com/113588389 - OO Patterns to FP Patterns talk Lodash/fp - https://github.com/lodash/lodash/wiki/FP-Guide Ramda - http://ramdajs.com/…

Artwork

1
9: Polymorphism And Abstraction 1:23:51

8 years之前1:23:51

1:23:51

Abstraction takes on a different meaning amongst functional programmers. This episode we dig into how parametric polymorphism is an essential tool in developing well behaved abstractions that transcend simply being a solution to your individual problem. John Degoes polymorphism post http://degoes.net/articles/insufficiently-polymorphic When x, y, and z are great variable names http://blog.ploeh.dk/2015/08/17/when-x-y-and-z-are-great-variable-names/…

Artwork

1
8: Morphisms 43:09

8 years之前43:09

43:09

Oh category theory, bastion of strange and wonderful terminology, (some might say terrible and inaccessible). Love it or hate it, you're likely to run into some terms from category theory if you spend enough time in FP land. In this episode we'll tackle some of the terms that make up the 'ism family of terms, morphism, endomorphism, isomorphism, homomorphism, and catamorphism. Denotational design talk: https://www.youtube.com/watch?v=bmKYiUOEo2A…

欢迎使用Player FM

Player FM正在网上搜索高质量的播客，以便您现在享受。它是最好的播客应用程序，适用于安卓、iPhone和网络。注册以跨设备同步订阅。

收听超过500个主题

边探索边听这个节目