Albert ten Napel
Albert ten Napel
In the constrained rows implementation the `lacks` constraints are part of the type variables instead of being part of the type schemes like it is in the papers I read...
Do you have any idea how to extend the system with type applications. I don't know how to extend the subtyping relation, because in general I don't know whether to...
In Haskell you can change the type of the structure: `type Lens s t a b = s -> (a, b -> t)` (or whatever representation you choose) In none...
Is there a way to implement a handler similar to `ambList` that returns a stream, lazily returning the results? My naive attempt did not work, but will result in an...
In Java 17 the Security Manager is deprecated. Are there any plans to provide a different solution for what now is solved via the `NoExitSecurityManager`?
**Describe the bug** We have an automated test that uses Micrometer to sends some metrics to Influx. We had the step configured to 100ms so that the test can run...
Moved to 10.11
Moved to 10.11
In https://github.com/ollef/Bidirectional alpha conversion is done in the inference/checking of lambdas. You don't do that and just add the assumption to the context. Won't this mean that the following will...