Help, please! Do you know any applications of my work?

When writing an application, it sometimes help if I can point out that monads and type classes, which my research contributed to, are used to process every post on Facebook. (Via Haxl. Thanks, Simon Marlow!)

Do you know of other applications of my work? If so, please email me or list them in the comments. (You can find my email at the bottom of my home page.)

Possible example: I gather Twitter uses monads and implicits in Scala (where implicits were influenced by type classes), but it's hard to find confirmation online. Do you know whether they are used, and how heavily? (It's easier to find such confirmation for The Guardian.)

Possible example: Do you make heavy use of generics in Java? I contributed to their design.

Possible example: I gather protocols in Swift are in part inspired by type classes, but it is hard to find confirmation online. Can you point me to confirmation?

There are many other possibilities. I hope you know some I haven't dreamed of!

Many thanks for your help. Answers are welcome at any time, but would be most useful if they can be provided by 2 September 2022.

Strange Loop: "Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler

I have many more favourites from Strange Loop 2015, but for now I will just post the videos of my own talks. Here is "Everything Old is New Again: Quoted Domain Specific Languages", based on "A practical theory of language integrated query, by Cheney, Lindley, and myself and the eponymous draft paper, by Najd, Lindley, Svenningsson, and myself. Above is the Strange Loop talk, below the talks from Curry On, Prague, 2015 and DSLDISS, Lausanne, 2015.

Don Syme awarded Silver Medal by Royal Academy of Engineering

 

 Congratulations, Don!

For over two decades, the Academy’s Silver Medals have recognised exceptional personal contributions from early- to mid-career engineers who have advanced the cause of engineering in the UK.

Three of the UK’s most talented engineers are to receive the Royal Academy of Engineering’s coveted Silver Medal for remarkable technical  achievements in their fields, coupled with commercial success.

They are the inventor of 3D printed surgical instruments, an

indoor location-tracking technology pioneer, and the creator of the F#
computer programming language.

 Full RAE Announcement. Spotted by Kevin Hammond.

Summer School on DSL Design and Implementation

The Scala team at EPFL is running a Summer School on DSL Design and Implementation, 12-17 July in Lausanne, Switzerland. They have a great line-up, including Martin Odersky, Tiark Rompf, Kunle Olukotun, and Matthew Flatt. I'll be there, speaking on A practical theory of language-integrated query and Quoted Domain Specific Languages: Everything old is new again.

Composable Queries in F# 3.0

James Cheney speaks to the F#unctional Londoners meet-up about our F# library that implements A Practical Theory of Language-Integrated Query.