Look at async / await, record types, and generators in C#.
-
July 29, 2021 at That Conference
Tips to being able to get a good night while having to support your applications.
-
August 3, 2020 at That Conference
Stories about how to add feedback to your work.
-
October 17, 2019 at Deliver
Introduction to recursive data types, structual recursion, and general recursive functions with examples in Racket.
Examples of testing with F# with xUnit and FSCheck and modeling a function with Idris, conclusion use built-ins first.
-
June 5, 2018 at Milwaukee Functional Programming Meetup
How to convert for loops into Map, Filter, and Fold in C#.
Shows how to use abstraction along with pattern matching in Idris using views.
-
February 20, 2018 at Milwaukee Functional Programming Meetup
Talk about how dependent types can help guide us as to what a function does. Examples in Haskell and Idris.
-
January 16, 2018 at Milwaukee Functional Programming Meetup
Talk about property testing using JavaScript with JSVerify and theorem proving in Coq.
-
August 28, 2018 at MilwaukeeJS Meetup
-
December 6, 2017 at Milwaukee Functional Programming Meetup
Live demo talk of showing how to use the Angular CLI to build, test, and serve an application, along with adding components, services, and route.
-
November 11, 2017 at Milwaukee Code Camp
Showing how data flows using examples from TSQL and JavaScript using Lodash and Folktale.
-
October 24, 2017 at MilwaukeeJS Meetup
Showing how data flows using examples from TSQL and C# using LINQ.
-
September 12, 2017 at Wisconsin Dot Net Users Group
S, K, and I combinators with an example from C# using MoreLINQ's pipe. Implementations in F# and JavaScript.
-
February 21, 2017 at Milwaukee Functional Programming Meetup
C# 7 with a look at its features from past languages like Algol 60, Eiffel, Clojure, F#, ML, and Scala
-
August 10, 2016 at That Conference
FizzBuzz kata in F# using Higher Order Functions, Pattern Matching, and Algebraic Data Types
-
June 6, 2016 at Chicago Coder Conference
Dojo in F# doing the Roman Numeral kata
-
March 16, 2016 at Wisconsin .Net Users Group
Higher Order Functions defined in terms of the Fold function in C# using LINQ
Higher Order Functions defined in terms of the Fold function in JavaScript using Babeljs (ECMAScript 6) and Lodash
Higher Order Functions (Reduce and Pluck), Variadic function with Splat / Apply, Destructing, and Map Structures in Clojure and JavaScript using Babeljs (ECMAScript 6) and Lodash
-
May 9, 2015 at Iowa Code Camp
Reduce, Map, Filter, Mapcat, Zip, and Transducers using C# and Clojure
-
January 8, 2015 at Lake County .Net Users Group
-
March 10, 2015 at Wisconsin .Net Users Group
Trait, Behavior, and Property testing using SpecFlow and fscheck with NUnit and C#
-
July 19, 2014 at Iowa Code Camp
Functional Programming with example using JavaScript with Node.js along with Underscore.js, Allong.es, and Bilby.js
Higher Order Functions with examples in C#, F#, and Haskell
-
April 27, 2013 at Chicago Code Camp
Advance SQL Server using the Merge verb, Windowing Functions, and the Output clause
-
March 14, 2013 at Lake County .Net Users Group