2026-07-29T10:45:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10194 2024-03-06T10:30:30Z ddc:004 open_access

Observing the Uptake of a Language Change Making Strings Immutable Maarek, Manuel software evolution programming language evaluation immutability secure programming To address security concerns, a major change was introduced to the OCaml language and compiler which made strings immutable and introduced array of bytes as replacement for mutable strings. The change is progressively being pushed so that ultimately strings will be immutable. We have investigated the way OCaml package developers undertook the change. In this paper we report on a preliminary observation of software code from the main OCaml package management system. For this purpose we instrumented versions of the OCaml compiler to get precise information into the uptake of safe strings. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Manuel Maarek 2019 Is Part Of OASIcs, Volume 67, 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.PLATEAU.2018.6 urn:nbn:de:0030-drops-101947 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PLATEAU.2018.6 eng https://creativecommons.org/licenses/by/3.0/legalcode