@sbelak optimisations should be available for all, regardless of core.typed usage. We already have type hints, anything other in mind?
@ambrosebs it's a pity core.typed does not store annotations as metadata. Would be great for optimizations (a la CL's compiler macros).
-
-
-
@ambrosebs I'm writing a dsl for data processing and want to do stuff such as switch between column- and row-order based on dataflow anal. -
@ambrosebs 2/2 basically I need a type sys. that can describe shape and invariances of data so I can generate specialized code on the fly. -
@sbelak were you planning on processing the core.typed annotations? FWIW core.typed 0.2.21 now stores annotations when they are evaluated. -
@ambrosebs yes. I'll give .21 a whirl; thanks! -
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.