Запитання з тегом «programming-languages»

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

38 programming-languages  compilers 

Я знаю, що Ідріс має залежні типи, але не закінчується. Чого не можна зробити, відмовившись від повноти Тьюрінга, і це пов'язано з наявністю залежних типів? Я думаю, це досить специфічне питання, але я не знаю величезної кількості про залежні типи та пов'язані системи типів.

35 computability  programming-languages  type-theory  dependent-types 

Як викладач КС на університеті, питання про те, яку мову програмування викладати в першому курсі програмування, часто виходить на обговорення. Є тисячі мов на вибір, і багато релігійної лихоманки (або гарячки), яка підтримує один мовний табір над іншим. Весь цей суб'єктивний ухил, що оточує кожну мову програмування, учителеві дуже важко …

35 programming-languages  education 

Більшість з нас вивчили програмування, використовуючи "текстові" мови програмування, такі як Basic, C / C ++ та Java. Я вважаю, що людині більш природно і ефективно візуально мислити. Візуальне програмування дозволяє розробникам писати програми, маніпулюючи графічними елементами. Я думаю, що використання візуального програмування повинно покращити якість коду та зменшити помилки …

35 programming-languages 

Дійкстра у своєму нарисі « Про жорстокість справді викладання обчислювальної науки» робить наступну пропозицію щодо вступного курсу програмування: З одного боку, ми навчаємо, як виглядає предикатне числення, але ми робимо це зовсім інакше, ніж філософи. Для того, щоб навчити програміста-початківця до маніпулювання неінтерпретованими формулами, ми навчаємо його більше як булева …

33 reference-request  programming-languages  education  didactics 

Я читав про Йоту та Джота і вважав цей розділ заплутаним: На відміну від Iota, де синтаксичне дерево для рядка може розгалужуватися або зліва, або справа, синтаксис Jot рівномірно ліво-розгалужений. Як результат, Iota суворо без контексту, але Jot є звичайною мовою. Я розумію, що і Йота, і Джот Тюрінг завершені. …

32 regular-languages  programming-languages  turing-completeness 

В основному я знаю три основи математики Теорія множин Теорія типів Теорія категорій Тож якими способами пов'язані мови програмування та основи математики? EDIT Первісне питання було "Мови програмування на основі математики" з доданим парагарфом І реалізація теорії 1. Теорія типів у Coq 2. Теорія множин у SETL 3. Теорія категорій …

30 programming-languages  history  type-theory  category-theory 

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

28 computability  programming-languages  compilers 

Комбінатор з фіксованою точкою FIX (він же Y-комбінатор) в (нетипізованому) лямбдальному обчисленні ( λλ\lambda ) визначається як: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Я розумію його призначення і можу простежити виконання …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Це питання було переміщено із програми обміну стеками програмного забезпечення, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 6 років тому . Чи можемо ми вивчати мови програмування в контексті лінгвістики? Чи розвиваються мови програмування природним шляхом аналогічно природним мовам? Хоча повна раціональність і математична послідовність є важливими для …

27 programming-languages  natural-language-processing 

Ми в основному пишемо програму мовою високого рівня. Тому під час навчання я натрапив на асемблерну мову. Таким чином, асемблер перетворює мову складання в машинну мову, і компілятор робить те саме з мовою високого рівня. Я знайшов, що в мові збірки є такі інструкції, як переміщення r1 r3, переміщення 5 …

27 programming-languages  education  history 

Шукаєте розуміння рішень навколо зібраного мовним дизайном мови. Можливо, мовний експерт міг би мене просвітити? Я родом зі С ++, тому ця сфера для мене викликає здивування. Здається, майже всі сучасні мови, зібрані зі сміттям, підтримують об'єкти OOPy, такі як Ruby, Javascript / ES6 / ES7, Actioncript, Lua і т.д., …

27 programming-languages  memory-management  garbage-collection  language-design 

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

26 computability  programming-languages  turing-completeness 

Я знайшов кілька інструментів візуального програмування з відкритим кодом, таких як Blockly та друзі, та інші проекти, розміщені в Github, але не вдалося знайти жодного, який би працював безпосередньо з абстрактним синтаксичним деревом. Чому так? Я запитую, бо коли я виявив, що кожен компілятор там має фазу в процесі компіляції, …

25 programming-languages  language-design  syntax-trees 

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

25 formal-languages  programming-languages  regular-expressions