12
ответов
Что пределы типа проверяют и системы типов?
Системы типов часто критикуются, для того, чтобы быть к строгому, который ограничивает языки программирования и запрещает, что программисты пишут интересные программы. Chris Smith требует: Мы добираемся...
вопрос задан: 13 April 2013 21:03
8
ответов
Динамические языки типа по сравнению со статическими языками типа
Каковы преимущества и ограничения динамических языков типа по сравнению со статическими языками типа?См. также: что с любовью к динамическим языкам (намного более спорный поток...)
вопрос задан: 23 May 2017 02:18
8
ответов
Мое понимание систем типов корректно?
Следующие утверждения представляют мое понимание систем типов (который страдает от слишком небольшого практического опыта вне мира Java); исправьте любые ошибки. Статическое/динамичное...
вопрос задан: 25 January 2010 19:47
7
ответов
От статического контроля типов до динамического контроля типов
Я всегда работал над статически типизированными языками (C/C++, Java). Я играл с Clojure, и мне действительно нравится он. Одна вещь, по поводу которой я волнуюсь: скажите, что у меня есть окна, который берет 3...
вопрос задан: 12 August 2015 20:29
7
ответов
Почему алгебраические типы данных Haskell “закрываются”?
Исправьте меня, если бы я неправ, но кажется, что алгебраические типы данных в Haskell полезны во многих случаях, где Вы использовали бы классы и наследование на языках OO. Но существует большая разница:...
вопрос задан: 16 April 2011 19:42
7
ответов
Каковы дефициты системы типов Java/C#?
Часто слышат, что у Haskell (который я не знаю) есть очень интересная система типов.. Я очень знаком с Java и немного с C#, и иногда это происходит, что я борюсь с системой типов так...
вопрос задан: 12 December 2010 03:08
6
ответов
Почему динамический контроль типов так часто связывается с интерпретируемыми языками?
Простые люди вопроса: Я делаю большое программирование (профессионально и лично) на скомпилированных языках как C++ / Java и на интерпретируемых языках как Python/Javascript. Я лично нахожу что мой код...
вопрос задан: 12 January 2017 11:24
6
ответов
Что означает сказать тип “упаковывается”?
Я услышал о типах, упоминающихся, как "упаковано" на некоторых языках. В Java я услышал об "автоупаковке".Что это такое? Это имеет классы обертки для типа? Как мой код изменился бы, если я...
вопрос задан: 13 December 2014 20:26
6
ответов
Утиный ввод, это должно быть динамично?
Википедия раньше говорила* о вводе утки: В программировании с языками объектно-ориентированного программирования утиный ввод является стилем динамического контроля типов в который текущий набор объекта...
вопрос задан: 14 March 2014 21:42
5
ответов
Какие языки с динамическим контролем типов и скомпилированы (и которые со статическим контролем типов и интерпретируются)?
В моем чтении на динамическом контроле типов и статическом контроле типов, я продолжаю наталкиваться на предположение, что статически типизированные языки компилируются, в то время как динамически типизированные языки интерпретируются. Я знаю это в...
вопрос задан: 12 January 2017 16:59
5
ответов
Почему определение функций для всех типов одновременно не разрешено в Haskell?
Это, вероятно, очень простой вопрос, но ... Функция, которая определяется как, скажем, foo :: a - > Целое число обозначает функцию от любого типа до целого числа. Если это так, то теоретически нужно уметь ...
вопрос задан: 30 May 2012 10:35
5
ответов
Haskell является действительно чисто функциональным языком, рассматривая unsafePerformIO?
На Haskell обычно ссылаются как пример чисто функционального языка. Как это может быть выровнено по ширине, учитывая существование Системы. IO.Unsafe.unsafePerformIO?Править: Я думал с "просто...
вопрос задан: 25 May 2011 16:36
5
ответов
Функции языка для реализации алгебры отношений
Я пытался закодировать алгебру отношений в Scala (чтобы к моему knowlege имеет одну из самых усовершенствованных систем типов), и просто, кажется, не находят способ добраться, где я хочу. Поскольку я не это...
вопрос задан: 27 February 2009 22:27
5
ответов
Введенный FP: аргументы кортежа и аргументы Curriable
На языках функционального программирования со статическим контролем типов, как Стандарт ML, F#, OCaml и Haskell, функция будет обычно писаться с параметрами, разделенными друг от друга и от функции...
вопрос задан: 2 January 2009 00:47
4
ответа
Функциональное программирование и системы типов
Я узнавал о различных функциональных языках в течение некоторого времени теперь включая Haskell, Scala и Clojure. У Haskell есть очень строгая и четко определенная статическая система типов. Scala также статически...
вопрос задан: 22 July 2016 21:56
4
ответа
Контрастирование дженериков C# с Haskell параметризовало типы
На основе некоторого совета я нашел на StackOverflow, я рою в Haskell. Я был рад видеть, что параметризованные типы Haskell ведут себя очень как дженерики C#. Оба языка советуют синглу...
вопрос задан: 20 April 2011 04:53
4
ответа
Лучший способ проверить, если Система. Тип является потомком данного класса
Рассмотрите следующий код: общедоступный класс A {} общедоступный класс B: {} общедоступный класс C: B {} класс D {общедоступный статический bool IsDescendantOf (эта Система. Введите thisType, Систему. Ввести...
вопрос задан: 23 October 2009 16:05
3
ответа
Возвратите определенный тип в Haskell
У меня есть довольно общий вопрос о системе типов Haskell. Я пытаюсь познакомиться с ним, и у меня есть следующая функция: getN:: Цифра => getN = 5.0:: Дважды, Когда я пытаюсь...
вопрос задан: 16 September 2017 17:24
3
ответа
Что такое экзистенциальный тип?
Я прочитал статью Wikipedia Экзистенциальные типы. Я заключил, что их называют экзистенциальными типами из-за экзистенциального оператора (∃). Я не уверен, какова точка его, все же. Что...
вопрос задан: 25 January 2015 13:18
3
ответа
Что такое система эффекта и тип?
Статья Wikipedia о системе Эффекта является в настоящее время просто коротким тупиком, и я задавался вопросом некоторое время относительно того, что является системой эффекта. Есть ли любые языки, которые имеют систему эффекта в...
вопрос задан: 7 April 2013 08:53
3
ответа
Есть ли язык программирования, где типы могут быть параметризованы значениями?
Параметризованные типы, такие как шаблоны C ++, - это хорошо, но в большинстве случаев они могут параметризоваться только другими типами. Однако в C ++ есть особый случай, когда возможно ...
вопрос задан: 28 May 2012 16:51
3
ответа
Используя типы Haskell для замены операторов контроля или если регистрации других языков
Извините, если вопрос очень элементарен, я все еще очень плохо знаком с Haskell. Позволяет говорят, что у меня есть функция, которая может только работать с двумя числами, которые находятся в золотой порции (1.618), как я определяю...
вопрос задан: 20 April 2011 04:31
3
ответа
Действительно ли Rank2Types/RankNTypes практичны без переменных политипа?
Так как переменные типа не могут содержать политипы, кажется, что с Rank*Types мы не можем снова использовать существующие функции из-за их ограничения монотипа. Например, мы не можем использовать функцию (.) когда...
вопрос задан: 19 April 2011 03:13
3
ответа
Расширение существующего типа в OCaml
Я делал некоторый OCaml, программирующий в последнее время, чтобы выучить язык и стать более знакомым с функциональным программированием. Недавно, я начал думать, что я хотел бы смочь расшириться...
вопрос задан: 18 April 2011 18:04
3
ответа
Какое использование Вы нашли для типов более высокого разряда в Haskell?
Более высокие типы разряда похожи на отличное развлечение. От Haskell wikibook прибывает этот пример: нечто:: (forall a.-> a)-> (Символ, Bool) нечто f = (f 'c', f Верный) Теперь мы можем оценить идентификатор нечто без компилятора...
вопрос задан: 18 April 2011 00:49
3
ответа
Тип Haskell по сравнению с newtype относительно [закрытой] безопасности типов
Я знаю, что newtype чаще по сравнению с данными в Haskell, но я излагаю это сравнение с большего количества точки зрения дизайна, чем как техническая проблема. На imperitive/OO языках, существует анти-...
вопрос задан: 17 April 2011 21:11
3
ответа
Подъем экземпляра класса в Haskell
Существует ли способ "снять" экземпляр класса в Haskell легко? Я должен был часто создавать, например, Цифровые экземпляры для некоторых классов, которые просто "снимают" Цифровую структуру через тип...
вопрос задан: 16 April 2011 20:06
3
ответа
При расширении системы типов.NET, таким образом, компилятор осуществляет семантическое значение примитивных значений в определенных случаях
Я работаю, разрабатывая систему прямо сейчас, которая имеет дело с большим количеством преобразований между семантически различными значениями, которые имеют тот же примитивный тип.NET (удваивать/представлять в виде строки/интервал). Это означает, что это
вопрос задан: 5 June 2010 02:13
3
ответа
C# имеет эквивалент структурному вводу Scala?
В Scala я могу определить структурные типы следующим образом: введите Pressable = {нажатие определения (): Единица} Это означает, что я могу определить функцию или метод, который берет в качестве аргумента что-то, что является Pressable...
вопрос задан: 14 May 2010 01:12
2
ответа
Разница между экзистенциальными типами Scala и подстановочным символом Java на примере?
Немного более конкретный вопрос, чем вопрос переполнения стека Что такое экзистенциальный тип? В чем разница между экзистенциальными типами Scala и подстановочным символом Java, желательно с каким-то наглядным примером? ...
вопрос задан: 23 May 2017 10:29