Diese Präsentation wurde erfolgreich gemeldet.
Wir verwenden Ihre LinkedIn Profilangaben und Informationen zu Ihren Aktivitäten, um Anzeigen zu personalisieren und Ihnen relevantere Inhalte anzuzeigen. Sie können Ihre Anzeigeneinstellungen jederzeit ändern.

Programando em Elixir

262 Aufrufe

Veröffentlicht am

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

Veröffentlicht in: Technologie
  • Als Erste(r) kommentieren

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

×