You are about to action:

Object being modified by the action

Do you want to proceed?

Share Video Link

https://www.bitchute.com/video/oVxCJ3h_Wqs/

Click to copy, then share by pasting into your messages, comments, social media posts and websites.

Embed Video HTML

Click to copy, then add into your webpages so users can view and engage with this video from your site.

Share to Social Media

Share to social media by clicking on the quick share links.

Report Content

Reason

Please select the most appropriate reason from the list provided.

Note: For a more detailed description of each reason, see our Community Guidelines.

Additional Comments

Please add any additonal comments that will help with the assessment of your request.

Note: Copyright claims must contain all the items specified within the Copyright Policy.

Email Submissions

We also accept reports via email. Please see the Guidelines Enforcement Process for instructions on how to make a request via email.

Thank you for submitting your report

We will investigate and take the appropriate action.

Add to Playlist

Functional programming, Chapter 8, part 1. Addendum. Combining `fold` operations

Next video playing soon

Click to cancel

Autoplay has been paused

Click to watch next video

First published at 20:45 UTC on June 28th, 2018.

Applied Functional Programming Theory

winitzki

subscribers

Your platform for uncensored ideas. BitChute Premium.

BitChute Advertisement

The main topic is to illustrate how several `fold` operations can be combined automatically into a single traversal. In Chapter 8, part 1, the central pieces of code were implemented automatically using the `curryhoward` library. This live coding se…

Defining a `fold` operation as a data structure and running it afterwards
Combining several `fold` operations into one
Implementing the applicative `zip` operation is possible on `fold`s despite `fold` not being a functor
Adding a final transformation to a `fold`, to make it into a functor
Implementing a DSL for `fold`s so that running average and standard deviation can be expressed concisely
Illustrating the difference between applicative and monadic combinators for `fold`s

Source code: https://github.com/winitzki/scala-examples/blob/master/chapter08/src/test/scala/example/FoldsPresentation.scala

LESS