Majid alDosari

Q: is it possible to have different compilation 'backends' for 'data'? like dataclass(frozen=True) or attr.s(frozen=True)? They have a good amount of ecosystem support and utilities.

> @majidaldo What sort of ecosystem support are you referring to? Can you provide an example of a situation where an `attr`/`dataclass`-based `data` would be able to do something that...

> > serialization, evolution, conversion > > @majidaldo `.asdict()` is already available as [`._asdict()`](https://docs.python.org/3/library/collections.html#collections.somenamedtuple._asdict). Field transformation is possible via pattern-matching (see below) or writing a `__new__` and updating is possible...

> more comprehensively https://github.com/python-attrs/attrs/wiki/Extensions-to-attrs. on another note, attrs just completely solves what you might want out of dataclasses.

it almost works. but i got this error for a table with a pk. "java.lang.IllegalArgumentException: Nullable attribute "Id" INTEGER cannot be in a PK" idk why it thinks that it's...

> Hi @majidaldo, thanks for reporting this. > > We don't have a plan to support multiline targets In the OBDA mapping format in the near future. The reason is...

I'm a fan of joblib.memory. You can implement storage backends with it. But I'd like for something 'smart' to automatically choose the computations to persist. There's graphchain to look at...

> Where `@dependent` is a 'thin' wrapper around @beartype which does the parameter name resolution and solves any systems of equations that arise from the implicit indices in the function...

> @majidaldo python isn't a very good language, tbh. You are asking for something like Idris or Agda, see above. I would say dependent types encompass all of the things...

Google knows me enough to recommend https://github.com/StefanUlbrich/design-by-contract By far the cleanest implementation I've seen with mathematical applications in mind.