Share
Embed

Slide 1

Slide 1 text

Function-oriented programming with Elixir Adolfo Neto Elixir Kenya Meetup

Slide 2

Slide 2 text

Overview - Who am I? - Why Elixir? - What is a mathematical function? - Functions in Programming Please ask questions during the talk

Slide 3

Slide 3 text

Who am I? - Associate Professor at the Federal University of Technology - Paraná - Curitiba, Brazil

Slide 4

Slide 4 text

No content

Slide 5

Slide 5 text

No content

Slide 6

Slide 6 text

No content

Slide 7

Slide 7 text

At UTFPR I teach Introduction to Functional Programming

Slide 8

Slide 8 text

I am part of three podcasts. Elixir em Foco is one of them

Slide 9

Slide 9 text

I have been a guest of Elixir Mix twice

Slide 10

Slide 10 text

I am a member of the Education, Training, & Adoption Working Group of the Erlang Ecosystem Foundation

Slide 11

Slide 11 text

I have a YouTube channel called Elixir, Erlang and the BEAM with Adolfo Neto

Slide 12

Slide 12 text

Why Elixir?

Slide 13

Slide 13 text

What is a Mathematical Function?

Slide 14

Slide 14 text

Computability: Computable Functions Logic and the Foundations of Math Richard .L. Epstein & Walter Alexandre Carnielli

Slide 15

Slide 15 text

FUNCTIONS IN PROGRAMMING

Slide 16

Slide 16 text

No content

Slide 17

Slide 17 text

https://miro.com/app/board/o9J_l1S_Cow=/

Slide 18

Slide 18 text

Questions? Suggestions?

Slide 19

Slide 19 text

Functional programming from a theorist’s perspective by Rhea Moutafis

Slide 20

Slide 20 text

adolfont.github.io @adolfont

Slide 21

Slide 21 text

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

Slide 22

Slide 22 text

No content