Haskell's missing mutable reference type

tomjaguarpaw:

What is “this feature”? Your “contextual”?

Yes, worker threads carrying tables of references with table size defined at compilation time.

tomjaguarpaw:

I’m pointing out it’s not the library that declares the implicit configuration, it’s the caller.

Would this make for a good point of abstraction though? I’d expect a given library to need several internal values be adjustable, not some interface type like Logger.

Consider something simpler with no extra inputs whatsoever, like adjustable numeric precision or getArgs.