Ce diaporama a bien été signalé.
Nous utilisons votre profil LinkedIn et vos données d’activité pour vous proposer des publicités personnalisées et pertinentes. Vous pouvez changer vos préférences de publicités à tout moment.

Programando em Elixir

266 vues

Publié le

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

Publié dans : Technologie
  • Soyez le premier à commenter

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

×