https://github.com/biboudis/sml-streams
Streaming library for bulk memory operations with Standard ML in MLton
https://github.com/biboudis/sml-streams
mlton sml sml-streams
Last synced: 3 months ago
JSON representation
Streaming library for bulk memory operations with Standard ML in MLton
- Host: GitHub
- URL: https://github.com/biboudis/sml-streams
- Owner: biboudis
- Created: 2014-09-16T00:46:58.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2015-03-16T19:44:31.000Z (over 10 years ago)
- Last Synced: 2025-06-17T14:07:06.871Z (4 months ago)
- Topics: mlton, sml, sml-streams
- Language: Standard ML
- Homepage:
- Size: 324 KB
- Stars: 28
- Watchers: 5
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
sml-streams
===========
The vision: Bulk memory operations with Standard ML in MLton. The pattern is based on pipelines that are composed via continuations, where a source is wrapped as a push-based stream, transformations are applied via lazy operations and eager combinators force the effects on the backing, in-memory collection of items:
```
source - lazy - lazy - lazy - eager
```
### Test
To experiment with the library install MLton and ```make``` the project:
```shell
> sudo yum install mlton
> make bench
> cd build
> ./bench-streams
```
### Example
```sml
(* using F#-like pipe operators *)
Array.tabulate (10, fn i => i)
|> Stream.ofArray
|> Stream.map(fn x => x * x)
|> Stream.take 6
|> Stream.sum
```
### Benchmarks
```shell
# Outer=1000000, Inner=10
Streams cart time: 0.098 sec/op
Baseline cart time: 0.048 sec/op
# Outer=5000000, Inner=50
Streams cart time: 1.857 sec/op
Baseline cart time: 1.195 sec/op
# Outer=10000000, Inner=100
Streams cart time: 7.151 sec/op
Baseline cart time: 4.723 sec/op
```
### References
* Inspired by our work on [Clash of the Lambdas](http://biboudis.github.io/clashofthelambdas/)
* [Nessos/Streams](https://github.com/nessos/Streams) in F#
* [Lightweight Streams](https://github.com/biboudis/lightweight-streams) in Java (reimplemented with lambdas only)
* [MLton](http://mlton.org/)
* Found out that similar pattern appears in [MLton/Iterator combinators](http://mlton.org/ForLoops), [iter.sml](https://github.com/MLton/mltonlib/blob/master/com/ssh/extended-basis/unstable/detail/control/iter.sml) / [iter.sig](https://github.com/MLton/mltonlib/blob/master/com/ssh/extended-basis/unstable/public/control/iter.sig)