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
68
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
140
Property-based Testing with Elixir
adolfont
0
61
Curso de StreamYard 2021
adolfont
1
190
How podcasts can help you learn Elixir and become a better developer
adolfont
0
120
Quer aprender a programar? Pergunte-me como!
adolfont
0
46
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
160
The Elixir Community: A Preliminary Characterization
adolfont
3
600
A Comunidade de Elixir
adolfont
3
550
Programas de Pós- Graduação em Computação na UTFPR Curitiba
adolfont
0
50
Other Decks in Education
See All in Education
Introduction - Lecture 1 - Web Technologies (1019888BNR)
signer
PRO
0
5.8k
AIを使って最新研究 について調べて発表しよ う!
mickey_kubo
4
180
卒論の書き方 / Happy Writing
kaityo256
PRO
51
27k
Web Architectures - Lecture 2 - Web Technologies (1019888BNR)
signer
PRO
0
3.3k
Web 2.0 Patterns and Technologies - Lecture 8 - Web Technologies (1019888BNR)
signer
PRO
0
3k
1008
cbtlibrary
0
120
The browser strikes back
jonoalderson
0
240
くまのココロンともぐらのロジ
frievea
0
130
子どものためのプログラミング道場『CoderDojo』〜法人提携例〜 / Partnership with CoderDojo Japan
coderdojojapan
PRO
4
17k
2025年度伊藤正彦ゼミ紹介
imash
0
150
多様なメンター、多様な基準
yasulab
5
19k
Google Gemini (Gem) の育成方法
mickey_kubo
2
910
Featured
See All Featured
The untapped power of vector embeddings
frankvandijk
1
1.5k
Embracing the Ebb and Flow
colly
88
4.9k
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
techseoconnect
PRO
0
33
Producing Creativity
orderedlist
PRO
348
40k
Building Applications with DynamoDB
mza
96
6.9k
Context Engineering - Making Every Token Count
addyosmani
9
570
Accessibility Awareness
sabderemane
0
28
Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth
auna
0
30
Ten Tips & Tricks for a 🌱 transition
stuffmc
0
39
The innovator’s Mindset - Leading Through an Era of Exponential Change - McGill University 2025
jdejongh
PRO
1
74
Beyond borders and beyond the search box: How to win the global "messy middle" with AI-driven SEO
davidcarrasco
0
26
How Fast Is Fast Enough? [PerfNow 2025]
tammyeverts
3
420
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