abathologist

13 ms·

1. 151.▲
   by abathologist 12y ago

   In light of my previous reply, I wonder why you think appropriation of terms is okay going one way but not the other. It really seems a bit like bullying. Why can't the weird kid call itself whatever the weird kid chooses? It seems lik
2. 152.▲
   by abathologist 12y ago

   I don't think the "it already had an established meaning" argument is very tenable, especially not when we're talking about mathematical terms. Maths freely borrows terms that have very well established meanings. E.g.,
3. 153.▲
   by abathologist 12y ago

   I bet "referential transparency" was meant. It would make sense as a replacement for "referentiality". oops :(
4. 154.▲
   by abathologist 12y ago

   (Too late to edit, but, in the last line, s/always/also).
5. 155.▲
   by abathologist 12y ago

   I bet "referentiality" was meant. It would make sense as a replacement for "homoiconicity".
6. 156.▲
   by abathologist 12y ago

   > they are a type system feature and have nothing to do with FP I suggested in a sibling reply that the use of type-theoretic notions in FP is a natural out growth of the initial motives of the FP paradigm. While I wouldn't think th
7. 157.▲
   by abathologist 12y ago

   I'm not an expert or professional, but I'll offer some few cents here. I think your feeling that the "goalposts have moved" is a result of mistaking 'Functional Programing' as the name for a set of language fea
8. 158.▲
   by abathologist 12y ago

   What the designer calls "functors" just appear to be positional records (or labeled tuples). In Lisp, a list is a series of nested pairs with an empty list as the last element: `(a . (b . ())`. The data structures the designer cal
9. 159.▲
   by abathologist 12y ago

   Sucks, cannot edit old comment. Correction: Michael Hendrick: https://www.youtube.com/watch?v=G_eYTctGZw8
10. 160.▲
    by abathologist 12y ago

    I %100 support this project: though I am no expert, I am a PL enthusiast and I have high hopes for the future of logic programming. It's also just great to see projects like this exploring the space of PL design. The more the merrier!
11. 161.▲
    by abathologist 12y ago

    Michael Hendrix described Mercury as Haskell + Prolog, which is accurate, I think, and an indication that Mercury is pretty far removed from what Cosmos is trying to do. (I'm more interested in Mercury). Cosmos looks like it wants to b