да, а строковые литералы вообще торчат из дыры совместимости с другим языком — С

ого, вакансии для хаскелистов существуют?

да, вот эта

Причем немало

Относительно конкуренции

так и есть, что ж теперь...

злые хаскелиты понаписали везде своего чистого кода и теперь поддерживать его надо, а хаскелитов столько и нету!

в, кажется, plan9 убогость строк-для-текста предлагалось решать введением на уровне стандартной библиотеки типа rune

нет, вам показалось. ни вакансий, ни самого Хаскеля не существует

и работой с рунами вместо текста

а я что изучаю тогда?

а существуете ли вы?

я мыслю, значит, существую

предлагайте в @haskell_cv

а мыслите ли вы? 🌚

По моим самоощущениям - да. Объективная оценка данного же вопроса вне моей компетенции, ибо я излишне субъективен.

Если у нас есть конечный клеточный автомат по типу "игры жизнь", для которого мы знаем начальное состояние и функцию итерации, позволяющую из предыдущего состояния получить следующее, то мы, по сути, лениво знаем совершенно все состояния этого конечного автомата, даже если мы не вычисляем его явно.

Учитывая, что множество начальных состояний такого конечного автомата хоть и бесконечно, но счетно, мы лениво знаем их все тоже.

Учитывая, что "игра жизнь" тюринг-полна и может описывать сложные самореплицирующиеся структуры, то какая-то из начальных конфигураций может развиться в мир, описывающий существа, обладающие самосознанием. С точки зрения этих внутренних наблюдателей нет никакой разницы между тем, был ли их мир проитерирован на самом деле, или же просто имеется принципиальная доказанная возможность это сделать. С их внутренней точки зрения они существуют, хоть и не могут контролировать ход своего "глобального времени", даже если нам, "снаружи", известен только набор правил, которыми их можно было бы описать.

Получается, что эти вот клеточные разумные ребята одновременно как бы и существуют "на самом деле", но и вместе с тем никакие их действия внутри своего бесконечного клеточного мира не будут иметь никаких наблюдаемых эффектов "снаружи".

но это не делает мир разумных клеточных обителей менее "реальным" с их точки зрения 🌚

молодец, а теперь придумай, что делать с критерием Поппера

а каким образом критерий поппера применим к математическим выводам?