Relation to the language Kind?
dumblob opened this issue · comments
I noticed some the contributors here were in close contact with contributors to the language Kind?
Could you maybe elaborate on the differences and reasons for existence of both despite having the same core compiler/evaluator?
Kind is a rebranding/fork of the Formality language, which I and @gabriel-barrett previously worked on. We haven't been involved with it in several months, so not sure where the idea we're in close contact with that project is coming from.
Also not sure where you go the impression that Yatima has the same core as Kind (or Formality), our core is a completely greenfield Rust implementation of the lambda-DAG machine described in https://www.ccs.neu.edu/home/wand/papers/shivers-wand-10.pdf, extended with our type theory and useful primitives.
If you'd like to discuss this more with us, I invite you to join our matrix channel here: https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matrix.org, but I don't think the project issues page is the right venue for this conversation.
Thanks for explanation!
Kind is a rebranding/fork of the Formality language, which I and @gabriel-barrett previously worked on. We haven't been involved with it in several months, so not sure where the idea we're in close contact with that project is coming from.
Close contact because it's just a few months and not years 😉.
Regarding "into Formality compilation" that was me reading some comments incorrectly - sorry for that!