Alive?

[DavidY]

Hi, are you alive? Great ideas, this is definitely work towards true
declarative languages, not those that just say declarative, except put
algorithms into their logical frameworks. But I guess an algorithm is
the definition of exactly what result you want. It would perhaps be
good to define functional outputs without algorithmic reference.

I am quite a new person at looking at languages, so this is quite
exciting for me, I hope you continue ruminating.