A user of the fmlib library has reported that the library cannot be compiled with the 5.0.0 alpha version of ocaml because the module Stream is no longer available in the standard library. Some questions: Is this just a bug in the alpha version or will the module be removed from 5.0 on? If remove…

Hi, concerning the deprecation of Stream, you can read this [image] OCaml 4.14.0 is released Ecosystem What is news in 4.14.0 ? OCaml 4.14 is the last release of the OCaml 4 branch. If there is much anticipation for OCaml 5, OCaml 4.14 still brings many quali…

[image] hbr: Are there alternatives? The Stream and Genlex modules have been split off the compiler distribution and are available separately at GitHub - ocaml/camlp-streams: The Stream and Genlex libraries for use with Camlp4 and Camlp5 . You can use camlp-streams for pre-5.0 versions of OCam…

Another important point is that the Stream module has been removed because its API has always been overfitted to camlp4’s needs. The Seq module is a better alternative for nearly all use cases, and the Stream module has been considered to be deprecated for a long time. Typically, a quick glance at f…

@ocatchron: Thanks for the explanation. fmlib has been designed to be functional and no imperative features are used. But there comes the point to interface to the real world. For a parser the real world is to read from a file. Therefore I have used the module Stream because it interfaces nicely wit…

There is no major difference between Stream and Seq here: Seq can be perfectly used to read from a file. For instance, reading char with Seq without buffering is a one line function (in 414) let from_channel ic = Seq.of_dispenser (fun () -> In_channel.input_char ic)

[image] octachron: Seq can be perfectly used to read from a file. It can but I think we should discourage people of doing so. Hiding side effects and ressource access behind Seq is full of surprises . Doing so is equivalent to Haskell’s lazy IO and it seems everyone there knows its perils by …

Just fyi, there is a deprecation warning for Stream in version 4.14: ocaml/stdlib.mli at 4.14 · ocaml/ocaml · GitHub

[image] octachron: its API has always been overfitted to camlp4’s needs. Uh, I could be wrong (been a while since I hacked at this low level, but) while Camlp5 streams are built in a manner similar to Seq, they’re consumed differently: consuming them is not functional, and Seq would not be a …

@dbuenzli interesting comments! Some more unrefined thoughts on this topic below. Personally I would try to think about impure iterators using concurrent separation logic , similarly to how I use it to reason about concurrent idioms (resources being owned either by the iterator or by the user, their…

@Chet_Murthy indeed, streams are “more imperative” than sequences. My experience using them is that it’s very easy to get it wrong (basically: only obviously-linear usage of each stream is reasonable), and my (brief) experience maintaining the implementation is that it’s a nest of unspeakable comple…

Module 'Stream' removed from 5.0 standard library?

Ecosystem

sanette July 23, 2022, 6:18am 2

Hi, concerning the deprecation of Stream, you can read this

Topic		Replies	Views
Seq vs List, optimization Learning	26	5157	December 9, 2020
Early termination in folds Ecosystem design	18	1088	February 17, 2025
Sequences: two schools of thought? Learning	30	1532	March 9, 2024
Adding indexed variants of all functions in stdlib Community string , stdlib , array , list , seq	6	734	August 11, 2023
Recommended patterns and techniques for Seqs (especially when memoized) Learning lazy , seq , memoization	13	567	January 27, 2025

Module 'Stream' removed from 5.0 standard library?

Related topics