https://watch.eeg.cl.cam.ac.uk/videos/watch/606a7f50-a534-4361-a864-75198b60a7a4 Mind the Gap: General-Purpose Programming Languages Impede Scientific Model Development and Communication (Video, PROPL 2026) Dominic Orchard (University of Cambridge; University of Kent) Abstract: Computational models increasingly serve as the primary scientific artefacts in climate and earth-system research, yet the general-purpose languages used to build them often fail to express key domain semantics. We argue that this limits scientists’ ability to represent and verify domain-specific concepts and invariants even as the community pushes toward more open, modular, and interoperable modeling ecosystems. We therefore advocate programming-language designs for computational science that make such domain meaning explicit and compositional, for example through intersection types or graded type systems. Presentation at the PROPL 2026 workshop, June 15, 2026, https://pldi26.sigplan.org/home/propl-2026 Sponsored by ACM SIGPLAN. Fri, 28 Aug 2026 11:53:54 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://watch.eeg.cl.cam.ac.uk https://watch.eeg.cl.cam.ac.uk/client/assets/images/icons/icon-1500x1500.png https://watch.eeg.cl.cam.ac.uk/videos/watch/606a7f50-a534-4361-a864-75198b60a7a4 All rights reserved, unless otherwise specified in the terms specified at https://watch.eeg.cl.cam.ac.uk/about and potential licenses granted by each content's rightholder.