29
ответов
Интерфейс против Базового класса
Когда я должен использовать интерфейс и когда я должен использовать базовый класс? Должен ли он всегда быть интерфейсом, если я не хочу определять базовую реализацию методов? Если у меня есть собака и кошка ...
вопрос задан: 6 March 2016 21:25
15
ответов
Почему C# со статическим контролем типов?
Я - веб-программист PHP, который пытается изучить C#. Я хотел бы знать, почему C# требует, чтобы я указал тип данных при создании переменной. Класс classInstance = новый Класс (); Почему мы должны...
вопрос задан: 8 July 2011 07:16
11
ответов
Есть ли какие-либо статические утиные типизированные языки?
Я могу указать интерфейсы, когда я объявляю участника? После размышления об этом вопросе некоторое время, мне пришло в голову, что статический утиный типизированный язык мог бы на самом деле работать. Почему не может предопределенные классы...
вопрос задан: 23 May 2017 11:47
7
ответов
В чем разница между языком со строгой типизацией и языком со статической типизацией?
Кроме того, одно подразумевает другое?
вопрос задан: 11 September 2016 19:33
7
ответов
Существует ли скомпилированный* язык программирования с динамическим, возможно, даже слабый контроль типов?
Я задался вопросом, существует ли язык программирования, который компилирует в машинный код / двоичный файл (не байт-код, затем выполняемый VM, это - что-то совершенно другое при рассмотрении вводящий), это показывает...
вопрос задан: 31 October 2013 04:41
6
ответов
Почему динамический контроль типов так часто связывается с интерпретируемыми языками?
Простые люди вопроса: Я делаю большое программирование (профессионально и лично) на скомпилированных языках как C++ / Java и на интерпретируемых языках как Python/Javascript. Я лично нахожу что мой код...
вопрос задан: 12 January 2017 11:24
6
ответов
Вы знаете о языке со Статическим Типом, проверяющим, где Кодом являются Данные? [закрытый]
Можно ли назвать языки со статической проверкой типа (как Java) и где код является данными (как в LISP)? Я имею в виду обе вещи на одном языке.
вопрос задан: 31 May 2014 15:35
5
ответов
Какие языки с динамическим контролем типов и скомпилированы (и которые со статическим контролем типов и интерпретируются)?
В моем чтении на динамическом контроле типов и статическом контроле типов, я продолжаю наталкиваться на предположение, что статически типизированные языки компилируются, в то время как динамически типизированные языки интерпретируются. Я знаю это в...
вопрос задан: 12 January 2017 16:59
5
ответов
Статический / строгий контроль типов и рефакторинг
Мне кажется, что самая неоценимая вещь о статическом/со строгим контролем типов языке программирования состоит в том, что это помогает рефакторингу: если/когда Вы измените какой-либо API, то компилятор скажет Вам что это...
вопрос задан: 19 May 2009 00:17
4
ответа
В чем разница между статически типизированными и динамически типизированными языками?
Я часто слышу, что новые языки программирования динамически типизированы, но что это на самом деле означает, когда мы говорим, что язык динамически типизирован или статически типизирован?
вопрос задан: 15 July 2019 09:20
4
ответа
Должен Язык который Монады Реализаций быть Со статическим контролем типов?
Я изучаю стиль функционального программирования. В не Боятся Монад, Brian Beckman дал блестящее введение о Монаде. Он упомянул, что Монада о составе функций чтобы к...
вопрос задан: 27 July 2015 13:45
4
ответа
Действительно ли полный Lisp со статическим контролем типов различен возможный?
Действительно ли полный Lisp со статическим контролем типов различен возможный? Даже имеет смысл для чего-то вроде этого существовать? Я верю одному из Lisp, достоинства языка являются простотой его определения. Был бы статичный...
вопрос задан: 24 July 2010 02:17
4
ответа
Кастинг Java представляет наверху? Почему?
Есть ли какие-либо издержки, когда мы бросаем объекты одного типа другому? Или компилятор просто разрешает все и нет никакой стоимости во время выполнения? Действительно ли это - генерал вещи, или существуют различные случаи?...
вопрос задан: 31 January 2010 07:10
4
ответа
Кто-то может сказать мне, какой Строгий контроль типов и средства слабого контроля типов и какой лучше?
Кто-то может сказать мне, какой Строгий контроль типов и средства слабого контроля типов и какой лучше?
вопрос задан: 27 November 2008 21:09
3
ответа
Python 3 и статический контроль типов
Я действительно не обращал столько же внимания к разработке Python 3, сколько я буду любить и только что заметил некоторые интересные новые изменения синтаксиса. Конкретно от этого ТАК отвечают на параметр функции...
вопрос задан: 23 May 2017 12:10
3
ответа
Статический/Динамичный по сравнению с Сильным/слабым
Я вижу эти условия, распространенные повсеместно в программировании, и у меня есть неопределенное понятие того, что они имеют в виду. Поиск показывает мне, что такие вещи спросили на всем протяжении переполнения стека на самом деле. Как...
вопрос задан: 28 November 2016 03:45
3
ответа
Какова цель приписываний типа в Scala?
Нет большого количества информации в спецификации на том, что приписывание типа, и конечно, нет ничего там о цели для него. Кроме "создания передачи varargs работают", что я использовал бы тип...
вопрос задан: 13 October 2014 13:49
3
ответа
Lua со статическим контролем типов
Я ищу компилятор фронтенда Lua, который проверяется в типе во время компиляции, но выходной байт-код Lua 5.1 стандарта (который имеет только типы выполнения). То, что я хочу, является достойной суммой помех...
вопрос задан: 7 August 2012 16:03
3
ответа
[Закрываются] введенные языки метапрограммирования
Я хочу сделать некоторое метапрограммирование на статически типизированном языке, где и мои программы и мои метапрограммы будут введены. Я имею в виду это в строгом смысле: если мой генератор программы компилирует, я хочу...
вопрос задан: 12 November 2011 19:23
3
ответа
Моделирование аспектов статического контроля типов на утином типизированном языке
В моем текущем задании я создаю комплект сценариев Perl, которые зависят в большой степени от объектов. (использование Perl благословляет () на Хеше для получения максимально близко к OO), Теперь, из-за отсутствия лучшего способа поместить...
вопрос задан: 29 May 2010 02:41
3
ответа
Есть ли какие-либо встраиваемые языки сценариев со статическим контролем типов? [закрытый]
Я задаюсь вопросом, существуют ли какие-либо встраиваемые языки сценариев со статическим контролем типов. Python, JavaScript, и т.д. является большими языками, но они с динамическим контролем типов (то есть, типы проверяются во время выполнения)...
вопрос задан: 5 April 2010 04:00
3
ответа
Действительно ли возможно определить тип возврата анонимной функции в Scala?
Я знаю, что можно создать анонимную функцию и иметь компилятор, выводят его тип возврата: val x = () => {System.currentTimeMillis} Только для пользы статического контроля типов, это возможный определить...
вопрос задан: 19 January 2010 01:20
3
ответа
ООП и динамический контроль типов (не статичный по сравнению с динамическим)
Что принципы ООП, если таковые имеются, не применяют или применяют по-другому в среде с динамическим контролем типов в противоположность среде со статическим контролем типов (например, Ruby по сравнению с C#)? Это не призыв к Помехам...
вопрос задан: 17 December 2009 15:28
3
ответа
Как статический контроль типов ограничивает макросы?
Я читал статью "The Hundred Year Language" Paul Graham. http://www.paulgraham.com/hundred.html Там, он предъявляет претензию, что статический контроль типов "устраняет [s] истинные макросы". Например, типы...
вопрос задан: 1 December 2009 23:41
2
ответа
How to deal with Python ~ static typing? [closed]
I am from Java world and I wonder what is so great about dynamic typing in Python besides missing errors while compiling the code? Do you like Python's typing? Do you have an example where it helped ...
вопрос задан: 20 October 2010 09:28
2
ответа
Существует ли цитата, доступная для 'растущего восстания' против строгих систем типов? [закрытый]
FAQ для нового языка Движения явно предъявляет эту претензию: существует растущее восстание против громоздких систем типов как те из Java и C++, продвигая людей к с динамическим контролем типов...
вопрос задан: 11 November 2009 18:10
2
ответа
Когда декларация sqlite вводит полезный?
sqlite использует что-то, что авторы называют "Ввод Декларации", который в основном означает, что sqlite с динамическим контролем типов: можно сохранить значение varchar в "международном" столбце, если Вы хотите. Это...
вопрос задан: 20 May 2009 22:00
1
ответ
Как набрать пересечение двух параметров для назначения третьему
Я пытаюсь выразить существующий API в TypeScript, и у него есть функция, которая объединяет два параметра в одну форму в качестве третьего параметра. Моя попытка напечатать это до сих пор выглядит так (...
вопрос задан: 7 March 2019 17:25
1
ответ
Статическая типизация Clojure
Я знаю, что это может звучать как богохульство для поклонников Lisp (и других любителей) динамических языков), но насколько сложно было бы улучшить компилятор Clojure для поддержки статических (время компиляции) ...
вопрос задан: 18 October 2013 09:13
1
ответ
Применение Дополнительного метода к универсальному классу с универсальным типом
Я работал с универсальным классом в vb.net. И кажется, что дополнительный метод не может быть применен к универсальному классу, не определяя тип. У меня есть этот универсальный Класс Общественности класса MyGeneric (T)...
вопрос задан: 8 December 2008 10:18