News for hackers. Stuff that matters.

A comment on Turning the IDE Inside Out with Datalog. Parent comment

Re:Turning the IDE Inside Out with Datalog by tom_mellior on Sunday July 19, 2020 @02:20PM (#23891237)
> you'll have to jump through hoops -the hoops of defining your higher-level notion of equality- in what ever language you choose.

Right. The author is just disappointed that Prolog does have a built-in "equality" that isn't the equality they want. A nice solution in Prolog would be to write a meta-interpreter or to do term rewriting on the input program. This would allow the author to write

    clone(usize).
and have it be interpreted as

    clone(A) :- type_equal(A, usize).
[ Parent | on HN ]
Re:Turning the IDE Inside Out with Datalog by YeGoblynQueenne on Sunday July 19, 2020 @02:30PM (#23891325)
Yes. I just don't see why this is such a big hassle. Particularly because -I'm guessing- whatever the Rust compiler does to decide type equality can't be less hassle-y than that.

But, I might misunderstand the problem since, again, I don't know Rust.

[ Parent | on HN ]