b
у вити потрясающая рефутация интуицизма
Size: a a a
2020 June 24
b
как он Брауера обписал
ML
Я просто не вижу смысла ныть "ой питон говно так как нет X" под новостью о добавлении в язык довольно крутых штук, которые 5 лет назад никто и представить не мог в питоне.
Ты просто хочешь какой-то Python4, который поломает всё к хуям, и сделает всё и сразу. Окей, это тоже валидная позиция, но тогда я не понимаю почему тебя бомбит от инкрементальных неломающих улучшений в Python3
Ты просто хочешь какой-то Python4, который поломает всё к хуям, и сделает всё и сразу. Окей, это тоже валидная позиция, но тогда я не понимаю почему тебя бомбит от инкрементальных неломающих улучшений в Python3
Моя позиция очень простая: если мне надо будет пописать на питоне, теперь это будет делать немножко менее больно.
SP
Я просто не вижу смысла ныть "ой питон говно так как нет X" под новостью о добавлении в язык довольно крутых штук, которые 5 лет назад никто и представить не мог в питоне.
Ты просто хочешь какой-то Python4, который поломает всё к хуям, и сделает всё и сразу. Окей, это тоже валидная позиция, но тогда я не понимаю почему тебя бомбит от инкрементальных неломающих улучшений в Python3
Ты просто хочешь какой-то Python4, который поломает всё к хуям, и сделает всё и сразу. Окей, это тоже валидная позиция, но тогда я не понимаю почему тебя бомбит от инкрементальных неломающих улучшений в Python3
а. понял тебя. ну так то да. но я считаю что следует начать с фундаментальных вещей которые уже как раз таки два раза вышли из скоупа тех изменений которые были в матче и :=
ML
То что Rust пизже, приятнее и может больше новых модных штук — никто не спорит)
Но тогда когда надо работать с тем что есть — лучше иметь кастрированные типы как в тс, чем писать на жс, или лучше иметь паттерн-матчинг и кастрированные адт в питонке, пусть и без скоупов, чем писать на питоне без типов совсем, и матчиться по родительским классам
Но тогда когда надо работать с тем что есть — лучше иметь кастрированные типы как в тс, чем писать на жс, или лучше иметь паттерн-матчинг и кастрированные адт в питонке, пусть и без скоупов, чем писать на питоне без типов совсем, и матчиться по родительским классам
SP
ну это да
p
было бы круто если бы в идрисе была фича из тайпскрипта:
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
ML
было бы круто если бы в идрисе была фича из тайпскрипта:
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
Отвратительно
SP
в тс это костыль потому что нет явных вариантов
b
это везде костыль потому что тип — это костыль
ML
было бы круто если бы в идрисе была фича из тайпскрипта:
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
let foo: any = ...;
if (foo instanceof Struct) {
// здесь foo имеет тип Struct
}
да и вообще во всех языках
Это ненужный костыль, так как ты можешь огранчить входной параметр интерфейсом, и ничего кроме интерфейса тебе знать о типе не нужно.
ML
Плюс это костыль для эмуляции ADT, который опять же не нужен, если есть ADT
b
мы вообще говорим о типах только потому что не в состоянии различать форму
ML
мы вообще говорим о типах только потому что не в состоянии различать форму
???
p
Это ненужный костыль, так как ты можешь огранчить входной параметр интерфейсом, и ничего кроме интерфейса тебе знать о типе не нужно.
для завтипов было бы полезно
p
для обычных типов понятное дело это не нужно
p
мы вообще говорим о типах только потому что не в состоянии различать форму
объясни
b
1975 год, давант свежак
p
лень читать