и даже так https://www.youtube.com/watch?v=WdWcEtiTLes

возможно, где-то собрали такой майнкрафт-мир, на которм можно запусть JVM => а там и майнкрафт и в нём....

Осталось дождаться программатор)

С другой стороны

Осталось дождаться программатор)

Осталось дождаться программатор)

Мощь

С другой стороны

Себе делаешь?

Себе делаешь?

Этот в подарок

Но себе тож планирую, позже

Взял с запасом

Этот в подарок

Девушке? 😏

Парню 😏

Парню 😏

😏🏳️‍🌈

😏🏳️‍🌈

😏

А кто-нибудь шарит в лазерной резке? :)

Хочу корпус сделать из фанеры

Берешь лобзик...

Лазерная :)

Лазерный лобзик

С другой стороны

Эти реально в СССР сделаны или стилизация?

Эти реально в СССР сделаны или стилизация?

Реально)

Их уже не выпускают давно

Эти 75 года

Есть один 84

Есть один 84

а что за мк?

а что за мк?

PIC

К155ИД1 и PIC16F628A

К155ИД1 и PIC16F628A

)) раньше в детстве тоже увлекался техникой ИД1 это дешифратор высоковольтный? по пику помню что F значит флешпамять многократно программируемый

)) раньше в детстве тоже увлекался техникой ИД1 это дешифратор высоковольтный? по пику помню что F значит флешпамять многократно программируемый

Да, дешифратор для газоразрядных индикаторов

а что на ATmega328 не делаешь

Да я хз, не очень шарю)

Я по готовому проекту делаю, пока

проще в разы...

Но как то к пику больше душа лежит

Он открытый :)

ардуино нано заугугли

Ардуины знаю

Прогал их

Простые, да

я последний проект сделал на нано + ENC28J60 (Lan) управление вентиляцией для серверного оборудования вентиляторами по шим управляет. температуру получает с датчиков DS18b20

Я щас хочу что-нибудь на ESP8266 сделать

Хз что правда

возьми Orange PI

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

@vshapenko вброшу в этот чат. Неразмеченные объединения должны подчиняться вот таким правилам https://ru.wikipedia.org/wiki/Объединение_множеств а конкретно для них должна работать ассоциативность (а+б)+с = а+(б+с) от размеченных объединений (которые в F# и есть, DU то бишь) их это и отличает Если у меня есть два DU вида type IntOrBool = | SomeInt of int | SomeBool of bool type MaybeBool = | Bool of bool | NoBool то их объединение только по мощи получаемого множества эквивалентно unit+bool+int, но типы обязаны быть разные, потому что они размеченные

в случае union type (имено общих, неразмеченных) int|bool + unit|bool должен абсолютно точно давать int|bool|unit потому что bool слева и bool справа это один и тот же bool, он неразмечен метками SomeBool и Bool как в DU

в F# нет юнион тайпов, но это не значит что они не нужны. Их просто нет

Ты же понимаешь, что это корректно математически, но пиздец практически?

понимаю :D

С точки зрения именно строгой типизации :)

не, с точки зрения типизации как раз всё ок

не вижу где тут потеря типизации происходит

Да весь спор о том, когда выводятся возвращаемые типы- до или после разбора тела функции

Если до- тебе окропят красненьким, после- тебя окропят

Давай абстрагируемся от проблем компилятора и сложности его написания) ты бы, как человек, смог вывести правильно неразмеченный юнион тайп из метода?

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

Нет

Я слаб

В этом вашем матане

Ну ладно. хрен с ним, короче юнион тайпы это нормально. Сделать сложно? ну наверное сложно, но скалисты справились. У них компилятор даже понимает что A|B это то же самое что B|A

Ну ладно. хрен с ним, короче юнион тайпы это нормально. Сделать сложно? ну наверное сложно, но скалисты справились. У них компилятор даже понимает что A|B это то же самое что B|A

Это как раз несложно

Там надо просто порядок сортировки задать

С деревом поинтереснее

А в общем случае у нас именно дерево

Юнион тайпов

И да,я наркоман

если они неразмеченные, то объединение двух одинаковых множество должно давать это же множество

вот такой DU type SuperDu = | OneInt of int | AnotherInt of int это реально два разных типа интов. а вот такой юнион тайп int|int - это точно эквивалентно типу int

Ну это понятно

Мы Ивана засаммонили

а насчёт дерева юнион тайпов: оно в процесса разбора должно быть схлопнуто до объединения уникальных типов по итогу

Интереснее кейс (int|string)|(syring|double)

Но ведь вроде бы никаких противоречий я не вижу. Если смотреть с точки зрения AST, то union type - Это Set<Type>б в то время как descriminated union - это DescriminatedUnionType - что то типа: Map<string, Type>

а насчёт дерева юнион тайпов: оно в процесса разбора должно быть схлопнуто до объединения уникальных типов по итогу

Эдак до фри монад договоримся

Но ведь вроде бы никаких противоречий я не вижу. Если смотреть с точки зрения AST, то union type - Это Set<Type>б в то время как descriminated union - это DescriminatedUnionType - что то типа: Map<string, Type>

вот кстати именно так и есть

и неслучайно слово Set переводится как множество :D

Совпадение? Не думаю (c)

Да я ж не спорю, что так и есть

Гораздо сложнее вопрос - во что это скомпилится 😊. Поскольку int | string в одной сборке должно совпадать со string | int в другой