Making Imperative Functional: Dyadic Decomposition by Eduardo Lemos
Compressors are usually implemented imperatively. Pointers and mutation are in the spotlight and it is not hard to put yourself into some spaghetti code. How functional programming abstractions deal with it? In this presentation, I explain one instance in which some of them fit like a glove to the problem on hand, going all the way from intuition to actual code.
https://doi.org/10.1109/VCIP47243.201...
https://doi.org/10.1109/LSP.2020.2965322
https://github.com/pointcloud-unb/hGe...
Eduardo Lemos
I'm a software developer and a master's student who uses Functional Programming on both sides.
https://duing.dev/
/ eduardo-lemos-rocha-3198a5149
Video sponsor – Ada Beat
https://adabeat.com
Merch
If you want to spread functional programming and support the channel, buy something from the shop:
https://funcprogsweden.myspreadshop.net/
Chapters:
00:00 Introduction by Magnus Sedlacek
02:57 Ada Beat is the video sponsor
04:12 Welcome Eduardo Lemos
04:46 Who am I?
06:24 What is FP?
08:36 Dyadic Decomposition using Functional lenses
09:30 Point clouds
11:30 Octree
11:43 Dyadic Decomposition
17:34 Tri-Force
20:20 Point Cloud input
20:57 Parsing
21:58 Encoder
24:25 Tri-Force
28:00 Point Cloud
29:01 Encoder
32:56 Combing forms
35:25 More Pieces
37:52 Q&A
#funcprogsweden