types - список вопросов по программированию types

1

ответ

Почему тип этой функции (a -> a) -> a?

Почему тип этой функции (a -> a) -> a? Прелюдия> пусть y f = f (y f) Прелюдия>: t y y :: (t -> t) -> t Разве это не должен быть бесконечный / рекурсивный тип? Я собирался попытаться поместить в ...

вопрос задан: 18 January 2012 23:20

1

ответ

Какое свойство системы типов Scala делает ее полной по Тьюрингу? [Закрыто]

Scala использует тип -система, основанная на Системе F ω, которую обычно называют строго нормализующей. Сильная нормализация подразумевает нетьюринговую полноту. Тем не менее, система типов Scala - это система типов Тьюринга -...

scala types language-design type-systems turing-complete

вопрос задан: 13 December 2011 23:36

1

ответ

Haskell Странные Виды: Отчасти (->)??->?-> *

Когда я экспериментировал с видами Haskell и пытался добраться отчасти->, и это обнаружилось: $ ghci... Вводная часть>: k (->) (->)::??->?-> * Вводная часть> Вместо...

haskell types type-systems

вопрос задан: 3 December 2011 21:45

1

ответ

Общий ИЛИ вместо AND < T расширяет число | CharSequence >

Можно ли в общем параметризировать метод, принимающий EITHER ClassA OR InterfaceB? Не компилируется из-за | Псевдокод public < T extends Number | CharSequence > void orDoer (T someData) ...

charsequence types generics android java

вопрос задан: 30 November 2011 17:39

1

ответ

Преобразование числа ASCII в символ ASCII в C

В C есть способ преобразовать значение ASCII, набранное как int, в соответствующий символ ASCII как char?

c types ascii

вопрос задан: 12 July 2011 06:08

1

ответ

php: получить подсказку типа переменной с использованием отражения

class Expense {/ ** * @var int * / private $ id; } Я хотел бы получить подсказку типа переменной в моем классе, используя отражение, потому что значение по умолчанию - null.

php class reflection types

вопрос задан: 6 June 2011 09:46

1

ответ

Comparing Class Types in Java

