Raoul Schorer

Hi @bennn , I have posted some seemingly working code to add a language specification to `require/untyped-contract`. Two questions: - I guess I should make the language spec argument optional,...

@bennn At what stage does (static) typechecking happen in the `typed/racket` process? In other words, is expanding to different submodules with specific type strictness straightforward, or does it require a...

I clearly don't have the chops to go anywhere near the expander or the typechecker, unfortunately. Here is a very naive contribution. A replacement attempt with: ``` rpl -R -x...

Dug a little more, and it seems a problem is that as soon as `unsafe-array-ref` (`unsafe-vector-ref` synonym) is used in a non-deep type context, it cannot differentiate between cases anymore:...

I changed my approach to use a `typed/racket/no-check` replacement instead, and now the error looks like below. `typed-racket-lib/typed/untyped-utils.rkt` would suggest that the type of `check-array-shape` is lost during the identifier...

Hi, Just an update to say that I got funded by the [SNSF](https://www.snf.ch/en) and currently writing a solver based on your library. Will keep you posted :-).

Hi, it's me again ! I'm currently writing a short and very simple manuscript showcasing your library on SWISH for data recovery and verification in clinical diagnostic test data. Would...