The Tension Between Expediency and Correctness

Explore the balance between expediency and correctness in programming through this thought-provoking NDC Conferences talk. Delve into real-world examples illustrating the trade-offs between quick solutions and robust code, examining the pros and cons of each approach. Discover the connection between these concepts and Elixir, and learn about a complementary language that pairs well with it. Gain insights into building better software, understanding the impact of your code, and the importance of concurrency and fault tolerance. Investigate functional programming concepts, immutability, and tools like Dialyzer and QuickCheck. Examine the influence of historical figures like Alan Turing and John von Neumann on programming paradigms, and consider how functional thinking can revolutionize your approach to software development. Conclude with practical takeaways to improve your coding practices and potentially save lives through more reliable software.

Intro
BUILDING SOFTWARE BETTER (and maybe building better software)
THIS IS WHAT YOU SPEND YOUR LIFE DOING
10 MILLION MINUTES/DAY
YOUR SOFTWARE KILLS A HUMAN EVERY FOUR DAYS
OBLIGATION
CONCURRENCY
ACTOR MODEL
TRANSITION?
ELIXIR
IMMUTABLE
CONCURRENT
FAULT-TOLERANT
DIALYZER
QUICKCHECK
TRACING ERLYBERLY
JUST NEAT STUFF
UNDEFINED
QUESTIONS ON THIS PART?
BNF BACKUS NORMAL FORM
CAN PROGRAMMING BE LIBERATED FROM THE VON NEUMANN STYLE?
ALAN TURING
JOHN VON NEUMANN
(reduce +) (map *) zip
NO ASSIGNMENT
COMPOSITION
ALGEBRA
TAKEAWAYS
STOP THE MURDER
TRY ELM
THINK FUNCTIONALLY