Sam Lindley
@reifyreflect.bsky.social
Reposted by Sam Lindley
OlivierFest’25 is taking place on October 14-15 at ICFP/SPLASH'25 in Singapore!
A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.
conf.researchr.org/home/icfp-sp...
A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.
conf.researchr.org/home/icfp-sp...
OlivierFest 2025 - ICFP/SPLASH 2025
This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday.
Olivier is a visionary in the field of programming languages and is well-known for h...
conf.researchr.org
September 14, 2025 at 6:24 AM
OlivierFest’25 is taking place on October 14-15 at ICFP/SPLASH'25 in Singapore!
A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.
conf.researchr.org/home/icfp-sp...
A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.
conf.researchr.org/home/icfp-sp...
Reposted by Sam Lindley
i suddenly realised how good OCaml's effects are, because I've been writing tons of direct-style Eio code recently to do real stuff with big amounts of data without having to worry about OCaml's effects or monads or applicatives or where my exception tracebacks went
August 21, 2025 at 8:17 PM
i suddenly realised how good OCaml's effects are, because I've been writing tons of direct-style Eio code recently to do real stuff with big amounts of data without having to worry about OCaml's effects or monads or applicatives or where my exception tracebacks went
Reposted by Sam Lindley
the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-2...
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
June 30, 2025 at 2:52 PM
the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-2...
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
Reposted by Sam Lindley
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
June 13, 2025 at 2:14 PM
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
