TBA

Alena Hall is a young researcher in the field of theoretical mathematical abstractions and innovative algorithmic models possible in modern programming concepts. She is a member of F# Software Foundation Board of Trustees.

Alena currently works as a Software Architect and has more than 10 years of professional experience including complex distributed systems and cloud computing. She has become MCP at the age of 16. Alena teaches F# and speaks at international conferences.

Statically typed functional programming languages encourage a very different way of thinking about types. The type system is your friend, not an annoyance, and can be used in many ways that might not be familiar to OO programmers.

Types can be used to represent the domain in a fine-grained, self documenting way. And in many cases, types can even be used to encode business rules so that you literally cannot create incorrect code. You can then use the static type checking almost as an instant unit test — making sure that your code is correct at compile time.

In this talk, we'll look at some of the ways you can use types as part of a domain driven design process, with some simple real world examples in F#. No jargon, no maths, and no prior F# experience necessary.

Domain Driven Design with F#

Scott Wlaschin is a .NET developer, architect and author. He has over 20 years experience in a wide variety of areas from high-level UX/UI to low-level database implementations. He loves learning programming languages, his favorites being Smalltalk, but also Prolog, Python, and more recently, F#, which he blogs about at fsharpforfunandprofit.com.

People often want to extend their programming language to make it more useful. F#'s computation expressions and custom operators provide the capability for F#. We'll look at examples ranging from the built-in query to FSharp.Control.Reactive and Freya to better understand what's possible and how to leverage the feature for your own domains.

Discover the wonderful world of F# scripting, including its agonies and ecstasies. We'll work through building a simple application starting with a script and moving to the relevant library and test projects and discuss strategies for managing app settings and connection strings, as well as how to access command line arguments.

Ryan Riley is a programmer for Tachyus building a web platform for oil producers using F# and TypeScript. He also leads the Community for F# and contributes to several open source projects.

Quality is hard to define and even harder to achieve. Chris has spent the last 5 years working as a developer in a Quality role. This talk includes a philosophy on quality, lessons learned, tools, and techniques that can help you define and achieve quality in your code. Unit testing, API integration testing, UI Automation, Performance and Property based testing will be covered.

Chris is a developer with a passion for F#. His journey through the software world has had him building frontends, backends, and automation suites. In his free time he develops an open source testing framework called Canopy.

Freya is a web framework for .NET which enables users to build web services with full access to the HTTP decision tree. In this talk, we will discuss how to build a simple service with Freya. In the process, we will look at how Freya's HTTP machine is organized and demonstrate how to bind the right logic to the right decision without causing re-work later on in the handling process. Finally, we will look at how Freya is hosted, and how to serve Freya on top of both Suave and Kestrel.

Marcus Griep is a software engineer for Vistaprint. Marcus is a frequent contributor to the F# community, co-maintaining Chiron, Freya, and Hopac among other projects. Marcus also assists in managing the F# CFP process.

Wouldn't it be nice if you could use the better parts of JavaScript, without having to deal with its less pleasant aspects, and write your web applications productively and stress-free, using a sane language?

With Fable and Suave, the F# Stack of Happiness, you can do just that. Define your front-end and back-end models in F#, and compile F# to JavaScript with Fable, using whatever existing JavaSript libraries you need. Add in hot-reloading on the client and the server, and a change to a single file can be tested immediately!

In this talk, we will take quick tours of both Suave, a lightweight, cross-platform and scalable F# web server, and Fable, the F#-to-JavaScript transpiler; We will then look at the scaffolding available to combine them for quickly writing applications.

Because Fable was written to be interoperable with the vast JavaScript ecosystem, it can be used in conjunction with frameworks like React/Redux, Vue, Elm, and any others.

I'm a functional programming enthusiast that's trying to spread the word of F# in my own small way. When I'm not hacking on code I'm advocating for LGBT equality.

Reality operates on a set of rules. Through replication, Life has evolved to exist inside of these rules. By utilizing mutations, it is possible to evolve a neural network that is capable of operating inside of an artificial environment.

