0
ответов
Python төрлийг шалгах [хуулбарлах]
Боломжит хуулбар: Python дээр статик төрлийг шалгах хэрэгслүүд Ихэнх тохиолдолд та ямар ч төрлийг авч унах боломжтой байдаг. Python дээр дуртай газраа оруулаад нугас шивэхэд л хангалттай ...
вопрос задан: 23 May 2017 11:46
0
ответов
Как Python ' s отсутствие статической типизации влияет на ремонтопригодность и расширяемость в более крупных проектах? [closed]
Прочитав этот очень информативный (хотя и несколько аргументированный) вопрос, я хотел бы узнать ваш опыт программирования больших проектов с помощью Python. Что-то становится неуправляемым по мере того, как ...
вопрос задан: 23 May 2017 11:44
0
ответов
Подпись типа Haskell с несколькими ограничениями класса
Как я могу иметь несколько ограничений класса, поэтому, если A является Eq, а B является Num, я мог бы сказать либо f :: Eq a => a -> b` или f :: Num b => a -> b Итак, как я могу иметь Eq a => и Num b =&...
вопрос задан: 21 March 2017 16:18
0
ответов
Инструменты для проверки статического типа в Python
Я работаю с большой существующей кодовой базой Python и хотел бы начать добавлять аннотации типов, чтобы получить некоторый уровень статической проверки. Я представляю себе что-то вроде Erlang, Strongtalk или ...
вопрос задан: 29 October 2015 21:33
0
ответов
Что означает «отсутствие глобального вывода типа» в отношении Scala?
Я читал, что вывод типов в Scala не является глобальным, поэтому люди должны размещать аннотации типов в методах. (Будет ли это вывод "локального" типа?) Я только немного понимаю, что ...
вопрос задан: 10 September 2015 00:31
0
ответов
Замыкание с типизированными аргументами в Groovy
Я хотел бы более подробно рассказать о моих замыканиях относительно их типов аргументов. Так что я бы написал что-то вроде List myCollect (List list, Closure clos) {...} Я знаю ...
вопрос задан: 26 July 2013 08:58
0
ответов
Почему интерфейсы должны быть объявлены в Java?
Иногда у нас есть несколько классов, которые имеют некоторые методы с одинаковой сигнатурой, но не соответствуют объявленному интерфейсу Java . Например, как JTextField, так и JButton (среди нескольких других ...
вопрос задан: 13 September 2012 18:07
0
ответов
Сравнение Scala (последней версии 2.10 )с Groovy++ (последней версии 0.9.1? )[закрыто]
Я только что посмотрел видео изобретателя Groovy Джеймса Страчана, в котором он страстно рассказывает о любви к Scala. Это заставило меня захотеть узнать больше о Groovy, что привело меня к...
вопрос задан: 4 July 2012 18:04
0
ответов
Поплавок медленнее, чем двойной? 64-битная программа работает быстрее, чем 32-битная?
Используется ли тип с плавающей запятой медленнее, чем с использованием типа двойной? Я слышал, что современные процессоры Intel и AMD могут выполнять вычисления с удвоением быстрее, чем с числами с плавающей запятой. А как насчет стандартных математичес
вопрос задан: 14 May 2012 15:05
0
ответов
Объявления типов Common Lisp работают не так, как ожидалось
Когда я определяю функцию в Common Lisp следующим образом: (defun foo (n) (declare (type fixnum n)) (+ n 42)), я ожидал вызова типа (foo "a"), чтобы выйти из строя сразу, но вместо этого он завершится ошибкой при вызове +. ...
вопрос задан: 1 March 2012 18:44
0
ответов
Есть ли Haskell Idiom для обновления вложенной структуры данных?
Допустим, у меня есть следующие модели данных, для отслеживания статистики бейсболистов, команд и тренеров: Data Bbteam = BBTEAM {TeamName :: Строка, менеджер :: Тренер,
...
вопрос задан: 24 December 2011 07:47
0
ответов
существуют ли статически типизированные функциональные языки?
это трудно для Google, может быть, так есть лучшие ответы? Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. ...
вопрос задан: 16 November 2011 05:53
0
ответов
Является ли Groovy стиль Java так быстро, как Java?
Если я понимаю правильно, Groovy динамически набирает, но поскольку это почти суперсета Java, информация о статическом типе может быть дополнительно предоставляется. Это может быть полезно, если написать что-то, где ...
вопрос задан: 6 September 2011 13:04
0
ответов
Как добавить сексуальные ползунки вкл / выкл?
Я хотел бы добавить включение / выключение, как Toggle Switch в приложении Java. Нужно ли построить их от качающихся слайдеров или есть что-то ближенее уже? http: //www.premiUmbixixes.com/freebies/onoff-switchs -...
вопрос задан: 5 September 2011 05:03
0
ответов
что статически типизируется в RPython?
Часто утверждается, что RPython (подмножество Python) имеет статическую типизацию. (Например, в Википедии.) Сначала я задавался вопросом, как они добавят это в Python, и подумал, что они могли бы добавить ...
вопрос задан: 23 August 2011 13:36
0
ответов
тип последовательности закрытия
Какой правильный тип последовательности? У меня есть этот код: (defrecord MethodInfo [^ clojure.lang.ISeq preconds ^ clojure.lang.ISeq postconds]) Но, похоже, он неправильно применяет тип ...
вопрос задан: 18 July 2011 02:07
0
ответов
Что мы можем сделать с дженериками в Java, чтобы сделать они выглядят лучше:
У меня есть этот метод преобразования списка в карту с использованием одного из свойств элементов списка: Для краткости это выглядит так: private Map
вопрос задан: 7 July 2011 14:49
0
ответов
Что мешает статически типизированному языку иметь что-то вроде метода method_missing в Ruby?
Я не знаю ' У меня большой опыт работы со статически типизированными языками (в настоящее время изучаю Scala и люблю его!), но я заметил одну вещь: у них никогда не было ничего похожего на Ruby ...
вопрос задан: 25 June 2011 20:18
0
ответов
Недостатки системы типов Scala по сравнению с Haskell?
Я читал, что система типов Scala ослаблена совместимостью Java и поэтому не может выполнять некоторые из тех же функций, что и система типов Haskell. Это правда? Слабость из-за типа ...
вопрос задан: 22 April 2011 11:13
0
ответов
Статически типизированный кроссплатформенный современный язык программирования с открытым исходным кодом [закрыто]
Может быть, это глупый вопрос. Есть ли альтернатива платформе Java и .NET? Что: это сам язык программирования. Языковые порты, если они не станут доминирующими, на самом деле не успешны, ИМО.
...
вопрос задан: 4 April 2011 12:50
0
ответов
Устали от несемантического тестирования, чтобы компенсировать динамическую типизацию - предложения?
Раньше я много занимался веб-программированием на Rails (до этого - PHP), прежде чем начал изучать компьютерную инженерию. С тех пор я много учился в школе на C, а некоторые личные вещи - на Objective -...
вопрос задан: 8 December 2010 12:07
0
ответов
Невозможно создать функцию применения со статическим языком?
Я читал, что со статически типизированным языком, таким как Scala или Haskell, невозможно создать или предоставить функцию применения Лиспа: (apply # '+ (list 1 2 3)) => 6 или может быть (apply #' list '(list: ...
вопрос задан: 12 September 2010 04:05
0
ответов
Почему foreach пропускает тип времени компиляции начинающие работу интерфейсные типы?
Когда я использую цикл foreach в C#, кажется, что никакая проверка типа времени компиляции не выполняется, если тип изделия является интерфейсным типом. Например, класс интерфейс SomeClass {} SomeInterface {} IEnumerable <...
вопрос задан: 2 August 2010 15:44
0
ответов
Вы знаете о каких-либо примерах изящных решений на динамически типизированных языках?
Вообразите два языка, которые (кроме информации о типе) действительно имеют точно тот же синтаксис, но каждый со статическим контролем типов, в то время как другой использует динамический контроль типов. Затем для каждой программы, записанной в...
вопрос задан: 23 July 2010 11:41