How lazy do push streams need to be?

• streaming

  2 109 0.0 OCaml

  Fast, safe and composable streaming abstractions. (by odis-labs)

  

This doesn't directly answer your question, but consider taking a look at https://github.com/odis-labs/streaming that implements both pull and push streams.

• foldl

  1 156 4.3 Haskell

  Composable, streaming, and efficient left folds

Re Haskell Foldl: do you mean it doesn't support finite streams? Because the limitation of Foldl is precisely the fact that it is strict and doesn't support early termination. See https://github.com/Gabriella439/foldl/issues/85

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• sml-libs

  1 1 3.7 Standard ML

  A collection of useful Standard ML libraries, mostly ported from other languages

Here is what I have currently. I use Standard ML instead of OCaml, though the code is extremely similar. The main differences are that SML prefers uncurried functions and doesn't have universal quantification.

Suggest a related project