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.
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.
Should @pldi forms.office.com/r/HjwYvq1CGw
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.
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!
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.
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 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.
It usually takes about 5 minutes.
Serokell has a series of posts on Haskell in Production. Spotted by Alex Wasey. Thanks, Alex!
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.
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.