AB
А есть ли в джаве циклы событий, без использования вспомогательных потоков?
event-loop based движки там конечно есть, но там обычно больше одного пула тредов
Size: a a a
2019 December 23
c🦊
kirill ivanov
Я
О! А говорил что из RBK точно с ней выходил
ki
Взял но не донес)
ki
Если она на рецепшне. То забрал, а когда куртку начал одевать оставил там
SY
@petrkozorezov @define_null возвращаясь к dialyzer, подскажите где у него лимит на рекурсивный тип смотреть?
V
erl_types.erl в cerl если я правильно помню
SP
@petrkozorezov @define_null возвращаясь к dialyzer, подскажите где у него лимит на рекурсивный тип смотреть?
в смысле в коде где он прописан?
SY
в смысле в коде где он прописан?
да
PK
вот вы быстрые, я только пошел смотреть, а всё уже нашли и написали 🙂
SP
и, как я понимаю, конкретно для
a | b | c оно тут упрощает: https://github.com/erlang/otp/blob/7ed659fd1144b455883eef18dab38cddc904a065/lib/hipe/cerl/erl_types.erl#L5599-L5605V
ага
SP
могли бы и что-то похитрее придумать...
V
я с мобилки не такой быстрый ^^
SP
типа проанализировать содержимое и если всё атомы - заменить на
atom() или там tuple() если таплы или даже до сетов более generic видаV
там можно и pretty print глянуть, который any пропускает, о котором я говорил на митапе кратенько. Блин, надо конечно багрепорт нормальный запилить, но я в отпуске)
SP
pretty print?
V
там функция которая конвертирует тип в строку
V
она используется диалайзером при выводе ошибок
SP
а..