gavr_sas
мне надоело принт дебажить поэтому я добавил сообщение для компилятора которое выводит все переменные текущего скоупа наконсоль
Добавил подобие стактрейсов
Теперь получается комбинируя предыдущую фичу которая принтит значения всех локальных переменных и эту, можно получить алляя брейкпоинт, токо в виде оутпута в консоль
см коммент
Теперь получается комбинируя предыдущую фичу которая принтит значения всех локальных переменных и эту, можно получить алляя брейкпоинт, токо в виде оутпута в консоль
см коммент
❤3
https://youtu.be/ABemmnhwKKQ
Внимание!
7 Зулин минут прошло(3 года), обзор на Сибирь 3 вышел пару минут назад
Внимание!
7 Зулин минут прошло(3 года), обзор на Сибирь 3 вышел пару минут назад
YouTube
Syberia 3 - Ветры Зимы
Кейт Волкер нашла мамонтов, а дальше что? В этом коротком видео мы пытаемся узнать ответ.
Стримы:
https://twitch.tv/mrzulin
Бусти:
https://boosty.to/mrzulin
Вокша (в роли Кейт Волкер):
https://www.youtube.com/@YaTakViju
Эрика (в роли гостеприимного хозяина):…
Стримы:
https://twitch.tv/mrzulin
Бусти:
https://boosty.to/mrzulin
Вокша (в роли Кейт Волкер):
https://www.youtube.com/@YaTakViju
Эрика (в роли гостеприимного хозяина):…
gavr
забавно, короч на греческом типота - ничего типа че смеешься, ничего а вопрос что это ти и типа спаршиваешь ти?? -типота или еще ти?? тири(сыр)
на греческом "они" делится по родам, то есть они коты и они кошки — 2 разных слова афти, афтес
и оно немного мясогенетическое, если группа смешанная и там хотя бы один мужского а остальные женского, тогда вся группа афти, и если только все женского то афтес.
и оно немного мясогенетическое, если группа смешанная и там хотя бы один мужского а остальные женского, тогда вся группа афти, и если только все женского то афтес.
gavr_sas
Ну окей это хитро, можем в рантайме свитчится пур функция или не пур(пур-пур) и напимер запускать в паралель
https://youtu.be/HoJaLJEPXW8
Опа, нашел толк как раз примерно про это
С какими проблемами сталкиваются алгебраические эффекты при полиморфизме
Например у вас есть тайп класс сложения, вычитания итд, флоты поддерживают деление на ноль, а инты выбрасывают ДтвижонБайЗеро, то есть имеют эффект, как же все это унифицировать?? вот вам небольшой крючок ^_^
Опа, нашел толк как раз примерно про это
С какими проблемами сталкиваются алгебраические эффекты при полиморфизме
Например у вас есть тайп класс сложения, вычитания итд, флоты поддерживают деление на ноль, а инты выбрасывают ДтвижонБайЗеро, то есть имеют эффект, как же все это унифицировать?? вот вам небольшой крючок ^_^
YouTube
[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming
Associated Effects: Flexible Abstractions for Effectful Programming (Video, PLDI 2024)
Matthew Lutze and Magnus Madsen
(Aarhus University, Denmark; Aarhus University, Denmark)
Abstract: We present associated effects, a programming language feature that enables…
Matthew Lutze and Magnus Madsen
(Aarhus University, Denmark; Aarhus University, Denmark)
Abstract: We present associated effects, a programming language feature that enables…
Топ толк от создателей ноиты, еще до того как она вышла.
Как оптимизировали симмуляцию песка жидкости и шазов, как оно вообще работает, и как дезайнили геймплей шобы было весело
https://youtu.be/prXuyMCgbTc
Как оптимизировали симмуляцию песка жидкости и шазов, как оно вообще работает, и как дезайнили геймплей шобы было весело
https://youtu.be/prXuyMCgbTc
👍1
Наверное идеальный пример реализации маленького типизированного компилятора на простом языке
GoCaml - реализация сабсета окамла с LLVM,
https://github.com/rhysd/gocaml/tree/master
GoCaml - реализация сабсета окамла с LLVM,
https://github.com/rhysd/gocaml/tree/master
👍1
А не подскажите ваше любимое решение для мутации полей объектов?
у мя сейчас так - можно мутировать поля только из методов этого же объекта, и только если этот метод объявлен для мутабильной версии
Этот подход классный тк кк мутации всегда локальные, но есть проблема — как мутировать поле другого объекта в объекте?
выходит теперь нужно объявить само поле мутабильным внутри Person
как то это уже черезчур, или нет, мхмхмх
у мя сейчас так - можно мутировать поля только из методов этого же объекта, и только если этот метод объявлен для мутабильной версии
type Person name: String age: Int
Person birthday = age <- age inc // НИЗЯ
mut Person birthday = age <- age inc // можно
x = Person name: "John" age: 20
x birthday // НИЗЯ
// мутабельного типа
y::mut Person = Person name: "John" age: 20
y birthday // можно
Этот подход классный тк кк мутации всегда локальные, но есть проблема — как мутировать поле другого объекта в объекте?
type Wallet money: Int
type Person wallet: Wallet
выходит теперь нужно объявить само поле мутабильным внутри Person
type Wallet money: Int
type Person wallet: mut Wallet
как то это уже черезчур, или нет, мхмхмх
🤔1😨1
сори за спам nivой, но шото я начал снова активно ее кодить, добавил type narrowing при матчинге на нулл во все остальные ветки
до этого была бы ошибка "can't send inc message to nullable type
по сути нуллабл типы это особый кейс суммы типов с нулом
Также у меня есть идея обратного матчинга, который будет нарровить не в новый скоп, а во внутренний - все что ниже. Чтобы не городить вложенности если нам нужен только один инвариант
до этого была бы ошибка "can't send inc message to nullable type
Int?
"по сути нуллабл типы это особый кейс суммы типов с нулом
Также у меня есть идея обратного матчинга, который будет нарровить не в новый скоп, а во внутренний - все что ниже. Чтобы не городить вложенности если нам нужен только один инвариант
через час преза биг N с свичем 2
UPD:
- LCD, ну разумеется, шобы можно было потом продавать олед версию
- 1080P hdr, 120 герц!
- режим шаринга игр, если есть несколько челов со свичами то достаточно чтобы многопользовательская игра присутсвовала только у одного из них шобы играть в нее вместе, нужно чтобы все были рядом
- 256 гб, было 64
- в каждом жой коне мышш, и крепятся они магнитиками а не защелками
- с кнопка вызывает чат и теперь там есть аналог дискорда во время игры
Релиз 5 июня
будет киберпанк, около бладкорн, марио кардс в опенворде, елден ринг, новый кинг конг
UPD:
- LCD, ну разумеется, шобы можно было потом продавать олед версию
- 1080P hdr, 120 герц!
- режим шаринга игр, если есть несколько челов со свичами то достаточно чтобы многопользовательская игра присутсвовала только у одного из них шобы играть в нее вместе, нужно чтобы все были рядом
- 256 гб, было 64
- в каждом жой коне мышш, и крепятся они магнитиками а не защелками
- с кнопка вызывает чат и теперь там есть аналог дискорда во время игры
Релиз 5 июня
будет киберпанк, около бладкорн, марио кардс в опенворде, елден ринг, новый кинг конг
🔥1
gavr_sas
через час преза биг N с свичем 2 UPD: - LCD, ну разумеется, шобы можно было потом продавать олед версию - 1080P hdr, 120 герц! - режим шаринга игр, если есть несколько челов со свичами то достаточно чтобы многопользовательская игра присутсвовала только у…
так, ну mousemode, как бы встроенные тачпады мышу замечательно заменяют, + блютус с любой нормальной мышой а не этими тунельсиндромные огрызки,
1080п это минус тк кк производительность - батарейка
и не хватает пункта про playing all nintedo switch games for free, и все остальные консоли тоже, вон пс4 допилили недавно
Steamdeck does what Nintendon't !
1080п это минус тк кк производительность - батарейка
и не хватает пункта про playing all nintedo switch games for free, и все остальные консоли тоже, вон пс4 допилили недавно
Steamdeck does what Nintendon't !
👍1
Forwarded from opennet.ru
Для Nim 3.0 развивается новый компиляторный бэкенд на основе формата NIF https://opennet.ru/63031/
www.opennet.ru
Для Nim 3.0 развивается новый компиляторный бэкенд на основе формата NIF
В процессе разработки версии 3.0 языка программирования Nim ведётся работа над обновлённым компилятором, использующим промежуточный формат NIF (Nim Intermediate Format). В новом компиляторе будет решено несколько технических задач, среди которых улучшение…
👍2