SlideShare a Scribd company logo
1 of 35
Download to read offline
Once upon a time there was a small company
with a large codebase. That codebase had been
written in the well understood languages of
"VeeBeeDotNet" and "CeeSharp".
After a while, more people started working for the
small company, and while they all knew some
“CeeSharp” and “VeeBeeDotNet”, some of them
also spoke strange foreign languages like "Erlang"
and "EffSharp". They liked these languages, and
were unwilling to give up what they saw as their
powerful magical properties of purity. So they
hatched a plan…
etting the
scene
"Alphabet-Golden-Bible-letter-S" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons-
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-S.svg#/media/File:Alphabet-Golden-Bible-letter-S.svg
https://www.flickr.com/photos/donkeyhotey/16339664626 CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.0/
ear is the
mind killer
"Alphabet-Golden-Bible-letter-F" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons -
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-F.svg
•Change is hard – and risky
•Need to convince:
•Management
•Your peers
Fear is the mind killer
[Dan Luu’s] post “The Empirical
Evidence That Types Affect Productivity
and Correctness” summarizes a large
set of papers and goes through each
one in order to describe what it is
trying to measure and how well it does
it. In almost every paper, he has valid
critique of the experiment, methodology
and approach.
https://medium.com/@jlouis666/proglang-design-with-evidence-1444213f3902
ilute the
risk
"Alphabet-Golden-Bible-letter-D" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons -
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-D.svg
•Fix the badly broken
Dilute the risk
<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="12.0" DefaultTar
<Import Project="$(MSBuildExtensions
<PropertyGroup>
<Configuration Condition=" '$(Conf
<Platform Condition=" '$(Platform)
<SchemaVersion>2.0</SchemaVersi
<ProjectGuid>023b9a33-3d12-4878
<OutputType>Library</OutputType>
•Fix the badly broken
•Pick an interoperable language
Dilute the risk
o the
impossible
"Alphabet-Golden-Bible-letter-D" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons -
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-D.svg
•What’s so risky it’s never been
done?
•Can a functional language help?
Do the impossible
“Ripper 5” Storn Cook, http://www.enworld.org/forum/showthread.php?161795-Storn-s-art-for-swipin-!/page12
CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.5/
The Heroes
Type
Providers
Pattern
Matching
Concurrency
Currying
Metaprogramming
teal from
the best
"Alphabet-Golden-Bible-letter-S" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons-
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-S.svg#/media/File:Alphabet-Golden-Bible-letter-S.svg
•If you can’t go to the functional
language…
•…bring the functional concepts
to yours
•And then tell people where they
came from!
Steal from the best
Actors
Property Based Testing
inally
"Alphabet-Golden-Bible-letter-F" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the
Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1]
http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons -
http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-F.svg
Teach
https://www.flickr.com/photos/vancouver-archives/6345489958
CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.0/
“Old Paper” background courtesy of http://www.pieceofeight.com/
https://www.flickr.com/photos/67779350@N00/167159577/ Attribution 2.0 Generic (CC BY 2.0)
Questions?
@mavnn
http://blog.mavnn.co.uk
@15below_tech
http://www.15below.com

More Related Content

Recently uploaded

Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...Abortion Clinic
 
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAOpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAShane Coughlan
 
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024SimonedeGijt
 
Artyushina_Guest lecture_YorkU CS May 2024.pptx
Artyushina_Guest lecture_YorkU CS May 2024.pptxArtyushina_Guest lecture_YorkU CS May 2024.pptx
Artyushina_Guest lecture_YorkU CS May 2024.pptxAnnaArtyushina1
 
Weeding your micro service landscape.pdf
Weeding your micro service landscape.pdfWeeding your micro service landscape.pdf
Weeding your micro service landscape.pdftimtebeek1
 
Evolving Data Governance for the Real-time Streaming and AI Era
Evolving Data Governance for the Real-time Streaming and AI EraEvolving Data Governance for the Real-time Streaming and AI Era
Evolving Data Governance for the Real-time Streaming and AI Eraconfluent
 
Transformer Neural Network Use Cases with Links
Transformer Neural Network Use Cases with LinksTransformer Neural Network Use Cases with Links
Transformer Neural Network Use Cases with LinksJinanKordab
 
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale Ibrida
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale IbridaUNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale Ibrida
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale IbridaNeo4j
 
