oberon@conference.jabber.ru 2016-11-13 00:03:49

[00:03:49] <geniepro> о_О не знаю что случилось, но как залогинился в студии как разработчик -- запустилась прога на мобилке
[00:05:33] <valexey> без логина оно и не должно было работать
[00:05:45] <valexey> как оно тебе без сертификата запустится то?
[00:06:46] <geniepro> теперь следующая проблема -- надо придумать, какую программу написать ))) пока только одна проблема -- нормальный аудиоплейер типа AIMP-WinAMP
[00:06:59] <geniepro> нет на виндофоне аналога такого плейера
[00:07:11] <valexey> напиши компилятор оберона на F# под мобилку :-)
[00:07:29] <valexey> т.е. чтобы на мобилке запускалось
[00:07:39] <valexey> можешь даже попробовать оксфордский портануть с окамла :-)
[00:07:52] <geniepro> а нафига он нужен? о_О
[00:08:15] <geniepro> блин, у меня триальная лицензия какая-то, в феврале закончится о_О надо как-то продлять
[00:08:48] <valexey> оно потом автоматом продлится
[00:08:49] <valexey> не сцы
[00:11:01] <geniepro> ты бы ещё сказал -- портируй оберонось на вендофон )))
[00:12:03] <valexey> тоже дело. но вначале можно с малого начать. ты же хотел F#? вот цомпилятор - самое оно :-)
[00:12:39] <geniepro> не, я делал как-то прогу на эфшарпе под виндовс це -- простенький калькулятор, вроде работало
[00:12:46] <geniepro> но эфгарп туфта же
[00:13:00] <valexey> да, камло лучше
[00:13:17] <geniepro> не, камло -- тот же эфшарп же
[00:13:42] <valexey> не-е. камло няшней. там и инструментарий лучше. там можно синтаксис как угодно переопределять! и много чего еще
[00:22:49] <valexey> http://cybernatic-cat.livejournal.com/1524677.html
[00:22:53] <valexey> http://cybernatic-cat.livejournal.com/1524976.html
[00:29:28] <geniepro> https://habrahabr.ru/post/283202/
[00:29:57] <valexey> ?
[00:30:03] <valexey> это ж было полгода назад
[00:30:32] <geniepro> ага, интересно есть где-нить их слайды?
[00:30:38] <valexey> хез
[00:30:51] <valexey> тебе нужна дополнительная мотивация чтобы начать какой-то проект на расте?
[00:31:14] <geniepro> valexey: тебе тема от Константина: http://oberspace.dyndns.org/index.php/topic,692.msg21710.html#msg21710
[00:31:35] <geniepro> valexey: ну хз, просто любопытно посмотреть какие там типы памяти в расте
[00:33:01] <geniepro> https://www.youtube.com/playlist?list=PL2VfLXgokbzPTnJGQixiHErR1iQDTfobf
[00:34:01] <geniepro> https://www.youtube.com/watch?v=uLJ_Au8XoDE&index=4&list=PL2VfLXgokbzPTnJGQixiHErR1iQDTfobf
Александр Вершилов: Rust FFI на примере расширения структуры данных из Haskell.
[00:34:32] <valexey> Нинужно FFI на примере расширения структуры данных из Нинужно
[01:07:14] <geniepro> http://forum.oberoncore.ru/viewtopic.php?f=115&t=5951
Comdiv
В режиме Oberon-07, компилятор не принимает такой код:
Код:
Base* = RECORD
  do: PROCEDURE(VAR b: Base)
END;
Выдавая сообщение об ошибке про неизвестный тип Base, в то время как в обычном режиме у транслятора нет проблем. Это ошибка или такое поведение следует из описания языка?
[01:08:25] <geniepro> насколько я помню в описании оберона-07 нет упоминаний, что тип параметра процедурной переменной должен быть где-то заранее определён, то есть это ошибка компилятора?
[01:12:02] <geniepro> у владовского компилятора претензий к этому коду нет
[01:16:43] <geniepro> MODULE test;
IMPORT JS;

TYPE Base* = RECORD
  do: PROCEDURE(VAR b: Base)
END;

VAR
ob: Base;

PROCEDURE Do(VAR x:Base);
BEGIN
JS.alert("Hello, World!");
   x.do(x);
END Do;

BEGIN
ob.do := Do;
ob.do(ob);
END test.
[02:25:11] <geniepro> компилятор акрона тоже берёт такой код
[02:48:45] <vlad2> Гы! У нас тут локальный майданчик.
[02:49:23] <vlad2> Радужные собрались и орут: "Hi is sexist, he is racist, he does not represent us!". Рабоать не дают :)
[03:43:07] <geniepro> облей их ледяной водой -- пусть домой прут
[14:29:45] <Kemet> geniepro, Блин, такая же проблема в АО со связанными с типом процедурами
[14:31:33] <TRUE> даже если тип будет POINTER TO?
[14:31:44] <TRUE> или поинтер решит проблему?
[14:32:56] <Kemet> Вернее там несколько иная, но в результате использовать в параметрах тип ресивера не получается
[14:34:14] <Kemet> TRUE, В АО только для записей процедуры, а в качества параметра указатель не проверял ибо не нкжен
[14:36:07] <TRUE> для записей процедуры? Можно уточнить, что это?
[14:37:54] <TRUE> Тест с указателем поможет выявить проблему. В чём она? В том, что параметр процедуры совпадает с ресивером или в том, что они оба расположены на стеке?
[14:39:59] <Kemet> TRUE, Проблема в том что методы для записей в стиле оберог 2 не доделаны и если тип ресивера и тип параметра совпадают то ругаетмёся на чиклические определения типа
[14:42:06] <Kemet> То есть ругается не на отсутствие определениеэя а на цикличеэность что явно баг
[14:42:56] <geniepro> ну здесь-то не должно же быть цикла:
TYPE Base* = RECORD
  do: PROCEDURE(VAR b: Base)
END;
[14:45:05] <Kemet> geniepro, Дык и в АО не должно, думаю что в ао надо смотреть семантикчекер
[14:46:51] <Kemet> geniepro, В классик обероне вроде нельзя использовать тип до его определения, и тоже будет ошибка как в о7
[14:48:38] <Kemet> Так как в процедурной пере енной опредкление типа еще не завершено, но можно на эмуляторе запустить Виртовский оберон и посмотреть
[14:51:17] <geniepro> ну а как быть с указателями на записи? они же обычно до самой записи определяются
[15:25:45] <geniepro> http://ithare.com/infographics-operation-costs-in-cpu-clock-cycles/
[15:30:03] <Kemet> geniepro: указатели можно
[15:33:01] <Kemet> TRUE: с у казателем - норм
MODULE test;
TYPE
R = RECORD END;

PROCEDURE ( rec: R ) P( a: R );
END P;

END test
компилируется
[15:33:28] <Kemet> *не компилируется

[15:34:21] <Kemet> PROCEDURE ( rec: R ) P( a: POINTER TO R );
rjvgbkbhetncz
[15:34:32] <Kemet> компилируется
[16:06:55] <Kemet> А ведь в ББ если у метода записи есть параметр того же типа, то тоже не компилируется