mauke

What would be the best way to merge them? Move all the code from `...-instances-base` into `...-class` and have `...-instances-base` depend on `...-class` (reexporting the instances)?

I've just merged https://github.com/mauke/data-default/pull/9, which uses default signatures to make a Generic instance instead. I have to play around with that first.

I don't understand why this is a good thing. What's the use case?

The error message is for users of the function (who need to know which call is the problem). Why should the type of a single parameter get to decide to...

1. `Function::Parameter`'s `_croak` function isn't XS. It's a normal Perl subroutine. It's also an undocumented implementation detail. I named it `_croak` because it was supposed to be similar to `Carp::croak`...

Heh, well ... Those are pretty much the syntax/features I deliberately didn't implement because I don't like them. > - `$foo?` equivalent to `$foo=` FWIW, I don't like the idea...

> PS The pluggable type system worked like a charm! `reify_type => sub { Method::Signatures->_make_constraint($_[0]) },`. Good to know. :-) > F::P does cache that result at compile time, right?...

Data points: - doesn't seem to happen with `require Foo; require Foo;` - doesn't seem to happen with DEBUGGING perls - doesn't seem to happen with `runtime => 1`

The first version of this feature actually did that. I scrapped it after performance testing: No matter what I did, I couldn't get it to run as fast as shoving...

It's a language semantics issue. How do you distinguish an empty list from an absent list? `main->foo(())` or `my $n = -1; my @values = 0 .. $n; main->foo(@values)` shouldn't...