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
84
0
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
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
26
Some numbers of the Brazilian Elixir Community in 2022
adolfont
1
170
Property-based Testing with Elixir
adolfont
0
80
Curso de StreamYard 2021
adolfont
1
210
How podcasts can help you learn Elixir and become a better developer
adolfont
0
140
Quer aprender a programar? Pergunte-me como!
adolfont
0
70
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
190
The Elixir Community: A Preliminary Characterization
adolfont
3
630
A Comunidade de Elixir
adolfont
3
590
Other Decks in Education
See All in Education
2026年度春学期 統計学 第9回 確からしさを記述する ー 確率 (2026. 5. 28)
akiraasano
PRO
0
200
Carbohydrates: Classification, Structure & Chemical Properties
pawan5505
0
120
CLASSIFICATION OF CRUDE DRUGS
pawan5505
0
110
SFプロトタイピング体験(滝中学校)
yusk1450
PRO
0
130
良書紹介08_ 頭のいい子がやっているすごいグラフの読み方
bunnchinn3
0
150
Adobe Express
matleenalaakso
2
8.4k
2026年度春学期 統計学 第13回 不確かな測定の不確かさを測る ― 不偏分散とt分布 (2026. 6. 25)
akiraasano
PRO
1
180
Antigravityを使ってGeminiAPI(NanobananaPro)と連携して挿絵メーカーを作った
yoshimura_datam
0
200
Portable & Reproducible Research Environments in the Age of AI Agents
denkiwakame
0
690
観察、仮説、実行、検証、計画、提案を一年で3000回トレーニングする方法/3000 Thinking Loops in 365 Days
moriyuya
5
1.1k
ちいかわを読め
uchi8977
1
310
Estimating Group × Time Interaction in Scale-Transformed CEFR-J Self-Assessment Scores: A Case in Study-Abroad Research
uranoken
1
220
Featured
See All Featured
How to Think Like a Performance Engineer
csswizardry
28
2.8k
Bioeconomy Workshop: Dr. Julius Ecuru, Opportunities for a Bioeconomy in West Africa
akademiya2063
PRO
1
330
Automating Front-end Workflow
addyosmani
1369
210k
Git: the NoSQL Database
bkeepers
PRO
432
67k
Leading Effective Engineering Teams in the AI Era
addyosmani
9
2.5k
Neural Spatial Audio Processing for Sound Field Analysis and Control
skoyamalab
0
440
Optimizing for Happiness
mojombo
378
71k
Groundhog Day: Seeking Process in Gaming for Health
codingconduct
0
320
Why Your Marketing Sucks and What You Can Do About It - Sophie Logan
marketingsoph
0
400
KATA
mclloyd
PRO
35
15k
SEO Brein meetup: CTRL+C is not how to scale international SEO
lindahogenes
1
2.9k
Mobile First: as difficult as doing things right
swwweet
225
10k
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