Haskell, F#, OCaml, sml. NYC, June 24-25 2019
NYC, June 24-25 2019
Joined October 2014
- Tweets568
- Following185
- Followers659
- Likes276
Compose Conference retweeted
Hooray! Melbourne :: Compose 2019 videos are up on the interwebs! #melbcompose19 youtu.be/Uw8ayBv1j7Y
Compose Conference retweeted
Now that the cat is out of the bag, I should add that I'm also participating in trying to help @david_i_spivak and Brendan realize their vision for the Topos Institute, in my case as a board member.
Let's put category theory to work.
This Post is from an account that no longer exists. Learn more
Compose Conference retweeted
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
Compose Conference retweeted
We're already looking forward to ICFP 2020! Next year, we'll be in Jersey City, NJ, Aug 23-28, across the river from lower Manhattan. @fancytypes is organizing and all the details are at icfp20.sigplan.org.
Compose Conference retweeted
The next @paperswelovebos is in two weeks! We're happy to have @jimmykoppel reprise his @composeconf talk on defunctionalization. We hope you can join us!
meetup.com/Papers-We-Love-Bo…
Compose Conference retweeted
I know lots of you have been waiting patiently.... @ComposeMelb 2019 is afoot on September 2nd, and tickets are on sale now!! 🥳
eventbrite.com.au/e/melbourn…
Our awesome keynote speaker is Typed Clojure wizard @ambrosebs!
Compose Conference retweeted
We are pleased to announce Dr Ambrose Bonnaire-Sergeant (@ambrosebs) as our keynote speaker for Melbourne::Compose 2019!
composeconference.org/2019-m…
Tickets are now on sale:
eventbrite.com.au/e/melbourn…
Compose Conference retweeted
Functors of the World, Unite! buff.ly/2x9fvgb by Kenny Foner via @composeconf
Compose Conference retweeted
We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as @skillsmatter, @composeconf , and @Lambda_World.
Take a look and plan your trip!
serokell.io/blog/best-haskel…
Compose Conference retweeted
Defunctionalization and Refunctionalization at Work via @jimmykoppel at @composeconf
brics.dk/RS/01/23/BRICS-RS-0…
brics.dk/RS/07/7/BRICS-RS-07…
Compose Conference retweeted
Really enjoyed this talk by @cdsmithus at @composeconf about the intersection of mathematics and programming, and teaching programming to kids via algebra youtube.com/watch?v=7ayVB5C6…
Compose Conference retweeted
"The Best Refactoring You've Never Heard Of," already up: youtube.com/watch?v=vNwukfhs… . Thanks @composeconf organizers for being impressively on-top of A/V.
Compose Conference retweeted
Diego @diegobalseiro talk is live now at the @composeconf in NY. Watch it live here: youtube.com/watch?v=BxUElNb-…
Compose Conference retweeted
The @composeconf was great, I am looking forward for the next year!
Compose Conference retweeted
For those who missed it, here are the slides from my talk today at @composeconf NYC on Applicative Regular Expressions with the Free Alternative :)
talks.jle.im/composeconf-201…
Compose Conference retweeted
Wow, the videos got uploaded fast this year! Here is the recording of my @composeconf presentation on stuck macros: youtube.com/watch?v=nUvKoG_V…
Compose Conference retweeted
Huge props to @composeconf for live-streaming their sessions and keeping the videos online after they're done! youtube.com/watch?v=9Fg54XAr…
Compose Conference retweeted
Great talk showing how #fsharp tooling works under the hood.
Recommended for anyone building editor tooling for FP languages and thinking their tooling is based on good foundation😎
#toolingAdventures
[Video] The anatomy of the F# tools for Visual Studio youtu.be/VjfzNLjEz2w #composeconf #compose2016
