Хм... Я мечтаю написать на Zig библиотеку вроде LLVM - для построения компиляторов. Как вы думаете, если я выполню несколько таких проектов, можно ли меня будет считать мидлом? Вообще, опыт разработки опен-сорс считается за опыт в компании?
Добрый день! Скажите пожалуйста, а что делать обычным джунам? Я не работал в компании ни дня. И я трачу время на непопулярные языки: Zig, Lisp. Как мне попасть на работу?
Добрый день! Скажите пожалуйста, а насколько рецепты программирования из HtDP применимы в обычном программировании? Они же вроде бы нацелены на функциональное программирование.
Приветствую! Существует язык программирования Lean 4. Он предназначен в первую очередь для того, чтобы при помощи него доказывать математические теоремы. Возможно, его использование может стать хорошей разминкой для ума.
Вообще, есть такая штука, как зависимые типы. Они позволяют в типах выразить практически любое утверждение о программе, и чтобы программа скомпилировалась, выполнение этих свойств порой придётся доказывать. Это языки Idris, Lean, Coq, Agda. Lean мне кажется самым практичным из всех, хотя я трогал только Idris.
А можете рассказать, как это выглядит на практике? Какие конкретно это проект?
А это ДВС...
Не скажите!
Клауди Опус очень знатно нарисовал мне шарико-подшипник.
Хм... Я мечтаю написать на Zig библиотеку вроде LLVM - для построения компиляторов.
Как вы думаете, если я выполню несколько таких проектов, можно ли меня будет считать мидлом?
Вообще, опыт разработки опен-сорс считается за опыт в компании?
Добрый день!
Скажите пожалуйста, а что делать обычным джунам?
Я не работал в компании ни дня.
И я трачу время на непопулярные языки: Zig, Lisp.
Как мне попасть на работу?
По блату?
Это какую модель для генерации они используют? Это лучше чем нано банана. Или вы просто выбрали лучшие примеры из многих?
Можете подробнее рассказать о том, как улучшить стиль?
Скажите пожалуйста, а что такое лампа варемю?
Это очень таинственная лампа. В интернете я не находил точных данных.
Господа, а есть ещё лампа, которая позволяла выполнять на ней математические вычисления! Решать дифференциальные уравнения.
http://www.155la3.ru/lf_9p.htm
Скрытый текст
Велосипеды встретятся проехав 150 км. 150/50 = 3 часа. Муха будет летать три часа. 3 * 100 = 300км.
Правильно?
А что это за задача?
А где можно почитать о 14 методах оптимизации?
Почему их именно 14?
Есть проекты, в которых ядерный реактор охлаждается огромными радиаторами.
Как?
Это не трудно?
Добрый день!
Скажите пожалуйста, а насколько рецепты программирования из HtDP применимы в обычном программировании? Они же вроде бы нацелены на функциональное программирование.
Добрый день!
Существует ещё концепция алгебраических эффектов с обработчиками.
Они позволяют добавлять в язык такие функции как исключения и async в виде библиотек.
Алгебраические эффекты есть в Koka (https://koka-lang.github.io) и Flix (flix.dev).
Это новая и очень интересная тема.
А когда вы дадите правильный ответ?
Нужно что-то очень-очень тонкое, чтобы как можно сильнее повысить давление.
По Lean кстати есть и компьютерная игра: https://adam.math.hhu.de/
В ней нужно доказывать простые теоремы о натуральных числах и множествах.
Приветствую!
Существует язык программирования Lean 4. Он предназначен в первую очередь для того, чтобы при помощи него доказывать математические теоремы. Возможно, его использование может стать хорошей разминкой для ума.
Вот книжка по Lean и математической логике: https://suhr.github.io/tmath/
Вообще, есть такая штука, как зависимые типы. Они позволяют в типах выразить практически любое утверждение о программе, и чтобы программа скомпилировалась, выполнение этих свойств порой придётся доказывать. Это языки Idris, Lean, Coq, Agda. Lean мне кажется самым практичным из всех, хотя я трогал только Idris.
Тут главное не бояться! Это весело!