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

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

18 programming-languages  type-theory 

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

18 terminology  programming-languages  api-design 

У мовах програмування закриття - популярна і часто бажана особливість. Вікіпедія говорить (моє наголос): В інформатиці закриття (...) - це функція разом із референтним середовищем для нелокальних змінних цієї функції. Закриття дозволяє функції отримувати доступ до змінних за межами її безпосередньої лексичної області. Отже, закриття - це, по суті, значення …

18 programming-languages  semantics 

Я вивчив книгу "С ++ Демістифікований" . Тепер я почав читати "Об'єктно-орієнтоване програмування в першому виданні Turbo C ++ (1-е видання)" Роберта Лафора. Я не знаю жодного знання програмування, що знаходиться поза цими книгами. Ця книга може бути застарілою, оскільки їй 20 років. У мене є останнє видання, я використовую …

17 programming-languages  object-oriented  programming-paradigms 

Я дуже боюся з цією властивістю: Нехай X,YX,YX,Y - простори когерентності, а f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) монотонна функція. fff є безперервним тоді і тільки тоді, коли f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , для всіх D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) таким чином, що DDD є направленою множиною. Спрямований набір визначається таким чином: POSETD⊆D⊆D …

16 terminology  programming-languages  semantics 

Згідно з цією статтею, наступний рядок коду Lisp друкує "Hello world" на стандартний вихід. (format t "hello, world") Lisp, що є гомоніконімічною мовою , може розглядати код як дані таким чином: А тепер уявіть, що ми написали такий макрос: (defmacro backwards (expr) (reverse expr)) назад - це назва макросу, який …

16 programming-languages  functional-programming 

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

15 programming-languages 

Я знаю, що це можна довести, що PROLOG є Тюрінг-завершеним, створивши програму, яка імітує машину Тьюрінга на зразок цього: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Я працюю над компілятором для конкатенативної мови і хотів би додати підтримку виводу типу. Я розумію Хіндлі – Мілнера, але я вивчав теорію типів, коли йду, тому не знаю, як її адаптувати. Чи є наступна система звуковою і, можливо, незмінною? Термін - це буквальне слово, склад термінів, цитата терміна або …

15 programming-languages  logic  compilers  type-theory  type-checking 

З посиланням на особливості таких мов, як рубін (і javascript), які дозволяють програмісту розширювати / переосмислювати класи в будь-який час після його визначення (включаючи класи типу String), чи теоретично доцільно розробити мову, яка дозволить програмам згодом розширювати його семантика. напр .: Ruby не допускає багаторазового успадкування, але чи можу я …

15 programming-languages  semantics 

Ось я прочитав це: У Haskell, безумовно, немає найсучаснішої системи типів (навіть не тісна, якщо рахувати дослідницькі мови), але з усіх мов, які фактично використовуються у виробництві Haskell, ймовірно, на самому верху. Тому я запитую дві речі: які дослідницькі мови мають більш потужні системи типу, ніж Haskell; що вони покращують. …

14 programming-languages  type-theory 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Я натрапив на дивний досвід програмування на С. Розглянемо цей код: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Коли я компілюю та запускаю це, я не отримую жодних помилок чи попереджень. Як …

14 programming-languages  arrays  c 

Я думаю, що я дуже розгублений щодо того, що називається обчисленням і що називається мовою програмування. Я схильний думати, і, можливо, сказали б, що обчислення є формальною системою для міркувань про еквівалентність програм. У програмах є оперативна семантика, визначена машиною, яка повинна (я думаю?) Бути детермінованою. Таким чином, (правильне) обчислення …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Я постійно чую, як треба вивчити теорію категорій, щоб справді зрозуміти теорію мови програмування. Поки що я навчився великій кількості PL, не вступаючи ніколи в сферу категорій. Однак я подумав, що настав час зробити стрибок, щоб побачити, чого я пропустив. На жаль, жодне з джерел, які я можу знайти, здається, …

13 reference-request  programming-languages  type-theory  category-theory