3 ms·
> [CUE] doesn't even have functions. Note that CUE has comprehensions, which are morally (but not syntactically) functions (actually closures). They are a way
by 4ad 3y ago
> [CUE] doesn't even have functions.
Note that CUE has comprehensions, which are morally (but not syntactically) functions (actually closures). They are a way to transform values (which can be types) into other values.
We are also adding real function types to CUE. At least in the beginning these functions will be written in other languages than CUE itself, however.
While we are very principled when it comes to language design, we are also very responsive to finding solutions to user's problems, and we welcome any sort of feedback, especially if it's backed by specific use cases and experiences.
As mentioned in another comment, support for languages other than Go is coming.
- atombender 3y agoWhat does "morally" mean here? I've not seen that term used in compsci except when about ethics.
- runeks 3y agoI believe the term comes from this paper: https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loo.... See section 5 which defines “moral equality”.
- atombender 3y agoThat is indeed the only reference I could find (and maybe Cue is inspired by this paper?), but they don't seem to explain why they use such language. They talk about "unjustified reasoning" and laws, but the connection to ethics seems questionable. But I've not read the whole paper.
- 4ad 3y agoA moral equivalence class is an axiomatic equivalence class that when quotienting some mathematical structure the model in question might lose some of its soundness or adequacy properties, but one that nevertheless might be useful for other meta-mathematic reason. This use of the word is so common in certain math/category theory/compsci communities that I was not aware it was unconventional in any way. It has nothing to do with ethics. I guess the moral of the story is that the moral of the story can be lost if people don't understand the story.
- atombender 3y agoThe word choice is peculiar, but I found this [1] explanation helpful. [1] https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-morality.pdf https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-mo...