| 18:02 | <Mathieu Hofman> | when are types ever runtime? is there any system where the type system affect the runtime js code? |
| 18:05 | <bakkot> | well, typescript, if you tell it to emit RTTI https://www.typescriptlang.org/tsconfig/#emitDecoratorMetadata |
| 18:05 | <Michael Ficarra> | take a look at gradual type systems @Mathieu Hofman |
| 18:06 | <bakkot> | also I think closure compiler IIRC |
| 18:06 | <bakkot> | but I don't think any of these are the sense meant above |
| 18:07 | <Mathieu Hofman> | using an unsound type system for affecting runtime sounds like a bad idea to me |
| 18:07 | <bakkot> | it's a tradeoff |
| 18:07 | <Mathieu Hofman> | and anyway, I don't expect the users of this library to do any of that |
| 18:07 | <bakkot> | java's type system is also unsound but like... whatever |
| 21:59 | <ljharb> | you might be better served by inlining the types as a prepack script, rather than doing peer dep magic |