Nikolay
Вот этим вот
Анна
gsomix
Даже простые задачки со схемами вводят меня в бешенство. :(
gsomix
Эквивалентные преобразования схем, брр.
Vasily
Карты Карно же
Vasily
Все вроде просто там
Vasily
Если мы про цифровую электронику
Vasily
С аналоговой сложнее
Vasily
Там надо знать, как работает транзистор :)
gsomix
Не, про это я даже не слышал.
SuddenGunter
Nikolay
Да я в схемах тоже не очень шарю)
Nikolay
Прост взял готовую схему и прошивку, и делаю)
gsomix
👍
Nikolay
Nikolay
Операционная
gsomix
Что делаешь-то?
Nikolay
Nikolay
Ток не говори, что я зануда
gsomix
Зануда здесь я.
gsomix
Выглядит красиво.
Nikolay
Ток корпус нужно придумать
Nikolay
Пойду в субботу на барахолку за корпусом :D
gsomix
Сейчас модно на 3д принтерах делать.
Nikolay
На 3D принтерах олдскул не получится
Nikolay
Nikolay
Вот очень круто
Nikolay
Можно в УАЗик ставить
gsomix
Напоминает старое оборудование с лабораторок по физике в универе.
gsomix
Эстетика. :)
gsomix
@Dolfik Глядишь, и поддержку винды починят когда-нибудь. :)
gsomix
новое про multicore — https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june-2018-development-meeting-in-paris/2202
Nikolay
@Dolfik Глядишь, и поддержку винды починят когда-нибудь. :)
А ReasonML компилится в OCaml или как?
gsomix
А ReasonML компилится в OCaml или как?
Reason -- это синтаксис. По сути они подменили некоторую часть OCaml компилятора.
Nikolay
А там нет рантайма?
gsomix
Своего собственного?
gsomix
Нет, это всё тот же OCaml.
Nikolay
Т.е. там приложухи просто в бинарник собираются, как в C++/Go?
gsomix
Да.
gsomix
Или в JS, через bucklescript.
Nikolay
А патчить для поддержки винды разве компилятор надо? Не библиотеки?
gsomix
Кажется, сейчас проблема с тулингом, да. Merlin не собирается под Windows.
gsomix
Компиляции в натив тоже может быть не без проблем.
gsomix
Ayrat А что там, есть хорошие юзкейсы для goto?
gsomix
если в твоём примере C# выглядит примерно так же, то в случае с goto боюсь придётся сушить вёсла.
Ayrat
больше не вижу юзкейсов
Ayrat
причём лоу левел настолько что ты точно знаешь что компилятор лучше не сделает)))
gsomix
ну лоу левел оптимизации только
Ну, я что-то открыл рандомный файл, а там goto используется для описания цикла.
Ayrat
он там для описания стейтов воркера используется
Ayrat
ща
Ayrat
https://github.com/Hopac/Hopac/blob/master/Libs/Hopac.Core/Engine/Worker.cs
Ayrat
метод Run
Ayrat
я честно хз насколько это дало перформанса, я прям до наносекунд не мерил
Ayrat
но я точно знаю что в F# гото не завезли поэтому данный код только если переделывать можно на F#
Nikolay
Ну по идее с goto можно сделать хвостовую рекурсию
Nikolay
¯\_(ツ)_/¯
Ayrat
гопачок очень быстр, поэтому я думаю эти goto вставки имели смысл.
Romɑn
Почему там пишут
var d = RunningWork;
RunningWork = d + 1;
Scheduler.Inc(sr);
?
Ayrat
хороший вопрос)
gsomix
гопачок очень быстр, поэтому я думаю эти goto вставки имели смысл.
Пожалуй. Интересно, если ли там еще пространство для оптимизаций.
Ayrat
Пожалуй. Интересно, если ли там еще пространство для оптимизаций.
думаю да, но кроме автора мало кто понимает что там происходит
gsomix
А автор в JS сейчас.
gsomix
Ок.
Ayrat
Ага
gsomix
Судя по PR никто не лезет туда.
gsomix
Печаль!
Ayrat
Да, там хоть и немного кода, с наскоку не разобраться. Я только расширения попилил Hopac.IO, и сейчас думаю как transactional events из cml сделать.
gsomix
А это что такое?
Ayrat
Это возможность пилить альтернативы (аналог event) транзакционно насквозь. Т.е. если такая альтернатива не выбирается или отменяется, то nack приходит не только в неё, но и во все альтернативы от неё зависящие. Т.е. получается распределенная, асинхронная транзакция.
Ayrat
В хаскеле это STM
Ayrat
https://www.google.com/url?q=https://www.cs.rit.edu/~mtf/research/tx-events/ICFP06/icfp06.pdf&sa=U&ved=0ahUKEwjHjbnPlv7bAhUD_ywKHc0WCIoQFggLMAA&usg=AOvVaw25g4TXQ7IChg9AlfR2wz9p
Ayrat
Вот оригинал статьи
gsomix
Ага, спасибо.
Vasily
Это возможность пилить альтернативы (аналог event) транзакционно насквозь. Т.е. если такая альтернатива не выбирается или отменяется, то nack приходит не только в неё, но и во все альтернативы от неё зависящие. Т.е. получается распределенная, асинхронная транзакция.
CancellableTokenSource по описанию
Vasily
Я, кстати, выдвинулся в сторону метро
Romɑn
Жаль что гопак нельзя папаллельить по типу mbrace io