@mikebohdan Есть в логике теорема, не найду сейчас ссылки, что правильный выбор эквивалентных правил вывода уменьшает длину доказательства в башню экспонент раз. Если применить теорему об эквивалентности доказательств и программ, то получается очень интересный результат.
Мне питон нравился, пока я не заметил, что большую часть времени воюю с языком пытаясь сделать его более функциональным -> перешел на кложу тк легче всего из фп было найти работу в продуктовой компании
Мне питон нравился, пока я не заметил, что большую часть времени воюю с языком пытаясь сделать его более функциональным -> перешел на кложу тк легче всего из фп было найти работу в продуктовой компании
Мне питон нравился, пока я не заметил, что большую часть времени воюю с языком пытаясь сделать его более функциональным -> перешел на кложу тк легче всего из фп было найти работу в продуктовой компании
на скале относительно просто найти работу, но имхо добровольно на ней писать будут только бывшие джависты (и хаскелисты - неудачники)
@mikebohdan Есть в логике теорема, не найду сейчас ссылки, что правильный выбор эквивалентных правил вывода уменьшает длину доказательства в башню экспонент раз. Если применить теорему об эквивалентности доказательств и программ, то получается очень интересный результат.
Мне питон нравился, пока я не заметил, что большую часть времени воюю с языком пытаясь сделать его более функциональным -> перешел на кложу тк легче всего из фп было найти работу в продуктовой компании
Удивительная вещь, а я вот рад когда есть всякие оопшные методы у используемых объектов, но сам классы и все такое пилить ни разу не хочу, где-то я свернул не туда что ли
Удивительная вещь, а я вот рад когда есть всякие оопшные методы у используемых объектов, но сам классы и все такое пилить ни разу не хочу, где-то я свернул не туда что ли
Вот кстати да, не знаю даже как так объяснить адекватно, просто так получалось по началу и пошло поехало, теперь мешанина конечно, не чувствую себя человеком, смотрю на вас с завистью))
Вот кстати да, не знаю даже как так объяснить адекватно, просто так получалось по началу и пошло поехало, теперь мешанина конечно, не чувствую себя человеком, смотрю на вас с завистью))