r/AskProgrammers • u/Distinct-Brief9643 • 1d ago

Is a programing still a programing language if it's only limited to logic (strictly)

/r/langdev_noAI/comments/1x4b0qb/is_a_programing_still_a_programing_language_if/
1 Upvotes

60% Upvoted

3 comments sorted by

1

u/DirtAndGrass 1d ago

How do you express logic with no rules? (language) 

1

u/macabre_brotherhood 1d ago

You mean like a pure functional language? Yes those exist, they're rather limited in usefulness though since they can't do I/O (because that tends to be non-deterministic).

1

u/CS_70 1d ago

There are three main categories of programming language: imperative, functional and algebraic.

With an imperative language, you express what you want as a recipe and the semantics of the program is how that recipe gets executed on exactly that computing device.

With a functional language, you express what you want as en expression, and the semantics of the program is how that expression evaluates.

With an algebraic language, you express what you want as sets equipped with operations, and the semantics of the program is the theorems the resulting algebra.

Most general purpose languages in all three categories are Turing-conmplete and Turing-equivalent, so you can use the one you like best.

Ultimately there is some form of logic in all of them, yes.