language-theory

19зной

9ответ

Причина приоритета instanceof/is

В обоих случаях C#/Java приоритет оператора is, соответственно instanceof, приводит к некоторым уродливым необходимым скобкам. Например, вместо того, чтобы писать if (!bar instanceof Foo), вам необход

c# java language-theory 2013-08-23

---

0зной

2ответ

Все бесконечные языки неразрешимы?

Мне интересно, все ли бесконечные языки неразрешимы? Они должны быть правы, так как ТМ, пытающаяся решить бесконечный язык, будет просто зацикливаться навсегда, что делает ее рекунизатором, а не решат

turing-machines computation-theory language-theory 2013-02-13

---

4зной

3ответ

Каково использование возврата динамического значения в C#

... по сравнению с просто возвращающим объект. Волшебство начинается, когда вы присваиваете объект динамической объявленной переменной, так что же возвращает динамику? Так в чем разница между: static

c# dynamic language-theory 2013-05-25

---

1зной

4ответ

программирование «компилятора» - любой способ узнать, был ли {(открыватель)} (закрыт)?

Итак, у меня есть упражнение для создания своего рода java-компилятора. Я не получу слишком много деталей. В принципе, я хочу знать, можно ли использовать регулярное выражение, которое может идентифиц

java regex compiler-theory language-theory 2013-05-26

---

5зной

2ответ

Почему имена образуют вид, а не только тип?

Некоторое время назад в одном из расширений Haskell (не могу найти ссылку) и recently in Ur Я обнаружил, что имена (например, полей записи) образуют вид. Может ли кто-нибудь объяснить, почему абстракц

haskell functional-programming type-systems language-theory higher-kinded-types 2012-04-24

---

2зной

1ответ

Преобразования в XOR конъюнктивной форму

XOR конъюнктивной формы определяются следующим образом: (а исключающее б) и (с исключающим д) ... и т.д. и СБ-XCF это язык определяется прецедент (исключающей ИЛИ конъюнктивные) выражения, которые явл

logic theory graph-theory computation-theory language-theory 2013-07-17

---

2зной

3ответ

Инкапсуляция и исключения

Я разрабатываю свой собственный язык OO и был счастлив, пока не ударил исключения. Мне кажется, что исключения прерывают инкапсуляцию. Например, если класс A имеет объект класса B, B имеет C, а C имее

exception language-design encapsulation language-theory 2012-03-14

---

8зной

2ответ

Добавление акцентов речи поколения

Первая часть этого вопроса теперь своя, здесь: Analyzing Text for Accents Вопрос: Как могли акцентами быть добавлены к генерируемой речи? То, что я придумал: Я не имею в виду только знаки ударения, ил

algorithm audio signal-processing text-to-speech language-theory 2012-03-15

---