Elixir Mix

Join our weekly discussion of the popular functional language built on top of the Erlang virtual machine. Each week, we discuss the world of Elxiir, Phoenix, OTP, and then BEAM.Become a supporter of this podcast: https://www.spreaker.com/podcast/elixir-mix--6102049/support.

https://topenddevs.com/podcasts/elixir-mix

subscribe
share






EMx 060: Property-Based Testing, Dialyzer, & Inaka with Brujo Benavides


Sponsors

  • Sentry– use the code “devchat” for two months free on Sentry’s small plan

  • CacheFly

Panel
  • Mark Ericksen

  • Eric Oestrich

  • Michael Ries

Joined by Special Guest: Brujo Benavides

Summary

Brujo Benavides shares what he is working on right now and how his team feels about working in both Elixir and Erlang. He shares what his team has gotten out of using Elixir and what he thinks his team will get out of Elixir in the future. The panel discusses property-based testing and Fred Hebert’s book on property-based testing. Brujo shares use cases that would benefit from property-based testing and those that would benefit from unit testing. The panel considers dialyzer and shares their experiences using it in their code. Brujo explains how he chooses which tools to use for a project. Inaka is discussed; Brujo explains what they are all about and how to join. Upcoming conferences that Inaka is organizing is outlined and details on how to buy tickets are given.

 

Links

  • EMx 031: Lessons from a Decade of Erlang with Brujo Benavides 
  • https://elixir-lang.org/docs.html 

  • EMx 047: Property Based Testing with PropEr and Fred Hebert

  • My Take on Property-Based Testing for Erlang & Elixir 

  • https://github.com/proper-testing/proper 

  • Help Dialyzer Help You!

  • http://erlang.org/doc/man/dialyzer.html 

  • http://erlang.org/doc/man/dialyzer.html#gui-0 

  • http://erlang.org/doc/apps/dialyzer/dialyzer_chapter.html#dialyzer_gui 

  • Erlang Oddities - Brujo Benavides 

  • https://github.com/inaka/elvis 

  • https://hex.pm/packages/dialyxir 

  • https://github.com/inaka 

  • https://github.com/inaka/guidelines 

  • https://spawnfest.github.io/ 

  • https://www.elixirconf.la/ 

  • https://twitter.com/elbrujohalcon 

  • https://github.com/elbrujohalcon 

  • https://www.facebook.com/Elixir-Mix

  • https://twitter.com/elixir_mix

Picks

Mark Ericksen:

  • https://www.destroyallsoftware.com/talks/wat 

  • I am Mother 

Eric Oestrich:

  • https://grapevine.haus/ 

  • https://github.com/oestrich/telnet-elixir 

Michael Ries:

  • Foam board

  • https://devchat.tv/elixir-mix/

Brujo Benavides:

  • http://spawnedshelter.com/ 

  • http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15777

Special Guest: Brujo Benavides.



Advertising Inquiries: https://redcircle.com/brands

Privacy & Opt-Out: https://redcircle.com/privacy


fyyd: Podcast Search Engine
share








 July 16, 2019  1h8m