Jeremy Bellows is an efficient, effective, strategic engineer with a unique composition of both corporate and entrepreneurial environments. Consistent growth and a wake of accomplishments and experience in public speaking, inventing, troubleshooting, and diagnosing.

Goal-oriented, energetic team player and builder who has the strengths to manage organizational relationships in an efficient and resourceful way.

It’s not that hard! Parallelism is available to the mere mortal developer with F# agents. In this session, you will learn the basics of the Mailbox Processor and how to build a coordinated, mini-network of agents to accomplish complex tasks with maximum scalability. You’ll learn messaging basics, orchestration techniques, state-management tradeoffs – everything you need to get started.

I am a software architect with 25+ years of experience in design and development. I have been working with F# professionally for about 7 years. My expertise spans both object-oriented and functional paradigms and includes work in event processing, machine learning, time-series analysis, agent-based architectures and advanced data visualizations. I am the CEO of DeltaPoint Solutions – a firm providing architecture and strategy consulting.

At Amyris, we are taking advantage of rapid advances in automation, biology and computing to engineer microorganisms into platforms that efficiently manufacture molecules for a wide range of industrial, consumer and pharmaceutical applications. We are currently working on hundreds of molecules and as the rate of engineering has increased, biologists are facing many of the same issues faced by early software pioneers. We have been introducing many software practices to the biology community at Amyris to increase efficiency and accuracy of genetic designs.

One of these innovations is the Genotype Specification Language (GSL) which was published and released as open source in 2016. GSL takes a high level genetic design and reduces it to DNA sequences that can “run” on a micro-organism of choice. The input language is modeled on the natural language Geneticists use, with extensions borrowed from software programming languages. I will describe the social and technical challenges we have faced with this revolution and explore the implementation of the GSL compiler and how F# and its excellent compiler tools are well suited to this type of application. The talk will assume minimal background in genetics or F# and should be accessible to any bio/functional curious types.

TBA

Xamarin.UITest is an automated testing framework based on Calabash that allows you to write C#/F# that validates functionality in iOS and Android applications. The API is easy to use, and can be made even easier when we build our F# DSL.

Will Smith is a software Engineer at Microsoft. He Works with the Mobile Customer Advisory Team.

For some types of services user activity is inelastic. Think email; if you need to send 5 emails the client will send them either when you hit send (if the service is up) or queue them up until the client can connect to the service. To detect user impact where activity is inelastic it is necessary to vary the aggregate window size such that the periods of low activity (outage) and high activity (emptying the queue) can be detected against forecasted values. This talk is about how we developed a system to detect user impacting outages, the different types of outages (degraded system, component failure), and how we used Suave hosted in Azure to create a REST API and F# to create a PowerShell client module to query the service and visualize the results.

I am a senior data scientist at Microsoft. I apply data science to the site reliability domain (mostly time series analysis) and use F# and Azure to bring my work product to production.

There have been three big shifts in the computing industry that have lead to radical advances in artificial intelligence and machine learning (AI/ML). Google offers many of these capabilities to you though APIs and hardware available on Google Cloud Platform. This talk will (1) cover a brief introduction to ways AI/ML can make previously intractable problems approachable, and (2) go over all the ways you can take advantage of these capabilities for your own applications. Be prepared for lots of kickass demos!

I am an engineer manager at Google working on .NET tooling for GCP. In a former life I worked at Microsoft on F#. I do not let my inability to sing or dance interfere with having a good time.

This workshop will help library authors and F# developers to fully use the new .NET Sdk in their existing projects. I'll provide an example project, if partecipants doesnt want use their project. New .NET Sdk simplify a lot the live of F# developers, because support multiple target frameworks, cross platform (mono, .NET and .net core), add abstraction like .NET Standard and a new simplified msbuild project and extensibility

Participants can bring their existing library/project/app to the workshop and i will guide them to: - use new sdk (in parallel or directly migrating) - check for .net standard portability issues (dependencies/code) - add .net standard support for libraries - support previous target framework (.NET) - adapt build orchestration and CI (like travis/appveyor) - make it cross platform friendly to developers, not only final artifact - add unsupported profiles (like PCL) to final nuget package, with minimal maintenance

