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
17
Some numbers of the Brazilian Elixir Community in 2022
adolfont
1
160
Property-based Testing with Elixir
adolfont
0
78
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
57
Produção e Divulgação de Podcasts como Atividade de Extensão
adolfont
0
180
The Elixir Community: A Preliminary Characterization
adolfont
3
620
A Comunidade de Elixir
adolfont
3
570
Other Decks in Education
See All in Education
Implicit and Cross-Device Interaction - Lecture 10 - Next Generation User Interfaces (4018166FNR)
signer
PRO
2
2.3k
Gesture-based Interaction - Lecture 6 - Next Generation User Interfaces (4018166FNR)
signer
PRO
1
2.3k
Tangible, Embedded and Embodied Interaction - Lecture 7 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
2.3k
SL AMIGOS 教育格差と私たちの取り組み - スリランカの支援学校への支援プロジェクト:リシンドゥ リオ 氏 (別府溝部学園短期大学 ビジネス観光コース 留学生):2720 Japan O.K. ロータリーEクラブ2026年4月6日卓話
2720japanoke
0
610
SARA Annual Report 2025-26
sara2023
1
360
Lectura 1 (PIT : Python Basico)
robintux
0
350
Protecting Patrons with Digital Vendors
dsalo
0
180
自己紹介 / who-am-i
yasulab
6
6.8k
Measuring what matters
jonoalderson
0
400
Alumnote inc. Company Deck
yukinumata
1
19k
Visualisation Techniques - Lecture 8 - Information Visualisation (4019538FNR)
signer
PRO
1
3.1k
AIには考えられないことを考えられる人になるために
iqbocchi
1
130
Featured
See All Featured
Marketing Yourself as an Engineer | Alaka | Gurzu
gurzu
0
210
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.7k
A Modern Web Designer's Workflow
chriscoyier
698
190k
Building Better People: How to give real-time feedback that sticks.
wjessup
370
20k
Building a Scalable Design System with Sketch
lauravandoore
463
34k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
234
17k
New Earth Scene 8
popppiees
3
2.3k
What Being in a Rock Band Can Teach Us About Real World SEO
427marketing
0
250
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
52
6k
The AI Revolution Will Not Be Monopolized: How open-source beats economies of scale, even for LLMs
inesmontani
PRO
3
3.5k
How to audit for AI Accessibility on your Front & Back End
davetheseo
0
400
First, design no harm
axbom
PRO
2
1.2k
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