Система типов в Scala-это Turing complete. Доказательство? Например? Преимущества?

есть утверждения, что система типов Scala является Turing complete. Мои вопросы: есть ли формальное доказательство этого? Как будет выглядеть простое вычисление в системе типов Scala? имеет ли это какую - либо пользу для Scala-языка? Это делает Sca ...

В чем разница между прикладным уровнем и уровнем бизнес-логики?

в чем разница между прикладным уровнем и уровнем бизнес-логики? Я вроде понимаю, что бизнес-уровень предоставляет бизнес-услуги, а уровень приложений объединяет бизнес-услуги и предоставляет услуги конечному пользователю (веб-сервис, пользовательский ...

Код Гольф: Проточная Вода

вызов самый короткий код по количеству символов для идентификации и маркировки водных депрессий в представлении ASCII земли от входа. вход будет представлять собой ASCII-представление ландшафта, имеющего холмы, долины и плоские земли. Программа дол ...

Что такое попадание в кэш и промах кэша? Почему переключение контекста приведет к пропуску кэша?

из 11-й главы(производительность и масштабируемость) и в раздел Переключение Контекста на JCIP book: когда новый поток включен, данные, которые ему нужны, вряд ли будут в локальном кэше процессора, поэтому контекстный переключатель вызывает шкв ...

Код Гольф: парсер регулярных выражений

цель сегодняшняя задача Code Golf-создать парсер регулярных выражений в как можно меньшем количестве символов. синтаксис Нет, я не прошу вас соответствовать регулярным выражениям в стиле Perl. В конце концов, для них уже есть очень надежный перево ...

Генератор Псевдослучайных Чисел-Экспоненциальное Распределение

Я хотел бы создать некоторые псевдослучайные числа, и до сих пор я был очень доволен библиотекой .Net . PRNGs этого разнообразия должно использовать равномерное распределение, но я бы очень хотел сгенерировать некоторые числа с помощью Экспоненциаль ...

Разве плавные интерфейсы нарушают закон Деметры?

на статья в Википедии о закон Деметры говорит: закон можно сформулировать просто как "использовать только одну точку". однако a простой пример: на свободно интерфейс может выглядеть так: static void Main(string[] args) { new ZRLabs.Yael.Pi ...

В чем разница между знаковыми и беззнаковыми переменными?

Я видел эти упомянуты в контексте C и C++, но в чем разница между знаковыми и беззнаковыми переменными? ...

Где я могу изучить основы написания лексера?

Я хочу научиться писать лексер. У моего университетского курса было задание, где мы должны были написать парсер (и лексер, чтобы идти вместе с ним), но это было дано нам без инструкции или обратной связи (за пределами отметки), поэтому я действительн ...

О каких полезных трюках с побитовым кодом оператора должен знать разработчик?

Я должен сказать, что у меня никогда не было причины использовать побитовые операторы, но я уверен, что есть некоторые операции, которые я совершаю, что было бы более эффективно сделать с ними. Как "сдвиг" и "или-Инг" помогли вам решить проблему боле ...

Зачем вообще использовать наследование? [закрытый]

Я знаю, что вопрос был обсуждали перед, но, похоже, всегда предполагается, что наследование, по крайней мере, иногда предпочтительнее композиции. Я хотел бы оспорить это предположение в надежде получить некоторое понимание. мой вопрос такой: С вы мо ...

Алгоритм поиска статей с похожим текстом

У меня есть много статей в базе данных (с заголовком,текстом), Я ищу алгоритм для поиска X наиболее похожих статей, что-то вроде "связанных вопросов" Stack Overflow, когда вы задаете вопрос. Я попытался погуглить для этого, но только нашел страницы ...

Как нумеруются вложенные группы захвата в регулярных выражениях?

существует ли определенное поведение для того, как регулярные выражения должны обрабатывать поведение захвата вложенных скобок? Более конкретно, можно ли разумно ожидать, что различные механизмы будут захватывать внешние круглые скобки в первой пози ...

Любой Реальный Опыт Использования Программной Транзакционной Памяти? [закрытый]

похоже, что в последнее время растет интерес к STM (программной транзакционной памяти) фреймворкам и языковым расширениям. Clojure в частности, имеет отличную реализацию, которая использует MVCC (управление параллелизмом нескольких версий) вместо с ...

Что такое GUID? Почему и где я должен его использовать?

Что такое GUID? Почему и где я должен его использовать? Я видел ссылки на GUID во многих местах, и в Википедии, но это не очень ясно говорит вам, где его использовать. Если бы кто-то мог ответить на этот вопрос, было бы неплохо. Спасибо ...

В чем разница между "image/png" и "image/x-png"?

в чем разница между "image/png" и "image/x-png"? ...

Почему рекурсия должна быть предпочтительнее итерации?

итерация более эффективна, чем рекурсия, верно? Тогда почему некоторые люди считают, что рекурсия лучше (более элегантна, по их словам), чем итерация? Я действительно не понимаю, почему некоторые языки, такие как Haskell, не позволяют итерации и поощ ...

Как вы воспроизводите ошибки, которые происходят спорадически?

У нас есть ошибка в нашем приложении, которая не происходит каждый раз, и поэтому мы не знаем его "логику". Я даже не могу воспроизвести его в 100 раз сегодня. отказ от ответственности: эта ошибка существует и я его видел. Это не pebkac или что-то п ...

Алгоритм нахождения наименьшего количества прямоугольников для покрытия набора прямоугольников без перекрытия

У меня есть набор прямоугольников, и я хотел бы "уменьшить" набор, чтобы у меня было наименьшее количество прямоугольников для описания той же области, что и исходный набор. Если возможно, я хотел бы, чтобы это было быстро, но меня больше беспокоит п ...

Код Гольф: Новогодний фейерверк [закрыто]

2009 год подходит к концу, и с экономикой и всем, мы сэкономим наши деньги и вместо того, чтобы покупать дорогие фейерверки, мы будем праздновать в ASCII art в этом году. вызов учитывая набор фейерверков и время, сфотографируйте фейерверк в это сам ...