Запитання з тегом «compilers»

Переглянувши веб-сторінку Джулії , ви можете побачити деякі орієнтири з декількох мов через декілька алгоритмів (терміни, показані нижче). Як мова з компілятором, спочатку написаним на C, перевершує код C? Малюнок: еталонні часи щодо C (менший, тим краще, продуктивність C = 1,0).

175 programming-languages  compilers  efficiency 

Я помітив, що деякі програми або алгоритми, побудовані на мові програмування, скажімо, C ++ / Rust запускаються швидше або швидше, ніж ті, що побудовані, скажімо, на Java / Node.js, що працюють на одній машині. У мене є кілька запитань щодо цього: Чому це відбувається? Що регулює "швидкість" мови програмування? Це …

80 programming-languages  compilers 

Питання: "Певні властивості мови програмування можуть зажадати, щоб єдиний спосіб отримати написаний на ньому код виконуватись шляхом інтерпретації. Іншими словами, компіляція до коду машинного типу традиційного процесора неможлива. Що це за властивості?" Укладачі: принципи та практика Параг Х. Дейва та Хіманшу Б. Дейва (2 травня 2012 р.) Книга не дає …

71 programming-languages  compilers  interpreters 

Цікаво, чи можна створити компілятори для динамічних мов, таких як Ruby, щоб мати схожу та порівнянну продуктивність з C / C ++? З того, що я розумію про компілятори, візьмемо, наприклад, Ruby, компіляція коду Ruby ніколи не може бути ефективною, оскільки спосіб обробки Ruby відображає такі функції, як автоматичне перетворення …

64 programming-languages  compilers 

На таких мовах, як C, програміст повинен вставляти дзвінки безкоштовно. Чому компілятор не робить цього автоматично? Люди роблять це за розумну кількість часу (ігноруючи помилок), тому це неможливо. EDIT: Для подальшого ознайомлення, ось ще одна дискусія, яка має цікавий приклад.

63 compilers  memory-management  garbage-collection 

Мене цікавить часова складність компілятора. Зрозуміло, що це дуже складне питання, оскільки існує багато компіляторів, варіантів компілятора та змінних. Зокрема, мене цікавить LLVM, але мене зацікавлять будь-які думки у людей чи місця для початку досліджень. Досить гугл, здається, мало виводить на світ. Я гадаю, що є кілька кроків оптимізації, які …

54 compilers 

Припустимо, що програма була написана двома різними мовами, нехай вони будуть мовою X та мовою Y, якщо їх компілятори генерують один і той же байт-код, чому я повинен використовувати мову X замість мови Y? Що визначає, що одна мова швидша за іншу? Я запитую це, тому що часто ви бачите, …

38 programming-languages  compilers 

Я планую викладати зимовий курс на різну кількість тем, одна з яких буде компіляторами. Тепер я зіткнувся з цією проблемою, роздумуючи над завданнями, які даватимуть протягом кварталу, але він натрапив на мене, щоб я міг використати його як приклад. public class DeadCode { public static void main(String[] args) { return; …

32 computability  proof-techniques  compilers 

Коли комп'ютер зберігає змінну, коли програмі потрібно отримати значення змінної, як комп'ютер знає, де шукати в пам'яті значення цієї змінної?

32 compilers  memory-access  variable-binding 

Я розумію, що якщо існує 2 і більше лівих або правих дериваційних дерев, то граматика неоднозначна, але я не в змозі зрозуміти, чому це так погано, що всі хочуть його позбутися.

30 compilers  ambiguity 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

У мене є така пропозиція з курсу мого компілятора (в контексті розфарбовування графіків): Оскільки це повільно, забарвлення графіків, як правило, використовується в компіляторах пакетів, тоді як лінійне сканування, як правило, використовується в компіляторах JIT. Я не зміг знайти чіткого визначення в Інтернеті. Отже, що робить компілятор пакетним компілятором?

28 compilers 

Чи є програми, які можуть "перевести" вихідний код між будь-якими двома мовами (якщо припустимо, що перекладач має доступ до необхідних бібліотек)? Якщо вони є, як вони працюють (використовувані методи, необхідні знання тощо)? Як вони могли б бути побудовані? Якщо їх немає, які обмеження перешкоджають їх розвитку? Це повна проблема AI …

28 computability  programming-languages  compilers 

Було багато шумів щодо компіляторів JIT для таких мов, як Java, Ruby та Python. Чим компілятори JIT відрізняються від компіляторів C / C ++, і чому компілятори, написані для Java, Ruby або Python, називаються компіляторами JIT, тоді як компілятори C / C ++ називаються компіляторами?

22 compilers 

У книзі Ендрю У. Аппеля " Сучасне впровадження компілятора в ML" він говорить, що в розділі 17 теорія обчислюваності показує, що завжди можна буде винайти нові оптимізуючі перетворення і перейти до доказу, що повністю оптимізуючий компілятор вирішить проблему зупинки: Програма Q, який не дає виходу і ніколи не зупиняється, може …

20 computability  compilers  program-optimization