gavr_sas
дело дошло до код репорта https://youtu.be/HCOQmKTFzYY
Появился еще один язык основанный на той же теории итеративных комбинаторов, правда выглядит сильно блее человечнее чем Bend
https://github.com/faiface/par-lang
https://github.com/faiface/par-lang
GitHub
GitHub - faiface/par-lang: Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive…
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice. - faiface/par-lang
Васикс - WASI но со всеми полезными фичами из коробки
Поддерживается только васмером
https://wasix.org/
Поддерживается только васмером
https://wasix.org/
❤2
я чтото пропустил https://youtu.be/J9I9SXhN34E
YouTube
Smart Man With Glasses Is Real
wallpaper download
Please comment if you know more about this meme's origins.
Join my Patreon for a FREE writing guide:
▶ https://www.patreon.com/LIMC
Reading List: https://amzn.to/3G6b24F
https://linktr.ee/lessons
MEMBERS:
▶ https://www.youtube.co…
Please comment if you know more about this meme's origins.
Join my Patreon for a FREE writing guide:
▶ https://www.patreon.com/LIMC
Reading List: https://amzn.to/3G6b24F
https://linktr.ee/lessons
MEMBERS:
▶ https://www.youtube.co…
gavr
забавно, короч на греческом типота - ничего типа че смеешься, ничего а вопрос что это ти и типа спаршиваешь ти?? -типота или еще ти?? тири(сыр)
наконец то все встало на свои места
теле с греческого вдаль\далеко τῆλε
скопио — смотреть
телескоп\микроскоп
смотрим на расстоянии...
телевизор — тут совместили греческий с латинским, висио видинье на латинском, на греческом теле-ораси тоже самое.
видим на расстоянии
телепортация — опять уж с ежом, portare лат. нести
телефон, φωνή(фони) - голос\звук
говорим на расстоянии
телеграф — графо - писать
пишем на расстоянии
телеметрия наша любимая — метрон мерить
мериим на расстоянии
телепатия - πάθος чувства
чувствуем с расстояния
теле с греческого вдаль\далеко τῆλε
скопио — смотреть
телескоп\микроскоп
смотрим на расстоянии...
телевизор — тут совместили греческий с латинским, висио видинье на латинском, на греческом теле-ораси тоже самое.
видим на расстоянии
телепортация — опять уж с ежом, portare лат. нести
телефон, φωνή(фони) - голос\звук
говорим на расстоянии
телеграф — графо - писать
пишем на расстоянии
телеметрия наша любимая — метрон мерить
мериим на расстоянии
телепатия - πάθος чувства
чувствуем с расстояния
токо шо испытал ложную слепоту,
поставил чайник, начинаю искать банку кофя, на кухонном гарнитуре нет, смотрю на столе, концентрируюсь что ищу именно кофий, думаю неужели убрал в ящик, проверяю ящики, тут задумываюсь о чем то пока ящик кипит, и обнаруживаю кофя на кухонном гарнитуре, отчетливо вспоминая как только что осознанно искал кофе, но все равно не увидел
поставил чайник, начинаю искать банку кофя, на кухонном гарнитуре нет, смотрю на столе, концентрируюсь что ищу именно кофий, думаю неужели убрал в ящик, проверяю ящики, тут задумываюсь о чем то пока ящик кипит, и обнаруживаю кофя на кухонном гарнитуре, отчетливо вспоминая как только что осознанно искал кофе, но все равно не увидел
ззамечательная идея, сюжетно ориентированный рогалик с мгновенной смертью, вот вам банк, можете там шото оставлять и это передастся следующему капитану
1) придется балансировать и не использовать все возможные ресурсы, оставляя шото на некст ран, например не продавать предыдущую пушку а закидывать в банк
2) глобальный метапрогресс является исключительно следствием твоего планирования
1) придется балансировать и не использовать все возможные ресурсы, оставляя шото на некст ран, например не продавать предыдущую пушку а закидывать в банк
2) глобальный метапрогресс является исключительно следствием твоего планирования
ничеси, я думал были самолетики камикадзе, а оказывается были еще и маленькие подводные лодки камикадзе!
кайтены
https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D0%B9%D1%82%D1%8D%D0%BD
тупа рождаешься, 20 лет живешь, а потом твой мозк используют в качестве системы навигации для торпеды
кайтены
https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D0%B9%D1%82%D1%8D%D0%BD
тупа рождаешься, 20 лет живешь, а потом твой мозк используют в качестве системы навигации для торпеды
нашел межславянские мемы https://t.iss.one/MSzajedno, ласкаво просимо
ваще ща задумался, помойму это отличный способ учить новый язык, особенно если бы мемы были бы реально смешными, надо бы поискать мемы на греческом,
но шото мне подсказывает что даже в какомнибудь паблике с таким названием они будут на англе
ваще ща задумался, помойму это отличный способ учить новый язык, особенно если бы мемы были бы реально смешными, надо бы поискать мемы на греческом,
но шото мне подсказывает что даже в какомнибудь паблике с таким названием они будут на англе
👍2
новый продукт 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://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) но когда нужен гит открываю тот же проект в идее
JetBrains: Developer Tools for Professionals and Teams
Git Client from JetBrains - Closed Preview
New Git Client by JetBrains - join the Closed Preview Program.
👍2❤1
я узнал что существует банановый сироп, и можно просить добавить его в кофя
жизнь прошла не зря
жизнь прошла не зря
А как резолвить body функций у которых должен быть выведен return type?
допустим ситуация
шо делать как быть:
1) мы не можем заранее пройдясь по всем функциям узнать точные их сигнатуры, ведь они не полные
2) мы не можем просто начать резолвить тела в рандомном порядке, ведь может встретится экспрешон с вызовом еще не зарезолвленной функции
Решениядва три,
1 Топологическая сортировка: попробовать сначала построить граф зависимостей между функциями и отсортировать его топологически, сначала резолвя функции без зависимостей итд
Сложно реализуется
Не поддерживает mutually recursive функцайки a -> b -> c -> a, короче сасать
2 Lazy резолвинг, обязательное условие - наличие точки входа(а что делать с либами?)
Имеем 2 структуры,
резолвнутое to Type
Стек того что резолвим се
короч не важно, суть что идем резолвить то что видим, увидили вызов sas, проверили что еще не резолвнут, резолвнули, а по стаку мы можем понять что не попали в ловушку a вызывает б а б вызывает а
допустим ситуация
fun main() {
sas()
}
fun sas() = 42
шо делать как быть:
1) мы не можем заранее пройдясь по всем функциям узнать точные их сигнатуры, ведь они не полные
2) мы не можем просто начать резолвить тела в рандомном порядке, ведь может встретится экспрешон с вызовом еще не зарезолвленной функции
Решения
1 Топологическая сортировка: попробовать сначала построить граф зависимостей между функциями и отсортировать его топологически, сначала резолвя функции без зависимостей итд
Сложно реализуется
Не поддерживает mutually recursive функцайки a -> b -> c -> a, короче сасать
2 Lazy резолвинг, обязательное условие - наличие точки входа(а что делать с либами?)
Имеем 2 структуры,
резолвнутое to Type
Стек того что резолвим се
короч не важно, суть что идем резолвить то что видим, увидили вызов sas, проверили что еще не резолвнут, резолвнули, а по стаку мы можем понять что не попали в ловушку a вызывает б а б вызывает а
gavr_sas
А как резолвить body функций у которых должен быть выведен return type? допустим ситуация fun main() { sas() } fun sas() = 42 шо делать как быть: 1) мы не можем заранее пройдясь по всем функциям узнать точные их сигнатуры, ведь они не полные 2) мы не…
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) Унификация, ну это я уже выше описал по сути, решаем все ети уровнения, если решение найти невозможно — выдаем ошибку типа
Hindley–Milner
1) собираем все декларации функций переменных в одну бог шлепа структуру, обычно изза этого в таких языках есть жесткое требование к определению до использования F# OCalm(форвард декларейшон как в С)
2) Присваиваем переменным воображаемые временные типы, аля тайп холы ⭕️ t0 t1 t2...
3) Генерим уравления/ограничения, исходя из контекста, например обычно в H&M нет перегрузки операторов, и + всегда означает 2 числа, из этого можно легко вывезти 2 любых t1 + t2, еще простой пример fun f(x), f(y), => x == y, аля аргумент должен быть того же типа что параметр функции
4) Унификация, ну это я уже выше описал по сути, решаем все ети уровнения, если решение найти невозможно — выдаем ошибку типа