David Feuer
David Feuer
I don't understand the justification for `MyTag`. Why do we need a newtype there? I think the fundamental ideas are ```haskell data TagMap f = TagMap (IntMap (f Any)) type...
I don't know enough about the internals to know if this makes sense, but I'm interested in getting more air in my fans. I think I need something vaguely like...
It appears that every `Value` on chain (i.e., in a UTXO, mint result, etc.) has an Ada field (whether there are Ada or not). Is it possible for any other...
Converting from `BuiltinData` to `ScriptContext` is pricy for large transactions. I don't see any obvious reason not to provide the script with the `ScriptContext` directly. Unlike the datum and redeemer,...
I don't know if this is the right place to raise this, but it seems quite odd and inefficient that a script must be invoked multiple times to spend multiple...
Currently, ```haskell -- This ensures that we don't put *anything* about these functions into the interface -- file, otherwise GHC can be clever about the ones that are always error,...
* Switch from `Map` to `IntMap` for maps keyed by `Name`. * Remove some seemingly unnecessary laziness and indirection.
* Make `frequency` detect negative frequencies, frequency total overflow, and zero total frequency. * Rewrite `frequency` to build an `IntMap` to represent the frequency list, which greatly improves efficiency for...
When producing certain sorts of recursive structures, it would be very useful to have functions like ```haskell genPartition :: (MonadGen m, Integral n) => n -> m [n] breakInN ::...
### Correctness `frequency` is a little bit wrong because it relies on the sum of the frequencies being representable by an `Int`, but does not document this. So ``frequency [(maxBound...