News for hackers. Stuff that matters.
Re:Types as Interfaces by kevindamm on Tuesday July 23, 2024 @01:41PM (#41048745)
I think the world of datalog and dynamic logic programming (or perhaps Answer Set Programming with Constraints) may be very useful in scenario 2, and people are still pursuing that without waiting for scenario 1 to happen first.

Yeah, scenario 1 will also probably still happen.

There are no comments on this comment yet.