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
59
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
120
Property-based Testing with Elixir
adolfont
0
47
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
37
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
150
The Elixir Community: A Preliminary Characterization
adolfont
3
560
A Comunidade de Elixir
adolfont
3
520
Programas de Pós- Graduação em Computação na UTFPR Curitiba
adolfont
0
43
Other Decks in Education
See All in Education
Power Automate+ChatGPTを使ってエンジニア教育を改善してみた #RPALT
masakiokuda
0
170
Ch4_-_Partie_2.pdf
bernhardsvt
0
120
Tips for the Presentation - Lecture 2 - Advanced Topics in Big Data (4023256FNR)
signer
PRO
0
240
(元)教育担当がお伝えする、若手社員が成長しまくるOJTポイント
masakiokuda
0
270
推しのコミュニティはなんぼあってもいい / Let's join a lot of communities.
kaga
2
680
中野区ミライ★ライター倶楽部presents『MINT』
nakamuramikumirai
0
1k
【お子さま向け】Amazon ECS サービスディスカバリーって知ってる?【楽しい読み聞かせ】
tubone24
8
850
教員向け生成AI基礎講座(2025年3月28日 東京大学メタバース工学部 ジュニア講座)
luiyoshida
0
260
アジャイルやっていきを醸成する内製講座
nomuson
1
410
生成AI時代教育とICT支援員への期待
o_ob
0
240
失敗しないISMS取得 - コンサルティング会社の選び方_サンプル【LRM 情報セキュリティお役立ち資料】
lrm
0
260
諸外国の理科カリキュラムにおけるビッグアイデアの構造比較
arumakan
0
170
Featured
See All Featured
Into the Great Unknown - MozCon
thekraken
37
1.7k
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
16k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Making Projects Easy
brettharned
116
6.1k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
30
2.3k
KATA
mclloyd
29
14k
Making the Leap to Tech Lead
cromwellryan
133
9.2k
Art, The Web, and Tiny UX
lynnandtonic
298
20k
Stop Working from a Prison Cell
hatefulcrawdad
268
20k
For a Future-Friendly Web
brad_frost
176
9.7k
What's in a price? How to price your products and services
michaelherold
245
12k
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