I want to compare the class type in Java. I thought I could do this: class MyObject_1 {} class MyObject_2 extends MyObject_1 {} public boolean function(MyObject_1 obj) { if(obj.getClass() == ...

java types compare

вопрос задан: 27 May 2011 08:39

1

ответ

Тип скомпилированного объекта регулярного выражения в python

Какой тип скомпилированного регулярного выражения в python? В частности, я хочу оценить isinstance (re.compile (''), ???) как истинное для целей самоанализа. Одно из моих решений было:

python regex types

вопрос задан: 23 May 2011 20:50

1

ответ

Что правильный путь состоит в том, чтобы разделить два Международных значения для получения Плавания?

Я хотел бы разделить два Международных значения на Haskell и получить результат как Плавание. Я пытался делать его как это: нечто:: Интервал-> Интервал-> нечто Плавающее b = fromRational $ % b, но GHC (версия 6.12.1)...

haskell types floating-point integer

вопрос задан: 20 April 2011 22:48

1

ответ

Что делает канал в среднем определении класса?

класс (Моноид w, Монада m) => MonadWriter w m | m-> w, где передача:: m (a, w-> w)-> m слушание:: m-> m (a, w) скажите:: w-> m (), Каково значение канала...

functional-dependencies typeclass types syntax haskell

вопрос задан: 17 April 2011 21:05

1

ответ

проверка типа в javascript

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

javascript types

вопрос задан: 22 December 2010 23:18

1

ответ

Haskell - определение вида в объявлении данных

В этих данных объявления Const = Const Integer Haskell выводит, что Const *-> *. Действительно ли возможно заставить Const взять конструктора типа вместо этого, таким образом, это будет (*-> *)-> *? Идеально, это...

haskell functional-programming types higher-kinded-types

вопрос задан: 18 October 2010 13:57

1

ответ

Лучшие практики для работы со значениями валют в PHP?

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

php types decimal

вопрос задан: 29 September 2010 07:18

1

ответ

Приведение типов (из производного класса)

Я хочу сделать вызов цепочки, как jquery-way в c ++. Пример: $ ('# obj'). GetParent (). Remove (); Итак, как я понимаю, каждый метод класса должен возвращать указатель на себя (this). ...

c++ class casting types

вопрос задан: 31 August 2010 19:38

1

ответ

Как фальшивые фреймворки (в .Net) создают фиктивные объекты?

В контексте Microsoft .Net Framework Мне очень интересно, как насмехаются над фреймворками (Rhino Mocks, Moq, NMock, и т. д.) фактически создавать фиктивные объекты из заданного типа. Меня интересует ...

.net mocking types

вопрос задан: 27 August 2010 18:55

1

ответ

Any pitfalls of converting MySQL TEXT field to MEDIUMTEXT?

I understand the size/storage constraints of MySQL TEXT and MEDIUMTEXT fields, but I just wanted to make absolutely sure (before I sign off on a change) that I'm not looking at any adverse effects ...

mysql types field textfield

вопрос задан: 18 August 2010 20:16

1

ответ

Можете ли вы реализовать какую-либо чистую функцию LISP, используя десять примитивов? (т.е. без предикатов типа)

Этот сайт делает следующее утверждение: http://hyperpolyglot.wikidot.com/lisp#ten-primitives Маккарти представил десять примитивов lisp в 1960 году. Все другие функции чистого lisp (т.е. все функции ...

function clojure lisp types predicate

вопрос задан: 12 August 2010 16:55

1

ответ

Использование анонимной функции отображается как неизвестный тип

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

anonymous types function php

вопрос задан: 12 August 2010 14:52

1

ответ

Использование синонимов типа в преобразователях монады

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

haskell types monad-transformers

вопрос задан: 30 July 2010 14:19

1

ответ

Категория хранилища данных по сравнению со Строкой: каково различие?

Рассмотрение Категории, кажется, что это - в основном Строка. Мне не удается видеть любые преимущества использования Категории по Строке. Каково различие, и почему я использовал бы Категорию вместо Строки?

google-app-engine types google-cloud-datastore

вопрос задан: 21 July 2010 21:19

1

ответ

Библиотека типа COM и Интерфейсное воздействие

Когда у Вас есть COM-клиент, который выставляет Интерфейс для из proc COM сервер к доступу, сделайте необходимо зарегистрировать библиотеку типов или .idl файл с системой для сервера, чтобы смочь получить доступ...

com multithreading types libraries

вопрос задан: 7 July 2010 13:48

1

ответ

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

Мне нужна задняя проверка. В статье (http://www.win-vector.com/blog/2010/06/automatic-differentiation-with-scala/) я просто записал, что заявил, что это - моя вера в Scala, что Вы не можете...

function scala types

вопрос задан: 26 June 2010 15:19

1

ответ

Lua использует 64-разрядные целые числа?

Lua использует 64-разрядные целые числа? Как я использую его?

64-bit types lua integer long-integer

вопрос задан: 23 June 2010 19:26

1

ответ

отношения между зависимыми от предшествующего пути развития внутренними типами в Scala

Предупреждение: я осуществляю кросспостинг от #scala, книжное Программирование в Scala указывает, что зависимые от предшествующего пути развития типы отличаются в зависимости от точного экземпляра рассматриваемого пути. Если так, я не понимаю...

scala types path-dependent-type

вопрос задан: 22 June 2010 11:29

1

ответ

Что произошло с типом MEF, “AttributedAssemblyPartCatalog”?

Много простых примеров MEF (упомянули ниже), использует AttributedAssemblyPartCatalog. Хостинг MEF в приложении на странице CodePlex MEF Простое Введение в Расширяемые Приложения с Управляемым...

mef types .net

вопрос задан: 14 June 2010 14:10

1

ответ

Используя тип данных Времени в MySQL без секунд

Я пытаюсь сохранить 12/24hr (т.е.; 0:00), показывают время в базе данных MySQL. В данный момент я использую тип данных времени. Это работает хорошо, но это настаивает на том, чтобы добавлять секунды к столбцу. Таким образом, Вы вводите 09:...

mysql time types

вопрос задан: 12 June 2010 02:05

1

ответ

Почему не может GHCi решать отчасти [[]]?

Почему Haskell не может решить отчасти [[]] (Список списков)? Почему это не просто *-> *, поскольку я могу дать ему тип как Интервал и добраться [[Интервал]], который является видом *.

haskell types polymorphism ghc

вопрос задан: 8 June 2010 04:45

1

ответ

Введите “время” в SQL Server и C#

Есть ли какой-либо способ, которым я могу создать время типа в C#, чтобы быть совместимым со временем типа SQL-сервера?

c# sql sql-server types

вопрос задан: 2 June 2010 13:09

1

ответ

Вызов C++ / Метод CLI с Системой:: параметр DateTime требует 'ValueType' в качестве параметра?

Я пытаюсь назвать метод записанным в C++ / CLI от C#. C++ / код CLI используется для обновления столбца TIMESTAMP в базе данных Oracle, учитывая рекордный идентификатор и Систему:: объект DateTime, который является....

c# datetime c++-cli types

вопрос задан: 31 May 2010 06:39

1

ответ

Почему перечисления считают составными типами?

Массивы, функции, указатели, ссылки, классы, объединения, перечисления и указатели на участников являются составными типами. Мое понимание составного типа, это основано на другом типе (типах). Например...

c++ enums types

вопрос задан: 26 May 2010 22:55