gavr_sas

пересматриваю, все еще лучшее объяснение спидран техники

вот всегда бы так

компухтар с подписью we used to be a proper profession

идеи древних java людей

очень конкретная схема развития любого програмиста (за спам извени)

VLC кал говна, особенно UX

3 самый ахуенный наш любимый ХиндиМинди ^_^ Hindley–Milner 1) собираем все декларации функций переменных в одну бог шлепа структуру, обычно изза этого в таких языках есть жесткое требование к определению до использования F# OCalm(форвард декларейшон как в С) 2) Присваиваем переменным воображаемые временные типы, аля тайп холы ⭕️ t0 t1 t2... 3) Генерим уравления/ограничения, исходя из контекста, например обычно в H&M нет перегрузки операторов, и + всегда означает 2 числа, из этого можно легко вывезти 2 любых t1 + t2, еще простой пример fun f(x), f(y), => x == y, аля аргумент должен быть того же типа что параметр функции 4) Унификация, ну это я уже выше описал по сути, решаем все ети уровнения, если решение найти невозможно — выдаем ошибку типа

А как резолвить body функций у которых должен быть выведен return type? допустим ситуация

fun main() {
  sas()
}

fun sas() = 42

шо делать как быть: 1) мы не можем заранее пройдясь по всем функциям узнать точные их сигнатуры, ведь они не полные 2) мы не можем просто начать резолвить тела в рандомном порядке, ведь может встретится экспрешон с вызовом еще не зарезолвленной функции Решения два три, 1 Топологическая сортировка: попробовать сначала построить граф зависимостей между функциями и отсортировать его топологически, сначала резолвя функции без зависимостей итд Сложно реализуется Не поддерживает mutually recursive функцайки a -> b -> c -> a, короче сасать 2 Lazy резолвинг, обязательное условие - наличие точки входа(а что делать с либами?) Имеем 2 структуры, резолвнутое to Type Стек того что резолвим се короч не важно, суть что идем резолвить то что видим, увидили вызов sas, проверили что еще не резолвнут, резолвнули, а по стаку мы можем понять что не попали в ловушку a вызывает б а б вызывает а

я узнал что существует банановый сироп, и можно просить добавить его в кофя жизнь прошла не зря

новый продукт JB Git Client, название еще не придумали пока закрытая превью, регистрация уже закрылась тк кк все побежали https://lp.jetbrains.com/closed-preview-for-jetbrains-git-client/ > Sorry, demand was higher than anticipated and the team is already getting tons of feedback. А все пошло от просьб юзверов 9 лет назад https://youtrack.jetbrains.com/issue/IJPL-72504#focus=Change-27-12294721.0-0.pinned ну кста рили, я вот разрабатываю на своем яп в vsc(потому что lsp) но когда нужен гит открываю тот же проект в идее

нашел межславянские мемы https://t.me/MSzajedno, ласкаво просимо ваще ща задумался, помойму это отличный способ учить новый язык, особенно если бы мемы были бы реально смешными, надо бы поискать мемы на греческом, но шото мне подсказывает что даже в какомнибудь паблике с таким названием они будут на англе

ничеси, я думал были самолетики камикадзе, а оказывается были еще и маленькие подводные лодки камикадзе! кайтены https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D0%B9%D1%82%D1%8D%D0%BD тупа рождаешься, 20 лет живешь, а потом твой мозк используют в качестве системы навигации для торпеды

ззамечательная идея, сюжетно ориентированный рогалик с мгновенной смертью, вот вам банк, можете там шото оставлять и это передастся следующему капитану 1) придется балансировать и не использовать все возможные ресурсы, оставляя шото на некст ран, например не продавать предыдущую пушку а закидывать в банк 2) глобальный метапрогресс является исключительно следствием твоего планирования

токо шо испытал ложную слепоту, поставил чайник, начинаю искать банку кофя, на кухонном гарнитуре нет, смотрю на столе, концентрируюсь что ищу именно кофий, думаю неужели убрал в ящик, проверяю ящики, тут задумываюсь о чем то пока ящик кипит, и обнаруживаю кофя на кухонном гарнитуре, отчетливо вспоминая как только что осознанно искал кофе, но все равно не увидел

наконец то все встало на свои места теле с греческого вдаль\далеко τῆλε скопио — смотреть телескоп\микроскоп смотрим на расстоянии... телевизор — тут совместили греческий с латинским, висио видинье на латинском, на греческом теле-ораси тоже самое. видим на расстоянии телепортация — опять уж с ежом, portare лат. нести телефон, φωνή(фони) - голос\звук говорим на расстоянии телеграф — графо - писать пишем на расстоянии телеметрия наша любимая — метрон мерить мериим на расстоянии телепатия - πάθος чувства чувствуем с расстояния

я чтото пропустил https://youtu.be/J9I9SXhN34E

Васикс - WASI но со всеми полезными фичами из коробки Поддерживается только васмером https://wasix.org/

Появился еще один язык основанный на той же теории итеративных комбинаторов, правда выглядит сильно блее человечнее чем Bend https://github.com/faiface/par-lang