T1
Ты же в курсах что даже то что сейчас в планах имеется это дохуя просто пиздец работы
Size: a a a
2020 December 29
r
Что значит "сразу"?
Ещё через 10 лет
T1
red75prime
Ещё через 10 лет
😂
DS
Что значит "сразу"?
Значит практически с первого публичного релиза.
См. пурсу, идрис, агду и т.п.
См. пурсу, идрис, агду и т.п.
T1
Значит практически с первого публичного релиза.
См. пурсу, идрис, агду и т.п.
См. пурсу, идрис, агду и т.п.
Идрис ещё сырее намного чем раст
T1
А Idris-2 вообще призрак какой-то
DS
Идрис ещё сырее намного чем раст
Зато state of the art система типов там изначально
T1
Значит практически с первого публичного релиза.
См. пурсу, идрис, агду и т.п.
См. пурсу, идрис, агду и т.п.
Это типичные пруверы, а у раста совсем другая идеология
DS
Это типичные пруверы, а у раста совсем другая идеология
Ну тут речь о том, что ФП язык в настоящее время не может быть не прувером
T1
Ну тут речь о том, что ФП язык в настоящее время не может быть не прувером
Ну так и Раст к этому идёт, посмотри что в планах у них
T1
Это типичные пруверы, а раст намного больше нового в мир приносит
T1
Это типичные пруверы, а раст намного больше нового в мир приносит
И работать над теоретической частью ещё очень много нужно
DS
Ну так и Раст к этому идёт, посмотри что в планах у них
Нет, чтобы был прувером, нужно иметь зависимые типы, а их уже потом в язык нереально всунуть. Или это займет лет 10-20.
DS
Это не та вещь, которую легко всунуть в язык, если изначально это не сделано
T1
Нет, чтобы был прувером, нужно иметь зависимые типы, а их уже потом в язык нереально всунуть. Или это займет лет 10-20.
Так это почти первая вещь в списке того что реализуют лол
r
Нет, чтобы был прувером, нужно иметь зависимые типы, а их уже потом в язык нереально всунуть. Или это займет лет 10-20.
И ещё лет через 10-20 может быть индустрия программирования подтянется. Но в этом сомневаюсь.
DS
Так это почти первая вещь в списке того что реализуют лол
Конст дженерики - это не зав типы
T1
Это не та вещь, которую легко всунуть в язык, если изначально это не сделано
Её трудно всунуть не потому что это сделано не изначально а потому-что это раст
DS
Её трудно всунуть не потому что это сделано не изначально а потому-что это раст
Да, потому что если бы раст был ФП языком, то у него изначально был бы другой дизайн.
О чём тут и речь
О чём тут и речь
T1
Да, потому что если бы раст был ФП языком, то у него изначально был бы другой дизайн.
О чём тут и речь
О чём тут и речь
Ну да, я про то же😂