26.8.22
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.
Labels: F#, Functional Programming, Gender, Haskell, Java, JavaScript, Lego, Object-Oriented, Programming Languages, Scala
27.7.22
Loose Ends
My daughter Leora Wadler is directing and producing a play, Loose Ends.
Four strangers from differing classes and backgrounds attempt to drink and make merry on their last night in halls against the backdrop of a missing girl – but each of them are carrying secrets.
Hope Street Theatre, Liverpool, 7.30pm, Thursday 4 and Saturday 6 August.
9.6.22
Should PLDI join PACMPL?
Via a tweet, the PLDI steering community is asking whether PLDI should join PACMPL. Have your say! (My vote is yes.)
Should @pldi join ICFP, OOPSLA and POPL in publishing its proceedings in the PACM-PL journal? The PLDI Steering Committee would appreciate your views. Please complete this short survey before the end of Thursday 16 June (AoE): forms.office.com/r/HjwYvq1CGw
Labels: Academia, ACM, Programming Languages, SIGPLAN
31.5.22
No, No, No
No person would give up even an inch of their estate, and the slightest dispute with a neighbor can mean hell to pay; yet we easily let others encroach on our lives—worse, we often pave the way for those who will take it over. No person hands out their money to passers-by, but to how many do each of us hand out our lives! We’re tight-fisted with property and money, yet think too little of wasting time, the one thing about which we should all be the toughest misers.
Labels: Productivity
1.5.22
Object-Oriented Programming — The Trillion Dollar Disaster
Elixir engineer Ilya Suzdalnitski explains from the perspective of an engineer who has used both why he prefers functional programming to object-oriented programming systems. OOPS!
Labels: Functional Programming, Object-Oriented
27.4.22
How to Speak
A master class from Patrick Winston of MIT on how to present ideas clearly. Chockfull of useful advice, much of which I've not seen elsewhere. Recommended.
Labels: Academia, Communication, Writing
7.4.22
Vote!
It's time once again! The below is copied from https://www.gov.uk/register-to-vote. The site is easy to use and registration takes less than five minutes. I'll be voting for the Scottish Green Party.
Deadline for registering to vote in the 5 May 2022 elections
Register by 11:59pm on 14 April to vote in the following elections on 5 May:
- local government, combined authority mayoral, mayoral and parish council elections in England
- local government and community council elections in Wales
- Northern Ireland Assembly election
Register by 11:59pm on 18 April to vote in the local government elections in Scotland on 5 May.
Who can register
You must be aged 16 or over (or 14 or over in Scotland and Wales).
You must also be one of the following:
- a British citizen
- an Irish or EU citizen living in the UK
- a Commonwealth citizen who has permission to enter or stay in the UK, or who does not need permission
- a citizen of another country living in Scotland or Wales who has permission to enter or stay in the UK, or who does not need permission
Check which elections you’re eligible to vote in.
You can vote when you’re 18 or over. If you live in Scotland or Wales, you can vote in some elections when you’re 16 or over.
You normally only need to register once - not for every election. You’ll need to register again if you’ve changed your name, address or nationality.
Register online
It usually takes about 5 minutes.
Labels: Green, Independence, Politics, Scotland, UK
Haskell in Production
Serokell has a series of posts on Haskell in Production. Spotted by Alex Wasey. Thanks, Alex!
Labels: Functional Programming, Haskell
30.3.22
Programming language to the stars
TIL that my students can choose among about forty different firms interested in hiring Haskell programmers. Among them is Co-Star, a firm that provides horoscopes to millions of users, which has put up a page detailing why they choose Haskell over other languages. Thanks to Alex Wasey and Dylan Thinnes for the pointer.
Labels: Functional Programming, Haskell
3.3.22
Optics vs Lenses, Operationally
A great blog post by Bruno Gavranović, with a clear and beautifully illustrated explanation of why lenses and optics are equivalent denotationally, but optics are superior operationally. There is also a video of a corresponding talk.
Labels: Category Theory, Functional Programming, Programming Languages
