Pinned
Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming.
Build real systems, publish research, contribute to open source.
KC Sivaramakrishnan
3,910 posts
KC Sivaramakrishnan
@kc_srk
- OCaml wins the 2023 SIGPLAN programming languages software award! 🎉sigplan.org/Awards/Softwar…
- Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…
- My biased take. If you are a beginner: * Cornell cs3110 book cs3110.github.io/textbook/cover… * IITM CS3100 (: my course :) kcsrk.info/cs3100_m20/ (fully taught through interactive notebooks including assignments, has full set of video lectures) Intermediate: dev.realworldocaml.orgFP Twitter: what's the best resource to learn OCaml? Just dive into the docs?
- OCaml 5.3 will have syntax support for effect handlers (github.com/ocaml/ocaml/pu…). This vastly improves the UX of using effect handlers in OCaml
- PSA: I'm always looking for excellent folks to join my research group at IIT Madras to work on building "functional" systems. This includes internships, MS and PhD studentships, research staff positions, and post-baccalaureate fellowships. Reach out to me if you are keen!
- Not a bad place to write some OCaml. Almost finished setting up the new @tarides_ office in Chennai.
- Oleg Kiselyov's compilers course in OCaml 👀👀 okmij.org/ftp/tagless-fi…
- Video lectures from my OCaml + Prolog course (kcsrk.info/cs3100_m20) is now publicly available: drive.google.com/drive/u/5/fold… The course is taken by 3rd-year undergrads at IITM and covers a fair bit of OCaml/FP topics (Monads, Streams, GADTs, Lambda Calculus, STLC).
- Did a guest lecture on OCaml's parallel runtime system at Chalmers Parallel Functional Programming course. Slides here: kcsrk.info/talks#gc_chalm… Did one on effect handlers last year. Excellent audience. Got stumped both years with one question. Was great :-)
- How do you acquire the fundamental computer skills to hack on a complex systems project like OCaml? What’s missing and how do you go about bridging the gap? kcsrk.info/ocaml/2025/11/… Wrote the list for my students, but it may be useful for others too.
- I gave the keynote at @icfp_conference on the journey to OCaml 5.0. Spent way too much time with stable diffusion generating images:
- Gave a talk at Meta yesterday on OCaml 5. Includes a section on our experience porting a large multi-process to OCaml multicore using Eio.
