Re:Datomic Is Now Free
by kaba0 on Thursday April 27, 2023 @04:28PM
(#35734074)
Well, that’s what Java records are for. As for having to change the type description, that’s more of a static typing discussion, though it can be generated — having a single source of truth and generating others is imo the best approach.
[ Parent
| on HN ]
Java records weren't even a gleam in the eye of James Gosling when Clojure was solving these problems at its inception.
Standard ML had records since the '70s. Both Clojure and Java would benefit from taking more from what came before, though Java at least had the excuse of being designed for low-powered set-top boxes.
Re:Datomic Is Now Free
by filoeleven on Thursday April 27, 2023 @09:59PM
(#35736726)
According to the link below, ML records are mostly handled by hash-maps in Clojure, except that there’s no canonical key/val order or strict typing by default.
ML record:
{first = "John", last = "Doe", age = 150, balance = 0.12}
Clojure hash-map: {:first "John", :last "Doe", :age 150, :balance 0.12}
Destructuring a record in an ML function: fun full_name{first:string,last:string,age:int,balance:real}:string =
first ^ " " ^ last
(It’s unclear from the example whether or not all of the destructured values are required in the function signature. I hope they are not, but I left them in since I don’t know. The caret positioning raises further questions.)Destructuring a map in a Clojure function:
(defn full-name [{:keys [first last]}]
(str first “ “ last))
I don’t know if I’m missing something that ML offers with its records aside from more strict typing, which you can also have in Clojure when it’s useful. In both cases, it looks like it’s applied at the function declaration and not the record declaration.https://www.cs.cornell.edu/courses/cs312/2008sp/recitations/...
Clojure has records too.
In his eyes? It definitely was a thing, records are just nominal product types, these are probably the single most used building block of programming languages.
I really like Clojure, but I really don’t know what some of its fans think (also true of other lisps), like there is a healthy pollination of ideas between languages, lisps are not God’s language.