Ayrat
там даже с рыцарями и купцами
Анна
Это же Колонизаторы, не путаю?
Анна
Фатальный недостаток это важный аргумент
Roman
да, колонизаторы
Ayrat
есть, но хуевые. И у них фатальный недостаток
ПОНИМАЮ. но там даже кросс платформа. мы с женой шпилили с разных мобилок
Ayrat
в одну игру
Ayrat
ОЧЕНЬ УДОБНО
Roman
я хочу с браузерным юаем
Roman
Но мб и замарин попробую
Anatoly
у меня на даче инет в 800 метрах от дачи
Anatoly
московская область ;)
Roman
ПОНИМАЮ. но там даже кросс платформа. мы с женой шпилили с разных мобилок
но ты скинь ссыль на всякий случай. Вдруг идею какую спизжу
Ayrat
но ты скинь ссыль на всякий случай. Вдруг идею какую спизжу
https://www.catan.com/game/catan-android#
Ayrat
там есть такая же на иос
Ayrat
они совместимы
Ayrat
https://www.bluestacks.com/apps/board/catan-classic-on-pc.html
Ayrat
походу вот он на писи, но я на писе его не пробовал\
Ayrat
на писе я в катан универс играл, который в стиме
Roman
Нет, я не жадный, просто 4 сотки это для ведроидных приложений немало, обычно качество там получше)
Anatoly
https://cdn.discordapp.com/attachments/169142352089317376/699572209903206420/BGMain2_fuZdjUFGQC.png
Anatoly
если вы понимаете о чём я
Andrew
да, Catan хочу запрогать, чтоб в онлайне с пацанами рубиться
Забавно, думал один я решил впасть в геймдев)
Andrew
За последнее время
Ayrat
если вы понимаете о чём я
Дуал класс? Иначе зачем такая сила магу.
С низкой виздой виши не работают
Anatoly
Дуал класс? Иначе зачем такая сила магу.
С низкой виздой виши не работают
эт бг1, какие виши. трипл-класс.
Ayrat
Ну и да, ты ж поди сквозной ран планируешь.
Ayrat
На самом деле мне в рантайме просто нужно такое число, которое описывает длину массива. У меня есть тайплкасс, который сериализует данные в массив фиксированной длины. Я могу добавить просто ещё одно полюшко в трейт, реализующий тайпкласс, типа arraySize, но хочу попробовать на литералах сделать
Ayrat
Там временем в скала чате достают в РАНТАЙМЕ длину массива
Ayrat
Сука бля
Vasiliy
эм, а ее нельзя достать что ли?
Doge
Там вроде речь про массив с известной на этапе компиляции длиной
Ayrat
Не в компайл, а в ран
Doge
Зачем это в РАНТАЙМЕ?
Я не знаю, что там происходит у них в чате, но например, ты хочешь создать такой массив по переданному пользователю числу
Doge
Такое может сделать через зависимые типы
Ayrat
Я не знаю, что там происходит у них в чате, но например, ты хочешь создать такой массив по переданному пользователю числу
Сделать массив по переданному числу... Звучит как задача для зависимых типов!
Doge
Сделать массив по переданному числу... Звучит как задача для зависимых типов!
Создать массив константной длины n по переданному числу n
Ayrat
Массив очень константной длины
Ayrat
Длину можно достать в рантайме так
arr.Length
Doge
Array.zeroInit N
Нет, ты потом сможешь сделать: Array.get (N+1) myArray и компилятор тебе не помешает
Doge
А вот этого и хочется избежать
Ayrat
Нет, ты потом сможешь сделать: Array.get (N+1) myArray и компилятор тебе не помешает
Он мне и так не помешает. Мы ж в РАНТАЙМЕ
Doge
Нет. Там нет компилятора
Тебе надо будет в коде предоставить доказательство того, что данное пришедшее N удовлетворяет нужным условиям.
И код скомпилиться, только если нужные проверки есть
Ayrat
Ayrat
Речь шла про рантайм
Doge
Тогда это не рантайм, ты же понимаешь
Ты не понимаешь до конца, о чем речь, сейчас скину пример
Doge
https://scastie.scala-lang.org/XYpWXkS7Txufj5U6uV44NQ
Denis
ммм а зачем им тогда типизация если есть рантайм?)
Denis
(тоже сейчас пишу на скале и страдаю)
Doge
Вот пример того, о чем я говорю
Doge
Смотри метод get
Ayrat
Который работает только в рантайме на проверке двух чисел
Doge
Это всего лишь очень усложненный чек на выход за границы массива
Разница в том, что ты не сможешь проиндексировать такой массив, если у тебя не будет в скоупе инстансов нужных тайпклассов.
А получить их можно только осуществив проверки
Doge
Таким образом мы и получаем компайл тайм гарантии, что мы не возьмем элемент массива за его границами
Ayrat
Разница в том, что ты не сможешь проиндексировать такой массив, если у тебя не будет в скоупе инстансов нужных тайпклассов.
А получить их можно только осуществив проверки
Опять же, это очень усложненный чек на выход за границы. Только через тайпклассы
Ayrat
Таким образом мы и получаем компайл тайм гарантии, что мы не возьмем элемент массива за его границами
Неубедительно. Тайпклассы там создают тонну мусора. Я бы мог написать один тип с чеками внутри
Doge
Опять же, это очень усложненный чек на выход за границы. Только через тайпклассы
Разница в том, что использование обычного массива у тебя скомпилится и без этих поверок.
Doge
Неубедительно. Тайпклассы там создают тонну мусора. Я бы мог написать один тип с чеками внутри
Ну я не агитирую так писать на скале, лол
Doge
Это был скорее пример, где я пытался понять, можно ли сделать в дотти такие штуки более эргономично.
Но нет, сделать настолько же удобно как в языках с полноценными зав типами пока не выйдет
Vladislav
Тупой, ну очень тупой вопрос и не по теме, но может знает кто?
Можно ли без бекапа как-то вернуть бд на день назад?
Vladislav
F
Vladimir
Vasily
По поводу Катана - его надо на Ar пилить
Vasily
Тогда будет норм погружение
Vasily
Рабочий день. В правом нижнем углу уведомление стима - Szer играет в Eve online
Vasily
@omgszer , ну как так
Ayrat
Это дочь
Ayrat
Я работаю
Ayrat
Включила комп, а там ева!!11