Т8
Alexander Krivitskiy
Хвала Цукербергу! Надеюсь эта штука умеет находить опечатки в коде до его запуска.
Интересно, а почему бы тогда не сделать язык статическим?
Size: a a a
2020 August 08
AK
Т-34 85
Интересно, а почему бы тогда не сделать язык статическим?
Понятия не имею. Эти вопросы нужно задавать python сообществу. Почему за 30 лет его существования не появилось тулзы, чтобы хотя бы опечатки в переменных отлавливать? А если она есть, то почему её так тщательно скрывают?
Т8
Alexander Krivitskiy
Понятия не имею. Эти вопросы нужно задавать python сообществу. Почему за 30 лет его существования не появилось тулзы, чтобы хотя бы опечатки в переменных отлавливать? А если она есть, то почему её так тщательно скрывают?
Наверное, просто сообщество неоднородное. Одни этого хотят, а другие нет
NL
Idris
decidable, surprisingly. Idris has dependent types, but at compile time it will only evaluate expressions which it knows to be total (terminating and covering all inputs).
Вот это удивительно, но тем не менее круто 😎
decidable, surprisingly. Idris has dependent types, but at compile time it will only evaluate expressions which it knows to be total (terminating and covering all inputs).
Вот это удивительно, но тем не менее круто 😎
AK
Т-34 85
Наверное, просто сообщество неоднородное. Одни этого хотят, а другие нет
Интересно было бы посмотреть на этих садомазохистов
в
низя разные типы складывать!
Иногда нельзя именно одинаковые типы складывать, а разные можно. Например логично, что нельзя складывать UTCTime и UTCTime, а вот UTCTime и Duration складывать можно
NL
Т-34 85
Нет. Это не понравилось мне, юзающему скалу, поэтому я перешёл на котлин
Хм, ты какой вуз заканчивал? математический или физический факультет? или чисто компьютерные науки?
Т8
Хм, ты какой вуз заканчивал? математический или физический факультет? или чисто компьютерные науки?
Я - последнее. И, кстати, это самое бесполезное направление, лучше бы я раньше сам взялся за сишку, ничего не мешало это сделать. Или в нормальный вуз надо было идти, но тогда бы пришлось ебать математику (или она меня)
На самом деле, это не со мной было, а с приятелем в строительстве. Он поступил в аспирантуру, а там надо вести пары. Ну, он чё-то шарит, а чё-то нет, вот и выкручивается как может😁
На самом деле, это не со мной было, а с приятелем в строительстве. Он поступил в аспирантуру, а там надо вести пары. Ну, он чё-то шарит, а чё-то нет, вот и выкручивается как может😁
Т8
Собственно, что-то подобное я не только от него слышал
Т8
А у меня разные были. И которые нихуя не шарили, им студенты методички писали
Т8
Были и хорошие спецы с практическим опытом. Большое им спасибо
Т8
Но вообще, я зря тратил время, надо было раньше начинать что-то пилить
Т8
И устраиваться на работу
p
Даже у Идриса decidable, а у раста нет, лол
Т8
Ибо во многих вузах выпускают хэллоуворлдщиков
p
@f0land я тут подумал что в идрисе надо ввести ochevidno которое должно работать как более мощный believe_me
Ахаххаха, гениально. Думаю что да, для математиков надо)
b
lol
p
Блин, ты заставляет меня учить скалу а я не хочу
Т8
Ахаххаха, гениально. Думаю что да, для математиков надо)
Математикам это не даст профита. Вот инженерам - да