EG
Ну, тебе тогда придётся вводить ансейф и ломать тотальность
Любой язык с зависимыми типами, считай.
Там везде есть ансейфы, но твои доказательства всегда не полные по Тьюрингу
Size: a a a
2020 March 22
Т8
так а где они вообще используются? Хоть 1 вакансия на всю Россию найдётся?
DS
Т-34 85
так а где они вообще используются? Хоть 1 вакансия на всю Россию найдётся?
Они в науке используются, в индустрии мало кому такое нужно.
Если нужны примеры индустриальных не полных по Тьюрингу языков - вам в смартконтракты
Если нужны примеры индустриальных не полных по Тьюрингу языков - вам в смартконтракты
EG
Напомни, а кто [кроме скамеров] использует смарт-контракты?
DS
Но там эта неполнота обычно в ограничености газа и т.п.
DS
Напомни, а кто [кроме скамеров] использует смарт-контракты?
Модные (на 2017-2019 годы, как минимум) криптостартапы
EG
Модные (на 2017-2019 годы, как минимум) криптостартапы
> кроме скамеров
DS
> кроме скамеров
Так они никого, кроме инвесторов не скамят, а это делает любой стартап в той или иной мере
EG
Ну, у них у всех одна бизнес-модель
EG
Провести ICO, продать побольше фантиков и свалить с деньгами
DS
Тогда вся долина - это скамеры
DS
Провести ICO, продать побольше фантиков и свалить с деньгами
Ну так почти любой стартап в долине и делает по сути
DS
Пропиарится по максимуму, продаться подороже и пофигу на всё
RP
Напомни, а кто [кроме скамеров] использует смарт-контракты?
Госконторы для реализации нотариального журнала
EG
И в ней смарт-контракты не нужны, на самом деле
EG
Здесь нужно слово «смарт-контракты»
EG
Госконторы для реализации нотариального журнала
Примеры?
RP
Примеры?
Извините.
EG
Реально какое-то государство это делает?
RP
Наше)