The mythical technical debt. (Brooke, please, forgive me)
The mythical technical debt. (Brooke, please, forgive me)The mythical technical debt. (Brooke, please, forgive me)
The mythical technical debt. (Brooke, please, forgive me)Roberto Bettazzoni
 
Modern binary build systems - PyCon 2024
Modern binary build systems - PyCon 2024Modern binary build systems - PyCon 2024
Modern binary build systems - PyCon 2024Henry Schreiner
 
What Goes Wrong with Language Definitions and How to Improve the Situation
What Goes Wrong with Language Definitions and How to Improve the SituationWhat Goes Wrong with Language Definitions and How to Improve the Situation
What Goes Wrong with Language Definitions and How to Improve the SituationJuha-Pekka Tolvanen
 
GraphSummit Milan - Visione e roadmap del prodotto Neo4j
GraphSummit Milan - Visione e roadmap del prodotto Neo4jGraphSummit Milan - Visione e roadmap del prodotto Neo4j
GraphSummit Milan - Visione e roadmap del prodotto Neo4jNeo4j
 
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Andreas Granig
 

Recently uploaded (20)

Abortion Pill Prices Mthatha (@](+27832195400*)[ 🏥 Women's Abortion Clinic In...
Abortion Pill Prices Mthatha (@](+27832195400*)[ 🏥 Women's Abortion Clinic In...Abortion Pill Prices Mthatha (@](+27832195400*)[ 🏥 Women's Abortion Clinic In...
Abortion Pill Prices Mthatha (@](+27832195400*)[ 🏥 Women's Abortion Clinic In...
 
Abortion Pill Prices Aliwal North ](+27832195400*)[ 🏥 Women's Abortion Clinic...
Abortion Pill Prices Aliwal North ](+27832195400*)[ 🏥 Women's Abortion Clinic...Abortion Pill Prices Aliwal North ](+27832195400*)[ 🏥 Women's Abortion Clinic...
Abortion Pill Prices Aliwal North ](+27832195400*)[ 🏥 Women's Abortion Clinic...
 
Abortion Clinic in Bloemfontein [(+27832195400*)]🏥Safe Abortion Pills In Bloe...
Abortion Clinic in Bloemfontein [(+27832195400*)]🏥Safe Abortion Pills In Bloe...Abortion Clinic in Bloemfontein [(+27832195400*)]🏥Safe Abortion Pills In Bloe...
Abortion Clinic in Bloemfontein [(+27832195400*)]🏥Safe Abortion Pills In Bloe...
 
Abortion Pill Prices Rustenburg [(+27832195400*)] 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Rustenburg [(+27832195400*)] 🏥 Women's Abortion Clinic i...Abortion Pill Prices Rustenburg [(+27832195400*)] 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Rustenburg [(+27832195400*)] 🏥 Women's Abortion Clinic i...
 
Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...
Abortion Pill Prices Jane Furse ](+27832195400*)[ 🏥 Women's Abortion Clinic i...
 
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCAOpenChain Webinar: AboutCode and Beyond - End-to-End SCA
OpenChain Webinar: AboutCode and Beyond - End-to-End SCA
 
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024
Wired_2.0_CREATE YOUR ULTIMATE LEARNING ENVIRONMENT_JCON_16052024
 
Artyushina_Guest lecture_YorkU CS May 2024.pptx
Artyushina_Guest lecture_YorkU CS May 2024.pptxArtyushina_Guest lecture_YorkU CS May 2024.pptx
Artyushina_Guest lecture_YorkU CS May 2024.pptx
 
Weeding your micro service landscape.pdf
Weeding your micro service landscape.pdfWeeding your micro service landscape.pdf
Weeding your micro service landscape.pdf
 
Evolving Data Governance for the Real-time Streaming and AI Era
Evolving Data Governance for the Real-time Streaming and AI EraEvolving Data Governance for the Real-time Streaming and AI Era
Evolving Data Governance for the Real-time Streaming and AI Era
 
Transformer Neural Network Use Cases with Links
Transformer Neural Network Use Cases with LinksTransformer Neural Network Use Cases with Links
Transformer Neural Network Use Cases with Links
 
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale Ibrida
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale IbridaUNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale Ibrida
UNI DI NAPOLI FEDERICO II - Il ruolo dei grafi nell'AI Conversazionale Ibrida
 
The mythical technical debt. (Brooke, please, forgive me)
The mythical technical debt. (Brooke, please, forgive me)The mythical technical debt. (Brooke, please, forgive me)
The mythical technical debt. (Brooke, please, forgive me)
 
Modern binary build systems - PyCon 2024
Modern binary build systems - PyCon 2024Modern binary build systems - PyCon 2024
Modern binary build systems - PyCon 2024
 
What Goes Wrong with Language Definitions and How to Improve the Situation
What Goes Wrong with Language Definitions and How to Improve the SituationWhat Goes Wrong with Language Definitions and How to Improve the Situation
What Goes Wrong with Language Definitions and How to Improve the Situation
 
Abortion Pill Prices Germiston ](+27832195400*)[ 🏥 Women's Abortion Clinic in...
Abortion Pill Prices Germiston ](+27832195400*)[ 🏥 Women's Abortion Clinic in...Abortion Pill Prices Germiston ](+27832195400*)[ 🏥 Women's Abortion Clinic in...
Abortion Pill Prices Germiston ](+27832195400*)[ 🏥 Women's Abortion Clinic in...
 
微信号购买
微信号购买微信号购买
微信号购买
 
GraphSummit Milan - Visione e roadmap del prodotto Neo4j
GraphSummit Milan - Visione e roadmap del prodotto Neo4jGraphSummit Milan - Visione e roadmap del prodotto Neo4j
GraphSummit Milan - Visione e roadmap del prodotto Neo4j
 
Abortion Pill Prices Jane Furse ](+27832195400*)[🏥Women's Abortion Clinic in ...
Abortion Pill Prices Jane Furse ](+27832195400*)[🏥Women's Abortion Clinic in ...Abortion Pill Prices Jane Furse ](+27832195400*)[🏥Women's Abortion Clinic in ...
Abortion Pill Prices Jane Furse ](+27832195400*)[🏥Women's Abortion Clinic in ...
 
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024Automate your OpenSIPS config tests - OpenSIPS Summit 2024
Automate your OpenSIPS config tests - OpenSIPS Summit 2024
 

Featured

Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPTEverything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPTExpeed Software
 
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage EngineeringsProduct Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage EngineeringsPixeldarts
 
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental HealthHow Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental HealthThinkNow
 
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfmarketingartwork
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024Neil Kimberley
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)contently
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsKurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summarySpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentLily Ray
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best PracticesVit Horky
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project managementMindGenius
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...RachelPearson36
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Applitools
 

Featured (20)

Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPTEverything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
 
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage EngineeringsProduct Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
 
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental HealthHow Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
 
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
 
Skeleton Culture Code
Skeleton Culture CodeSkeleton Culture Code
Skeleton Culture Code
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
 

Functional Programming in an Imperitive World

  • 1.
  • 2. Once upon a time there was a small company with a large codebase. That codebase had been written in the well understood languages of "VeeBeeDotNet" and "CeeSharp". After a while, more people started working for the small company, and while they all knew some “CeeSharp” and “VeeBeeDotNet”, some of them also spoke strange foreign languages like "Erlang" and "EffSharp". They liked these languages, and were unwilling to give up what they saw as their powerful magical properties of purity. So they hatched a plan…
  • 3. etting the scene "Alphabet-Golden-Bible-letter-S" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons- http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-S.svg#/media/File:Alphabet-Golden-Bible-letter-S.svg
  • 4.
  • 5. https://www.flickr.com/photos/donkeyhotey/16339664626 CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.0/
  • 6. ear is the mind killer "Alphabet-Golden-Bible-letter-F" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons - http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-F.svg
  • 7. •Change is hard – and risky •Need to convince: •Management •Your peers Fear is the mind killer
  • 8.
  • 9. [Dan Luu’s] post “The Empirical Evidence That Types Affect Productivity and Correctness” summarizes a large set of papers and goes through each one in order to describe what it is trying to measure and how well it does it. In almost every paper, he has valid critique of the experiment, methodology and approach. https://medium.com/@jlouis666/proglang-design-with-evidence-1444213f3902
  • 10. ilute the risk "Alphabet-Golden-Bible-letter-D" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons - http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-D.svg
  • 11. •Fix the badly broken Dilute the risk
  • 12. <?xml version="1.0" encoding="utf-8"?> <Project ToolsVersion="12.0" DefaultTar <Import Project="$(MSBuildExtensions <PropertyGroup> <Configuration Condition=" '$(Conf <Platform Condition=" '$(Platform) <SchemaVersion>2.0</SchemaVersi <ProjectGuid>023b9a33-3d12-4878 <OutputType>Library</OutputType>
  • 13.
  • 14. •Fix the badly broken •Pick an interoperable language Dilute the risk
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20. o the impossible "Alphabet-Golden-Bible-letter-D" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons - http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-D.svg
  • 21. •What’s so risky it’s never been done? •Can a functional language help? Do the impossible
  • 22. “Ripper 5” Storn Cook, http://www.enworld.org/forum/showthread.php?161795-Storn-s-art-for-swipin-!/page12 CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.5/ The Heroes
  • 28. teal from the best "Alphabet-Golden-Bible-letter-S" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons- http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-S.svg#/media/File:Alphabet-Golden-Bible-letter-S.svg
  • 29. •If you can’t go to the functional language… •…bring the functional concepts to yours •And then tell people where they came from! Steal from the best
  • 32.
  • 33. inally "Alphabet-Golden-Bible-letter-F" by SVG Perhelion (Original unknown) - Own work; Shaw, Henry: “Alphabets & Numbers of the Middle Ages” (1845) FROM THE GOLDEN BIBLE, Printed at Augsburg[1] http://www.archive.org/details/handbookofmediae00shawrich. Licensed under CC BY 3.0 via Wikimedia Commons - http://commons.wikimedia.org/wiki/File:Alphabet-Golden-Bible-letter-F.svg#/media/File:Alphabet-Golden-Bible-letter-F.svg
  • 34. Teach https://www.flickr.com/photos/vancouver-archives/6345489958 CC licensed - http://creativecommons.org/licenses/by-nc-sa/2.0/
  • 35. “Old Paper” background courtesy of http://www.pieceofeight.com/ https://www.flickr.com/photos/67779350@N00/167159577/ Attribution 2.0 Generic (CC BY 2.0) Questions? @mavnn http://blog.mavnn.co.uk @15below_tech http://www.15below.com

Editor's Notes

  1. Not finished 5-6 F#ers Most new code still C#
  2. Company started 2000 RyanAir VB6 csv processing Microsoft shop
  3. Changing personal comms Changing expectations Changing code base
  4. Buy in that change needed But: don’t kill the golden goose 2+ million lines of code in 2012 Rapidly expanding development team
  5. Lot’s going on: C#, Git, TeamCity, Automated Deploys What about functional? 15min
  6. Need to convince up (risk averse monetarily) Need to convince across (change aversion, new skills required)
  7. Can’t just point at a study and came an RoI Don’t sell FP: sell a solution to a problem That might mean FP is a by product of your solution Jesper L. Andersen
  8. Need to reduce fear How? 15-20 min
  9. Fix the badly broken
  10. Things that work really well together Keep the old, use with the new Unit tests!
  11. Sproc.Lock, Parser code
  12. Play framework
  13. Not so sure Java -> Clojure?
  14. Or ClojureScript, FunScript, PureScript, Ocamljs, ghcjs, scala.js…
  15. 25-30min
  16. Hard to be compatible? Can’t find anything already broken? Look for the “impossible” that hasn’t been done yet.
  17. Find something the current tech is bad at Come in like a superhero Convince management and rest of team
  18. Compile time checks of interesting things (write your own printf) Explore complex datasets Looks magic! Even (especially?) to non experts
  19. *NOT DOMAIN READABILITY!* Massive savings of time/code in certain types of scenarios Parsing Rules logic (Active patterns)
  20. Side effect of purity …but lots of good options in functional langs
  21. Huge readability gain for non-coders {} people will tell you it looks strange But get the domain experts to read the code (Jane Street, Simon Cousins)
  22. Not actually related to FP But lots of FP langs have good metaprogramming
  23. Bring concepts from functional programming into the existing codebase Publicise where they came from! 35min
  24. Bring concepts from functional programming into the existing codebase Publicise where they came from!
  25. Message passing with the actor model Akka(.net) Functional? Maybe. Build awareness/acceptance
  26. Property based testing QuickCheck, FsCheck Just keep on putting shapes that match in
  27. Just write functional code! And teach others too
  28. 40min
  29. DevEds A selection from the above: unit tests, build scripting, FsCheck, parsing DevEds (Linus Pauling)