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
77
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
Some numbers of the Brazilian Elixir Community in 2022
adolfont
1
160
Property-based Testing with Elixir
adolfont
0
68
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
53
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
170
The Elixir Community: A Preliminary Characterization
adolfont
3
620
A Comunidade de Elixir
adolfont
3
560
Programas de Pós- Graduação em Computação na UTFPR Curitiba
adolfont
0
56
Other Decks in Education
See All in Education
モブ社員がモブエンジニアを名乗って得られたこと_20260413
masakiokuda
4
430
高校数学とJulia言語
shimizudan
0
150
Information Architectures - Lecture 2 - Next Generation User Interfaces (4018166FNR)
signer
PRO
1
2k
Padlet opetuksessa
matleenalaakso
12
15k
「機械学習と因果推論」入門 ② 回帰分析から因果分析へ
masakat0
0
580
「機械学習と因果推論」入門 ③ 漸近効率な推定量と二重機械学習
masakat0
0
500
演習:Gitの基本操作 / 04-git-basic
kaityo256
PRO
0
450
Data Processing and Visualisation Frameworks - Lecture 6 - Information Visualisation (4019538FNR)
signer
PRO
1
3k
Why the humanities may be your best career bet
figarospeech
0
160
AI時代において英語学習は本当に必要? ~未経験からのバイリンガルキャリアの始め方を教えます~
kekekenta
0
130
理工学系 第1回大学院説明会2026|東京科学大学(Science Tokyo)
sciencetokyo
PRO
1
1.4k
What workforce agencies must have in place to compete for and deliver on RESTART grants
territorium
PRO
0
140
Featured
See All Featured
Measuring & Analyzing Core Web Vitals
bluesmoon
9
810
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
360
30k
We Analyzed 250 Million AI Search Results: Here's What I Found
joshbly
1
1.2k
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
rkaga
61
43k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
2.8k
WENDY [Excerpt]
tessaabrams
10
37k
Evolving SEO for Evolving Search Engines
ryanjones
0
180
SEO Brein meetup: CTRL+C is not how to scale international SEO
lindahogenes
1
2.6k
Learning to Love Humans: Emotional Interface Design
aarron
275
41k
Neural Spatial Audio Processing for Sound Field Analysis and Control
skoyamalab
0
260
A Modern Web Designer's Workflow
chriscoyier
698
190k
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
livdayseo
0
100
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