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
61
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
130
Property-based Testing with Elixir
adolfont
0
50
Curso de StreamYard 2021
adolfont
1
180
How podcasts can help you learn Elixir and become a better developer
adolfont
0
110
Quer aprender a programar? Pergunte-me como!
adolfont
0
38
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
160
The Elixir Community: A Preliminary Characterization
adolfont
3
570
A Comunidade de Elixir
adolfont
3
530
Programas de Pós- Graduação em Computação na UTFPR Curitiba
adolfont
0
44
Other Decks in Education
See All in Education
プレゼンテーション実践
takenawa
0
420
自己紹介 / who-am-i
yasulab
PRO
3
5.1k
zupanijska natjecanja
petarradanovic2
0
420
View Manipulation and Reduction - Lecture 9 - Information Visualisation (4019538FNR)
signer
PRO
1
2k
Design Guidelines and Principles - Lecture 7 - Information Visualisation (4019538FNR)
signer
PRO
0
2.3k
Interactive Tabletops and Surfaces - Lecture 5 - Next Generation User Interfaces (4018166FNR)
signer
PRO
1
1.6k
Padlet opetuksessa
matleenalaakso
4
14k
Pythonパッケージ管理 [uv] 完全入門
mickey_kubo
19
11k
社外コミュニティと「学び」を考える
alchemy1115
2
150
プログラミング教育する大学、ZEN大学
sifue
1
510
新卒研修に仕掛ける 学びのサイクル / Implementing Learning Cycles in New Graduate Training
takashi_toyosaki
1
120
予習動画
takenawa
0
530
Featured
See All Featured
How to train your dragon (web standard)
notwaldorf
92
6k
Build The Right Thing And Hit Your Dates
maggiecrowley
35
2.7k
Imperfection Machines: The Place of Print at Facebook
scottboms
267
13k
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
Fantastic passwords and where to find them - at NoRuKo
philnash
51
3.2k
GraphQLとの向き合い方2022年版
quramy
46
14k
Testing 201, or: Great Expectations
jmmastey
42
7.5k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
3k
Gamification - CAS2011
davidbonilla
81
5.3k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.9k
Done Done
chrislema
184
16k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
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