Nil Geisweiller

`SchematizationLink` could be understood as something more sophisticated like turning data into a regressed model (like MOSES would), so maybe to distinguish it from that it could be named `TablelizationLink`,...

The tableization of the matrix code seems interesting, thanks for the feedback. It turns out such "schematization" won't be needed soon (in as-moses) so this issue may likely remain pending...

Sure, soon I'll put that in the wiki, I mean a cleaned-up and exhaustive version of it. The reason posted it here is because github is better for discussion. Linas,...

"exponential functors"? you're making me curious here. Maybe I ought to read a nice book about category theory. Yeah, if we'd have a Haskell API, we'd just use their type...

This last post of mine was completely drafty, I started writing it to help support my thinking and pressed the send shortcut key inadvertently. I'm still not sure how to...

Hey Ben, help is welcome, my current idea is to basically use a type class per atom, but I don't know if it's gonna work, I'm about to try.

BTW, what I've been trying yesterday is to use type constructor ``` data ``` rather than class, and I thought I'm doomed to failed cause I can't create data types...

Here's my first attempt using Haskell type construct 'data' https://github.com/ngeiswei/opencog/tree/haskell-type-checking-experiment/opencog/haskell/hypergraph_type_checking I'm kinda stepping in the dark, I don't really know what I'm doing. This attempt kinda works, but is really...

If we're to go with the data approach, it seems this https://en.wikipedia.org/wiki/Generalized_algebraic_data_type as mentioned here http://stackoverflow.com/questions/3228856/predicate-logic-in-haskell could be useful. Although I'll still spend time pondering the type class approach, cause...

I think I'm finally going somewhere. Looks like GADT https://en.wikibooks.org/wiki/Haskell/GADT provides exactly what we need. Have a look at https://github.com/ngeiswei/opencog/blob/haskell-type-checking-experiment/opencog/haskell/hypergraph_type_checking/experiment_with_GADT.hs You may see in particular Schema and ExecutionOutput work quite...