Я как раз вижу, что там какая-то сильная нагрузка на синтаксис. Я бы не смог такой код читать.

инженерная ветвь конструктивной математики, очевидно

Ну это же союз.

Прямое. В те времена лисп считался языком ФП. Говоря о прологе, его рассматривали в контексте языков ФП. Типа пролог задает "что делать?", а ближе всему к нему из языков типа "как делать?" будут как раз языки ФП. Собственно, имеется в виду декларативность. Пролог декларативен. Хаскель тоже в некоторой степени декларативен. Но вспоминая рубеж 80-90-x я почти не встречал упоминания о хаскеле, хотя сильно интересовался тогда разными языками (заканчивал школу): там Modula-2, Форт, Пролог, Лисп из нестандартных.

в те времена как раз не считался чаще чем теперь

благодарю. пролог и лишп не подходят под это определение?

не подходят Ж(((

спасибо

Чё?

ничто не может быть >maxBound

посмотрите тип (>)

так это интовый maxBound

да, и число слева тоже Int

Есть Data.Bits.toIntegralSized

ладно

о, спасибо

так шанс угадать 50%, так что защита от ботов слабая

можно было бы сделать такую: картинка с двумя игральными кубиками, надо посчитать сумму верхних сторон