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
83
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
24
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
61
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
180
The Elixir Community: A Preliminary Characterization
adolfont
3
630
A Comunidade de Elixir
adolfont
3
580
Other Decks in Education
See All in Education
Geografía y Fútbol: Chattanooga Geografía del Búnker de La Roja.
juanmartin2026
1
11k
[2026前期火5] 論理学(京都大学文学部 前期 第11回)「ハーモニー:三層モデルと保存拡大」
yatabe
0
190
Visionary Initiative: Future Intelligence — Laying the foundations for the future of science, intelligence, and society | Science Tokyo
sciencetokyo
PRO
0
180
1人 × AI、1か月でここまで作れる ー 数年前の外注換算3.8〜7.4億円・241〜379人月分の作業を、AI費用 約10万円・31日で
frievea
0
110
Examen de Selectividad. Geografía junio 2026 (Convocatoria Ordinaria). UCLM
juanmartin2026
1
3.4k
Visionary Initiative: Future Intelligence 「未来の知性と社会の礎を築く」|Science Tokyo(東京科学大学)
sciencetokyo
PRO
0
1.1k
Center for Entrepreneurship Education | Science Tokyo (Institute of Science Tokyo)
sciencetokyo
PRO
0
170
JAWS-UG初心者支部#81 GWにEduJAWSと何か作ろうもくもく会!
otsuki
0
150
生成AI時代のエンジニア育成について考えてみた
akasan
0
190
勾配ブースティングと決定木の話 / gradient boosting and decision trees
kaityo256
PRO
7
1.7k
Dashboards - Lecture 11 - Information Visualisation (4019538FNR)
signer
PRO
1
2.8k
We部コミュニティスライド2026-04-24
junhat6
0
200
Featured
See All Featured
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
11
980
Ruling the World: When Life Gets Gamed
codingconduct
0
290
How to make the Groovebox
asonas
2
2.3k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
4k
Skip the Path - Find Your Career Trail
mkilby
1
170
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
28
3.6k
Principles of Awesome APIs and How to Build Them.
keavy
128
18k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
31
10k
GraphQLの誤解/rethinking-graphql
sonatard
75
12k
Claude Code のすすめ
schroneko
67
230k
Designing for Timeless Needs
cassininazir
1
430
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
4.5k
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