Size: a a a

Compiler Development

2021 January 01

t

trsfrm2smgen in Compiler Development
к примеру add r15,r13,r14
источник

BD

Berkus Decker in Compiler Development
trsfrm2smgen
а без jmp к примеру alu операциями или movement нельзя  ?
читайте ARM ARM, там всё написано
источник

BD

Berkus Decker in Compiler Development
насколько я помню, будет ли следующий режим thumb или нет решает младший бит адреса на который вы ПЕРЕХОДИТЕ
источник

BD

Berkus Decker in Compiler Development
флаг называется T а процесс называется interwork - это все есть на армовском инфоцентре
источник

t

trsfrm2smgen in Compiler Development
Berkus Decker
насколько я помню, будет ли следующий режим thumb или нет решает младший бит адреса на который вы ПЕРЕХОДИТЕ
да я это видел
источник

BD

Berkus Decker in Compiler Development
trsfrm2smgen
да я это видел
вот и прекрасно
источник
2021 January 02

VT

Vasiliy Tereshkov in Compiler Development
Реализовал в своём интерпретаторе Umka возможность подхватывать на лету DLL с реализациями внешних функций, для которых найдены только прототипы на самом Umka. Насколько я понял, require() в Lua работает примерно так же. (Досадно, правда, что пришлось выйти за пределы стандартной библиотеки C и явно вызывать LoadLibrary()/dlopen() под #ifdef'ами.)

Может быть, теперь разработка библиотек под Umka теперь пойдёт веселее. Пока думаю про библиотеку HTTP-запросов на основе libcurl и про аналог NumPy (название просится само - Numka). А ваше мнение - что первым делом полезно иметь из библиотек для нового языка?

https://github.com/vtereshkov/umka-lang/tree/master/tests/lib
источник

dt

d t in Compiler Development
Vasiliy Tereshkov
Реализовал в своём интерпретаторе Umka возможность подхватывать на лету DLL с реализациями внешних функций, для которых найдены только прототипы на самом Umka. Насколько я понял, require() в Lua работает примерно так же. (Досадно, правда, что пришлось выйти за пределы стандартной библиотеки C и явно вызывать LoadLibrary()/dlopen() под #ifdef'ами.)

Может быть, теперь разработка библиотек под Umka теперь пойдёт веселее. Пока думаю про библиотеку HTTP-запросов на основе libcurl и про аналог NumPy (название просится само - Numka). А ваше мнение - что первым делом полезно иметь из библиотек для нового языка?

https://github.com/vtereshkov/umka-lang/tree/master/tests/lib
Просмотрел  "std.um" - https://github.com/vtereshkov/umka-lang/blob/master/import/std.um. Из минимума можно добавить словарь какой - если конечно уже не добавили. Неплохо бы уметь переупорядочивать массив стандартными средствами, а не "ручками", а также искать в нем.
источник

dt

d t in Compiler Development
Vasiliy Tereshkov
Реализовал в своём интерпретаторе Umka возможность подхватывать на лету DLL с реализациями внешних функций, для которых найдены только прототипы на самом Umka. Насколько я понял, require() в Lua работает примерно так же. (Досадно, правда, что пришлось выйти за пределы стандартной библиотеки C и явно вызывать LoadLibrary()/dlopen() под #ifdef'ами.)

Может быть, теперь разработка библиотек под Umka теперь пойдёт веселее. Пока думаю про библиотеку HTTP-запросов на основе libcurl и про аналог NumPy (название просится само - Numka). А ваше мнение - что первым делом полезно иметь из библиотек для нового языка?

https://github.com/vtereshkov/umka-lang/tree/master/tests/lib
И, простите, язык назвать "Гошка", а не "Умка".
источник

D

Danya in Compiler Development
Vladimir Kazanov
Это легко. Окамл мне нравится концептуально, но отвращает синтаксически. ReasonML вот прям сильно лучше, но кому есть до него дело..?
На Reason иногда даже прод пишут..
источник

D

Danya in Compiler Development
YouTube
TypeScript - это трата времени. Год с #ReasonML на продакшене
Почему TypeScript - трата времени, Flow чуть получше, но все равно победил ReasonML? Про сильные стороны и фейспалм.

Антон Тужик, Frontend Developer из SEMrush рассказывает про год использования ReasonML в продакшене.

00:00 - Вступление
00:33 - Из геолога в программисты. Курсы, книги, подкасты
11:39 - Как и почему уходили от Javascript
13:20 - Почему выбрали Flow, а не TypeScript
16:25 - Что такое Soundness
19:45 - Как типы изменили тестирование
24:18 - Как Flow показал себя
26:52 - Поиск альтернатив: Elm, ClojureScript, ReasonML, Purescript, Dart
30:57 - ReasonML - это отдельный язык?
31:32 - Зачем извратили OCaml?
32:49 - OCaml и Javascript
35:34 - Что такое BuckleScript
38:07 - Javascript на выходе, хорош ли?
47:36 - Про фейсбук и OCaml
50:34 - Чем хорош OCaml
51:36 - Причины почему ReasonML
52:20 - Interop и монадки
53:58 - Скорость разработки на ReasonML
54:34 - Как затащили ReasonML в компанию
56:23 - Рынок ReasonML
01:00:47 - ReasonML подхватывается командой
01:01:52 - Аннотации и вывод типов
01:04:00…
источник

M

MaxGraey in Compiler Development
Danya
YouTube
TypeScript - это трата времени. Год с #ReasonML на продакшене
Почему TypeScript - трата времени, Flow чуть получше, но все равно победил ReasonML? Про сильные стороны и фейспалм.

Антон Тужик, Frontend Developer из SEMrush рассказывает про год использования ReasonML в продакшене.

00:00 - Вступление
00:33 - Из геолога в программисты. Курсы, книги, подкасты
11:39 - Как и почему уходили от Javascript
13:20 - Почему выбрали Flow, а не TypeScript
16:25 - Что такое Soundness
19:45 - Как типы изменили тестирование
24:18 - Как Flow показал себя
26:52 - Поиск альтернатив: Elm, ClojureScript, ReasonML, Purescript, Dart
30:57 - ReasonML - это отдельный язык?
31:32 - Зачем извратили OCaml?
32:49 - OCaml и Javascript
35:34 - Что такое BuckleScript
38:07 - Javascript на выходе, хорош ли?
47:36 - Про фейсбук и OCaml
50:34 - Чем хорош OCaml
51:36 - Причины почему ReasonML
52:20 - Interop и монадки
53:58 - Скорость разработки на ReasonML
54:34 - Как затащили ReasonML в компанию
56:23 - Рынок ReasonML
01:00:47 - ReasonML подхватывается командой
01:01:52 - Аннотации и вывод типов
01:04:00…
Это лучше сюда https://t.me/LanguageDev
источник

K

Kakadu in Compiler Development
Danya
YouTube
TypeScript - это трата времени. Год с #ReasonML на продакшене
Почему TypeScript - трата времени, Flow чуть получше, но все равно победил ReasonML? Про сильные стороны и фейспалм.

Антон Тужик, Frontend Developer из SEMrush рассказывает про год использования ReasonML в продакшене.

00:00 - Вступление
00:33 - Из геолога в программисты. Курсы, книги, подкасты
11:39 - Как и почему уходили от Javascript
13:20 - Почему выбрали Flow, а не TypeScript
16:25 - Что такое Soundness
19:45 - Как типы изменили тестирование
24:18 - Как Flow показал себя
26:52 - Поиск альтернатив: Elm, ClojureScript, ReasonML, Purescript, Dart
30:57 - ReasonML - это отдельный язык?
31:32 - Зачем извратили OCaml?
32:49 - OCaml и Javascript
35:34 - Что такое BuckleScript
38:07 - Javascript на выходе, хорош ли?
47:36 - Про фейсбук и OCaml
50:34 - Чем хорош OCaml
51:36 - Причины почему ReasonML
52:20 - Interop и монадки
53:58 - Скорость разработки на ReasonML
54:34 - Как затащили ReasonML в компанию
56:23 - Рынок ReasonML
01:00:47 - ReasonML подхватывается командой
01:01:52 - Аннотации и вывод типов
01:04:00…
Спасибо за видео
источник

M

MrSmith in Compiler Development
https://www.mm-adt.org/vm/#_mmlang_syntax_and_semantics
что они подразумевают под quantifier
источник

M

MrSmith in Compiler Development
Я сначала думал это способ создавать типы массивов но потом посмотрел в чем смысл квантора для чисел
источник

M

MrSmith in Compiler Development
Из матричной алгебры вроде есть скалярные матрицы
источник

M

MrSmith in Compiler Development
типа 1.5{4} роди вектор (1.5,1.5,1.5,1.5)
источник

M

MrSmith in Compiler Development
Но чет не уверен я
источник

M

MrSmith in Compiler Development
Кстати с теоретической точки зрения эта штука лучше LLVM
источник

IP

Iaroslav Postovalov in Compiler Development
Vasiliy Tereshkov
Реализовал в своём интерпретаторе Umka возможность подхватывать на лету DLL с реализациями внешних функций, для которых найдены только прототипы на самом Umka. Насколько я понял, require() в Lua работает примерно так же. (Досадно, правда, что пришлось выйти за пределы стандартной библиотеки C и явно вызывать LoadLibrary()/dlopen() под #ifdef'ами.)

Может быть, теперь разработка библиотек под Umka теперь пойдёт веселее. Пока думаю про библиотеку HTTP-запросов на основе libcurl и про аналог NumPy (название просится само - Numka). А ваше мнение - что первым делом полезно иметь из библиотек для нового языка?

https://github.com/vtereshkov/umka-lang/tree/master/tests/lib
подход нампая довольно отвратителен в плане того, что добавить или исправить в нем сейчас что-то нереально
источник