Я тут задумался насчет соответствия логического if-then и if-then как

Question

Я тут задумался насчет соответствия логического if-then и if-then как

части программы. В логике импликация ложна только если предпосылка истинна а вывод ложен — в случае с программой мы можем это представить как попадание в if-clause, где находится выдающий ошибку код, и программа завершается с кодом 1.

Во всех остальных же случаях программа должна завершаться с кодом 0 — но насколько это правда в реальной жизни? Наверняка это часть университетского курса по теории языков программирования, но я пока не студент так что могу лишь гадать по какому поисковому можно почитать об этом.

#haskell #programming #russian

0

19.05.2022