𝚙
тот факт, что большинство программистов именно этим занимается, ничего не говорит об индустрии в целом
Size: a a a
2020 May 27
𝚙
а что насчет чуваков, которые делают FPGA или другое железо средней руки?
𝚙
я даже не про микропроцессоры говорю, речь просто о сколько–нибудь специализированном железе
SK
да это просто один из примеров
вот я об этом и спрашивал. Потому что в статьях что мне гугл подкидывал - решались какие-то детские примеры аля, докажем что у нас функция возвращает сконкатенированный массив. И это вызывает реакцию типа: чее? Нахера мне для этого целый новый язык
𝚙
было бы неплохо доказывать его корректность формально, не так-ли?
𝚙
вот я об этом и спрашивал. Потому что в статьях что мне гугл подкидывал - решались какие-то детские примеры аля, докажем что у нас функция возвращает сконкатенированный массив. И это вызывает реакцию типа: чее? Нахера мне для этого целый новый язык
ну да, в примерах они как правило показывают какие-то простые тупые индукции
𝚙
но без этого же не въедешь в более сложные вещи)
𝚙
вообще я считаю, что теория типов это полный отстой и наши системы должны быть инутитивны, опираться на дедукцию и вещи типа decision calculus
𝚙
вот, например, мой эксперимент (с переменным усилием потею над транспилятором). это cloud-ready language language для описания произвольных дискурсов, целью которого является описывать и вычислять любые системы через тот язык, который используется для взаимодействия с этими системами, а не через язык, который точно описывает вычисления отдельно взятых автоматов, принимающих участия в выполнении этих систем
𝚙
иными словами, это попытка деконструировать фон-неймоновскую архитектуру и “типовый” lambda-first подход к вычислению в пользу пропозициональной логики, decision calculus и интуиций/дедукций
𝚙
классный сайд-эффект это то, что для работающего дискурса при помощи существующих сегодня моделей, можно натренировать полноценный языковой интерфейс, который может масштабироваться для различных I/O нагрузок
KR
так, вот вы тут все пишите про этих заведующих типами, а я никак не пойму - какую проблему они решают. Все примеры что я по ним читал, решают какие-то пиздец далекие от реальной жизни проблемы. Я не знаю, может это какие-то специфические для ФП проблемы, может кто дать норм ссыль на почитать? В чем охуенность завтипов?!
AZ
Второе в разы понятнее
F
S
Пожалуйста помогите .как в расте получить количсетво элементов в коллекции
AZ
те же самые буковки в другом порядке - НИПОНЯТНА
AZ
ну блин как вы ваще живете с такими представлениями
p
с первым ты не сделаешь
sdfsdf
.iter()
.filter()
.zip()
.map()
.collect()
sdfsdf
.iter()
.filter()
.zip()
.map()
.collect()
AZ
видимо такие люди как раз и форсят кодстайлы и горят с того что ПЕРЕМЕННЫЕ_ЧЕРЕЗ_ПОДЧЕРКИВАНИЕ_ПИШУТСЯ_АААА