caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] bytes/string
@ 2015-11-19 16:43 Gerd Stolpmann
  0 siblings, 0 replies; only message in thread
From: Gerd Stolpmann @ 2015-11-19 16:43 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 712 bytes --]

Hi list, and especially the OCaml devs,

is there any chance that we get a safe version of (b : bytes :> string),
e.g. by some kind of linear typing that tracks how many instances of the
string exist?

I'm asking because there is still a lot of code to port on my desk, and
the question is whether delaying this further makes sense or not.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2015-11-19 16:43 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-11-19 16:43 [Caml-list] bytes/string Gerd Stolpmann

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).