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
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
Adolfo Neto
September 24, 2021
Education
83
0
Share
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
More Decks by Adolfo Neto
See All by Adolfo Neto
Researcher's Software Toolkit
adolfont
0
16
Some numbers of the Brazilian Elixir Community in 2022
adolfont
1
160
Property-based Testing with Elixir
adolfont
0
74
Curso de StreamYard 2021
adolfont
1
200
How podcasts can help you learn Elixir and become a better developer
adolfont
0
130
Quer aprender a programar? Pergunte-me como!
adolfont
0
56
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
180
The Elixir Community: A Preliminary Characterization
adolfont
3
620
A Comunidade de Elixir
adolfont
3
570
Other Decks in Education
See All in Education
0506
cbtlibrary
0
180
Gesture-based Interaction - Lecture 6 - Next Generation User Interfaces (4018166FNR)
signer
PRO
1
2.3k
[2026前期火5] 論理学(京都大学文学部 前期 第6回)「かつとまたはの規則」
yatabe
0
200
We部コミュニティスライド2026-04-24
junhat6
0
170
Human-AI Interaction - Lecture 11 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1k
コミュニティを通じた_キャリア設計のススメ_20260424.pdf
masakiokuda
0
290
View Manipulation and Reduction - Lecture 9 - Information Visualisation (4019538FNR)
signer
PRO
1
2.7k
Course Review - Lecture 13 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
2.3k
モブ社員がモブエンジニアを名乗って得られたこと_20260413
masakiokuda
4
510
✅ レポート採点基準 / How Your Reports Are Assessed
yasslab
PRO
0
360
0526
cbtlibrary
0
140
Curso de Consagração ao Sagrado Coração de Jesus - O Sagrado Coração na História (Aula 01)
cm_manaus
0
190
Featured
See All Featured
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
Collaborative Software Design: How to facilitate domain modelling decisions
baasie
1
230
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
17k
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
konakalab
0
440
jQuery: Nuts, Bolts and Bling
dougneiner
66
8.5k
End of SEO as We Know It (SMX Advanced Version)
ipullrank
3
4.2k
Mind Mapping
helmedeiros
PRO
1
220
Un-Boring Meetings
codingconduct
0
300
Color Theory Basics | Prateek | Gurzu
gurzu
0
320
Imperfection Machines: The Place of Print at Facebook
scottboms
270
14k
16th Malabo Montpellier Forum Presentation
akademiya2063
PRO
0
140
Bootstrapping a Software Product
garrettdimon
PRO
307
120k
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