Dominic Orchard
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
https://dorchard.github.io
My keynote from FProPer'24 is also online now
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...
November 29, 2024 at 12:56 PM
My keynote from FProPer'24 is also online now
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...
TIL that in Haskell you can give a data type a kind signature using the `type` syntax, e.g., as in line 6 in the below. I did not notice this getting introduced! (This is called StandaloneKindSignatures ghc.gitlab.haskell.org/ghc/doc/user... and was introduced in GHC 8.10.1- 4 years ago).
November 28, 2024 at 9:30 PM
TIL that in Haskell you can give a data type a kind signature using the `type` syntax, e.g., as in line 6 in the below. I did not notice this getting introduced! (This is called StandaloneKindSignatures ghc.gitlab.haskell.org/ghc/doc/user... and was introduced in GHC 8.10.1- 4 years ago).
Can anyone guess which mathematician will feature in my (guest) lecture tomorrow based solely on their awesome hat...?
November 27, 2024 at 9:54 PM
Can anyone guess which mathematician will feature in my (guest) lecture tomorrow based solely on their awesome hat...?