Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
188 results
Yet another take on "what's a monad" in Haskell.
49,320 views
3 years ago
Hey y'all, it's @lambdalinguist, PhD Student at @ucsd_cse, my coauthors (@aaronguo069, @mistzzt, Shivani Doshi, @hilacodes, ...
447 views
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus.
1,004,425 views
7 years ago
--- Functional programming is a powerful paradigm in the programming world, where strict rules are applied in order to reduce ...
891,719 views
9 months ago
There are different styles of programming, some quite closely resemble pure mathematics. Mathematician and Computer Scientist ...
679,048 views
10 years ago
Hi, this is our presentation of our OOPSLA paper "Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell".
315 views
Improve the efficiency of recursive code by re-writing it to be tail recursive. Professor Graham Hutton explains. EXTRA BITS: ...
169,396 views
4 years ago
Thank you all for watching! If you want to see more of this, consider subscribing! In this video we will talk about higher-order ...
14,474 views
10 months ago
00:00 Introducing Haddock, Haskell's documentation tool 00:42 Solution to part 1 of day 13 02:48 Solution to part 2 of day 13 The ...
216 views
So, you can look up some Haskell documentation to see all the various type classes that are built in to Haskell. There is a very ...
2,204 views
6 years ago
Programming loops are great, but there's a point where they aren't enough. Professor Brailsford explains. EXTRA BITS: ...
1,498,629 views
00:00 Unreadable code complaint 00:15 How I write the code in Python part 1 00:47 Borrow checker from Rust complaint 01:06 ...
24 views
11 months ago
Get ready to explore the origins of the #Elixir programming language, the manner in which it handles concurrency and the speed ...
231,096 views
5 years ago
This is a simple "getting started" video, showing how to compile and run the examples for the Haskell Vulkan bindings on macOS ...
1,489 views
Plutus Pioneer Program, Iteration #3, Lecture #1, Part #3.
8,445 views
2 years ago
In this series, I'll be attempting to complete the 2021 Advent of Code in the Haskell programming language. This video explains ...
439 views
In this series, I'll be attempting to complete the 2020 Advent of Code in the Haskell programming language. 00:00 Retrospective of ...
139 views
The multicore branch of OCaml adds support for effect handlers. In this talk, we report our experiences with effects, both from ...
1,199 views
I've been exploring note taking for years, but as a Vim user who's trying to make it work for every bit of text I write, it always made ...
298,943 views
5 months ago
A quick look at Elm. Topics: - Advantages and disadvantages of JavaScript; - Basic Elm project example; - Why use Elm?
15,852 views
1 year ago