Was ist Brooks?

Brooks ist eine experimentelle, aus mehreren Paradigmen bestehende Programmiersprache, die von Petra Hofstedt im Jahr 2003 vorgeschlagen wurde. Sie ist eine "Funktionslogik", die "deterministische Berechnungen aus der Funktionswelt und nichtdeterministische Suchoperationen aus der Logikwelt zusammenführt." Sein Name ist eine Hommage an den Logiker Haskell Brooks Curry.

Haskell, Logik, Paradigma, Programmierbegriffe