And finally add new functionalities like: - templates, using new .NET Templating - show useful basic msbuild configurability for developers and maintainers - new msbuild extensibility for library authors - add .net core support if make sense (console app) - extend .net cli tools if make sense in the project - dockerize it The participants can use their preferred ide/editors and OS

I am a passionate software developer. I contribute to F# open source community, lately with the integration of F# with .NET Core and the .NET Core SDK

Leveraging Docker and the Linux ecosystem with F#, mono, and .NET Core to build resilient distributed systems.

Dave Curylo is a distributed systems software architect, working in .NET in the Linux ecosystem.

It's super simple to create a clean, fast personal blogs these days. There are a range of choices for static site generators and a bounty of low- or no-cost hosting platforms.

Adding comments to that blog is a bit trickier -- you need backend storage, a server, and spam protection. Popular free solutions like Disqus fall short: they own your data, bloat your site with ad trackers, and require registration.

In this workshop we'll use F# and Azure Functions to build a lean, mean, DIY blog comment system, complete with Markdown formatting and CAPTCHA protection, that you can run for pennies per year.

Lincoln Atkinson is a dev lead at Sumo Logic, waist-deep in Scala. Former F# compiler and tools developer.

In North Carolina, stock car racing boarders on obsession – with local track racing rivaling high school football as a popular Friday night family activity. Different local tracks have different classes of cars and my son runs in the intro division of 5/8 size car at three local speedways.

In this talk, I will cover:

1. A brief introduction to oval track racing - and why it is much more than "go fast and turn left"
2. How we used a Raspberry PI to help capture some of the telemetry on the car
3. How we used F# to analyze the data to help him go faster

TBA

We will see a little bit of the architecture of Bot Framework, then we will get right on code samples, all in F#. As the Bot Framework SDK is very O-O and C# slanted, we will see how to overcome its hurdles in the most FP idiomatic way.

I am the CEO Founder of Logic Studio, Microsoft Regional Director for Latin America, F# Board of Trustees Member. I have 30 years of experience as a line of Business applications developer, in several languages, still FP is my favorite.

If we could program biology as effectively as we program digital computers, we could make fundamental breakthroughs in the treatment of disease and the biofabrication of materials while gaining insight into the workings of life itself. I’ll talk about how we use domain specific languages (FParsec), property-based testing (FsCheck), and satisfiability analysis (Z3 via the .net bindings) to do this.

Colin Gravill is a software developer, he writes a bunch of F#, and works with researchers on understanding biology.

There are strengths and pitfalls to using Functional Programming for industrial applications. There are many ways to bootstrap F# teams within larger development organizations. This talk will go over our experience developing a large (hundreds k LoCs) F# project in an unusual space (embedded appliance), mentoring new teams, and some possible ways to mitigate risks along the way.

Vincent Labrecque is a technology Architect and programmer. He bootstrapped usage of F# at Genetec, and grew the teams around the main project. He is now working on technology strategy and cohesion.

I was once a frustrated engineer, fixing the same bugs over and over, trying to reason my way through disjoined logic spread across many files. Then, one day, I saw Rich Hickey give a talk and everything changed. This is the story of how functional programming changed my life, how my relationship to F# changed over the years as I went from engineer to manager and now CTO, and how I built some pretty cool stuff along the way.

Rick is Chief Technology Officer at Safe Banking Systems and longtime F# MVP. Formerly Director of Research, Rick led a team to build and iterate on complex data engineering, analysis and machine learning tools in F# which have helped SBS grow year after year. F# has been one of SBS’s best secret weapons, bringing to bare powerful metaprogramming techniques which enable tools that rarely break, are easy to modify and work across a variety of inputs.

Learn about what’s involved in shipping F# support for .NET Core: from 0 to debugging in Ionide!

Phillip Carter is a Program Manager on the .NET team at Microsoft. He currently works on F#, F# tooling, F# documentation, .NET, .NET documentation, .NET setup in Visual Studio, and various other fun stuff. Prior to joining Microsoft, Phillip was a student at Oregon State University, where he worked as a student developer-mentor and was the president of the mobile app development club.