4 ms·

I wanted to point you to two almost similar efforts [0] [1] then I found your post [2]. You may be interested also in [3]. [0] https://github.com/moonad/Formal

by xorand 7y ago

I wanted to point you to two almost similar efforts [0] [1] then I found your post [2]. You may be interested also in [3]. [0] https://github.com/moonad/Formality https://github.com/moonad/Formality [1] http://imar.ro/~mbuliga/chemlambda-v2.html http://imar.ro/~mbuliga/chemlambda-v2.html [2] https://www.reddit.com/r/haskell/comments/dih8xu/optimal_reduction_without_oracle_prototype/ https://www.reddit.com/r/haskell/comments/dih8xu/optimal_red... [3] https://mbuliga.github.io/kali24.html https://mbuliga.github.io/kali24.html

HerrmannM 7y ago
I'm glad you find interest in this work. Thank you for the links, I did not know we could do computation with... chemistry! As I'm not familiar with that, I do not understand everything. Can you point me to a list of the interactions of your system? Formality indeed looks promising. I still have a lot to learn about EAL in order to forge my opinion, but maybe it is the "sweet spot". For example, Formality does not need a GC, whereas Éole does, which is time consuming. On the other hand, Éole (if it works) is completely general. But then, not being "completely general" isn't necessary a problem, and Formality seems to do very well. Please note that Éole is not proven yet, and I'm looking for counter examples that might settle the case. I will actually be happy if someone "break" the system!
- xorand 7y ago
  Sure, look at [2]. I commented on your github repo too.
  - xorand 7y ago
    EDIT: Re: the chemistry, I do think that it might be a big subject, see https://arxiv.org/abs/1811.04960 https://arxiv.org/abs/1811.04960 , which somehow is not very surprising because of the Algorithmic Chemistry (aka ALCHEMY) of Fontana and Buss.