IP
Но множество неправильных программ сильно растет
Size: a a a
2021 February 12
IP
Ну, не неправильных, а дающих bottom
I
Но множество неправильных программ сильно растет
Ты не можешь свести их к нулю, как ни старайся. Самый стабильный и самый дорогой вариант использовал си. Но и стоимость там была под 1000 доляров за строчку.
I
Ну, не неправильных, а дающих bottom
Да блядь! И ты туда же. Это не единственная аксиоматика.
IP
Да блядь! И ты туда же. Это не единственная аксиоматика.
Окей, что ты предлагаешь?
I
Окей, что ты предлагаешь?
Знаешь про парадоксы Рассела, недопущенние которых и привело к теории типов?
IP
Ты не можешь свести их к нулю, как ни старайся. Самый стабильный и самый дорогой вариант использовал си. Но и стоимость там была под 1000 доляров за строчку.
Не могу. Но асимптотика числа таких программ выглядит удруяающе
IP
Знаешь про парадоксы Рассела, недопущенние которых и привело к теории типов?
Нет
I
Не могу. Но асимптотика числа таких программ выглядит удруяающе
Ну и софт для шаттла не каждый день пишется.
AK
1. Потому что джава збс. Присваивание как выражение, несколько переменных в одном объявлении, расширение интов до флоатов, настоящие статики, ноль зависимостей.
2. Демка не для чтения, а для потыкать. Внятные примеры будут в ридми.
3. Да я не дописал фичи, допишу — и тогда покажу, как пользоваться.
2. Демка не для чтения, а для потыкать. Внятные примеры будут в ридми.
3. Да я не дописал фичи, допишу — и тогда покажу, как пользоваться.
Двачую, жаба збс. Не могу остановится проигрывать, с языка, где даже для работы ключевого слова нужно тащить стороннию либу
IP
Двачую, жаба збс. Не могу остановится проигрывать, с языка, где даже для работы ключевого слова нужно тащить стороннию либу
Воспринимай наличие kotlinx coroutines как право сделать свои
I
Это про то, может ли множество всех множеств содержать себя.
AK
Воспринимай наличие kotlinx coroutines как право сделать свои
зачем?
*сектанство*
лум придёт - порядок наведёт!
*сектанство*
лум придёт - порядок наведёт!
IP
Это про то, может ли множество всех множеств содержать себя.
И как это разрешается?
IP
зачем?
*сектанство*
лум придёт - порядок наведёт!
*сектанство*
лум придёт - порядок наведёт!
затем
IP
захочешь сделать свою либу асинхронщины на продолжениях - смогешь
IP
зачем?
*сектанство*
лум придёт - порядок наведёт!
*сектанство*
лум придёт - порядок наведёт!
да кому твой лум нужен, окромя блокирующего легаси
I
И как это разрешается?
Теория типов - это присваивание множеству числа. Множества с 0 не могут содержать множеств, только обычные элементы. Множества с 1 могут содержать обычные элементы и множества с 0. Короче, множества с N не могут содержать множества числа >= N.
I
С другой стороны, можно сказать - насрать на Рассела. Да есть парадокс, но мы не работаем с множествами такой мощности, so who, как говорится, cares. И признавать этих людей неправыми из-за парадокса Рассела, с которым они не столкнутся в силу конечности вселенной нельзя.