Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Function-oriented programming with Elixir
Search
Adolfo Neto
September 24, 2021
Education
0
54
Function-oriented programming with Elixir
This is a talk I gave at the Elixir Kenya meetup on September 24th, 2021.
Adolfo Neto
September 24, 2021
Tweet
Share
More Decks by Adolfo Neto
See All by Adolfo Neto
Some numbers of the Brazilian Elixir Community in 2022
adolfont
1
110
Property-based Testing with Elixir
adolfont
0
43
Curso de StreamYard 2021
adolfont
1
180
How podcasts can help you learn Elixir and become a better developer
adolfont
0
100
Quer aprender a programar? Pergunte-me como!
adolfont
0
35
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
150
The Elixir Community: A Preliminary Characterization
adolfont
3
550
A Comunidade de Elixir
adolfont
3
500
Programas de Pós- Graduação em Computação na UTFPR Curitiba
adolfont
0
41
Other Decks in Education
See All in Education
Ch4_-_Cours_1.pdf
bernhardsvt
0
130
Informasi Program Coding Camp 2025 powered by DBS Foundation
codingcamp2025
0
160
(元)教育担当がお伝えする、若手社員が成長しまくるOJTポイント
masakiokuda
0
160
Nodiレクチャー 「CGと数学」講義資料 2024/11/19
masatatsu
1
300
小学校プログラミング教育、次の5年に向けて 〜つくること・学ぶことの歓びへ〜 /NextGenerationOfProgrammingEducation
kiriem
2
360
Казармы и гарнизоны
pnuslide
0
170
保育士チームが実践している連続的な観察と多面的な観察を共有するための振り返り / Reflection to share “continuous and multifaceted observations” as practiced by a team of childcare professionals
psj59129
0
3.3k
The Task is not the End: The Role of Task Repetition and Sequencing In Language Teaching
uranoken
0
300
Поступай в ТОГУ 2025
pnuslide
0
16k
ISMS審査準備ブック_サンプル【LRM 情報セキュリティお役立ち資料】
lrm
0
1.1k
Ch2_-_Partie_1.pdf
bernhardsvt
0
140
ニュースメディアにおける生成 AI の活用と開発 / UTokyo Lecture Business Introduction
upura
0
230
Featured
See All Featured
Building an army of robots
kneath
303
45k
The Invisible Side of Design
smashingmag
299
50k
The Straight Up "How To Draw Better" Workshop
denniskardys
232
140k
Automating Front-end Workflow
addyosmani
1368
200k
Embracing the Ebb and Flow
colly
84
4.6k
The World Runs on Bad Software
bkeepers
PRO
67
11k
Navigating Team Friction
lara
183
15k
RailsConf 2023
tenderlove
29
1k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
Bash Introduction
62gerente
611
210k
How GitHub (no longer) Works
holman
314
140k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
129
19k
Transcript
Function-oriented programming with Elixir Adolfo Neto Elixir Kenya Meetup
Overview - Who am I? - Why Elixir? - What
is a mathematical function? - Functions in Programming Please ask questions during the talk
Who am I? - Associate Professor at the Federal University
of Technology - Paraná - Curitiba, Brazil
None
None
None
At UTFPR I teach Introduction to Functional Programming
I am part of three podcasts. Elixir em Foco is
one of them
I have been a guest of Elixir Mix twice
I am a member of the Education, Training, & Adoption
Working Group of the Erlang Ecosystem Foundation
I have a YouTube channel called Elixir, Erlang and the
BEAM with Adolfo Neto
Why Elixir?
What is a Mathematical Function?
Computability: Computable Functions Logic and the Foundations of Math Richard
.L. Epstein & Walter Alexandre Carnielli
FUNCTIONS IN PROGRAMMING
None
https://miro.com/app/board/o9J_l1S_Cow=/
Questions? Suggestions?
Functional programming from a theorist’s perspective by Rhea Moutafis
adolfont.github.io @adolfont
Additional links: - Livebook of the presentation: https://github.com/adolfont/pensandoemelixir/blob/main/2021/elixir_kenya.md - Witchcraft
https://github.com/witchcrafters/witchcraft - ICFP'21 Tutorials - Teaching Functional Programming https://youtu.be/tdJsUCdGZbQ - Racket https://racket-lang.org/ - CAES005 - Introduction to Functional Programming https://github.com/adolfont/caes005-introduction-to-functional-programming
None