Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Programando em Elixir

258 views

Published on

Lightning talk at the Elixir Meetup #1 in Curitiba https://www.meetup.com/elug_pr/events/242257679/

Published in: Technology
  • Be the first to comment

Programando em Elixir

  1. 1. Programando em Elixir: Um ponto de vista acadêmico Adolfo Neto (PPGCA-DAINF-UTFPR) @adolfont bit.ly/adolfontEn
  2. 2. Sobre mim ● Professor Associado no Departamento Acadêmico de Informática (DAINF) da UTFPR desde 2008 ● Orientador no Mestrado em Computação Aplicada (PPGCA) ● Ministro: – Lógica para Computação – Métodos Ágeis – Metodologia da Pesquisa
  3. 3. Temas de Pesquisa ● Métodos Ágeis para o Desenvolvimento de Software (TDD, PP) ● Provadores de Teoremas (Tableaux e SAT) ● Ensino de Lógica ● Encontros de Desenvolvedores (Coding Dojos, Coderetreats, Meetups)
  4. 4. Como cheguei ao Elixir ● Histórico: – 80’s: BASIC, Assembler – 90-93: Algoritmos, Pascal, C, C++, LISP – 94: Java (beta) – 2003: Java (OO, Patterns GoF), AspectJ – 2008-2010: Prolog, Ruby – 2010: Clojure (Lisp e Java) – 2014: Clojure *Meetup Durham, NC – 2015: Elixir *Mentioned in several meetups at the Research Triangle (Raleigh, Durham, Chapell Hill - NC)
  5. 5. Seven Languages in Seven Weeks
  6. 6. Seven Languages in Seven Weeks ● Prolog ● Clojure ● Haskell ● Scala ● Erlang ● Ruby ● Io
  7. 7. Seven Languages in Seven Weeks ● Erlang é uma linguagem funcional ● A sintaxe de Erlang é inspirada no do Prolog, que usa Paradigma Lógico ● “Foi desenvolvida pela Ericsson para suportar aplicações distribuídas e tolerantes a falhas a serem executadas em um ambiente de tempo real e ininterrupto” (Wikipédia)
  8. 8. Erlang
  9. 9. Seven More Languages...
  10. 10. Seven More Languages... ● Elixir ● Lua ● ...
  11. 11. Grok Podcast 2015 ● Série sobre Elixir (2015): http://www.grokpodcast.com/series/elixir/ ● Série sobre Erlang (2011): http://www.grokpodcast.com/series/erlang/
  12. 12. Mais sobre como cheguei a Elixir ● Escutava falar de Elixir nos Meetups dos EUA (04/2014-04/2015) ● Interessei-me pois o criador é brasileiro ● Elixir é funcional ● Elixir tem características de Clojure
  13. 13. Investindo tempo
  14. 14. Usando com alunos de Lógica https://gist.github.com/adolfont/521de03e09c8fac65b192302521f3b5b
  15. 15. Testes
  16. 16. Valorações Lógicas
  17. 17. Antifragilidade ● Desenvolvedores de software não podem se acomodar (na verdade, ninguém deve) ● Forma de me manter em contato com o mercado ● Problemas Reais para pesquisa ● Plano B
  18. 18. Projetos ● Mais Ensino de Lógica ● Ecossistema de Elixir (Meetups, Fóruns, Livros, Podcasts etc.) ● DPLL (SAT Solver) em Elixir
  19. 19. Erlang 2017 at ICFP http://icfp17.sigplan.org/track/erlang-2017-papers#About
  20. 20. FIM “This is good shit.” Joe Armstrong (Criador do Erlang) sobre Elixir http://joearms.github.io/2013/05/31/a-week-with-elixir.html

×