Preguntas con respuestas sobre "types"

Realmente nunca he programado con un lenguaje de diseño por contrato y ciertamente no quiero que esta publicación se convierta en una guerra entre los sistemas de tipo dinámico y estático. ...

Intenté implementar una implementación de Quartz.net muy simple usando este tutorial...

En JPA existe una consulta escrita: ...

Después de leer esto, he estado tratando de implementar un tipo de datos personalizado para ser utilizado por un validador XML RelaxNG (Jing). Ejecuté con éxito la implementación de ejemplo proporcionada por Jing (lo llaman muestra de tipo de datos) a través de la línea de comando, pero sigo sin poder hacerlo desde el código Java. ...

Soy bastante nuevo en el desarrollo de Linux y tengo problemas para usar una clase de un archivo separado en mi main. El error que me sale al hacer (después de haber creado makefile con cmake) es que system no nombra un tipo, creo que el código en system class es correcto como si compilara sin intentar...

Yo uso typemock para la prueba unitaria. cómo comenzar a construir use typemock. ...

Al leer esto, aprendí que era posible permitir que un método aceptara parámetros de múltiples tipos convirtiéndolo en un método genérico. En el ejemplo, el siguiente código se usa con una restricción de tipo para garantizar que "U" sea un IEnumerable . ...

Solo estoy tratando de realizar una unión tan simple en 2 consultas linq como se muestra a continuación: ...

¿Cómo puede def someA (en el rasgo B) usar el rasgo A con el mismo C#MyType que en B? (Entonces A#MiTipo =:= B#MiTipo) ...

Por ejemplo, en Javascript [1,2,3] === [1,2,3] y [1,2,3] == [1,2,3] son ​​falsos. Incluso el caso más simple de la matriz vacía también es falso. La razón es que las matrices son tipos de referencia y [1,2,3] y [1,2,3] son ​​diferentes como referencias. Javascript no es único en este sentido y más o menos...

Escribo una biblioteca que usa el sistema de tipo meta de Qt. El usuario de mi biblioteca puede proporcionar valores de tipos personalizados que se incluyen en una QVariant. Más tarde, en algún código interno de la biblioteca, necesito serializar este QVariant. Implementé serializadores para un par de tipos y realmente no necesito...

En Python 3.2, puedo cambiar el tipo de un objeto fácilmente. Por ejemplo : ...

Estoy revisando apuntes para un curso de compiladores y una de las diapositivas dice: ...

He declarado una variable al: 'una lista, una función a_to_b: 'a -> 'b y una puntuación de función: 'b -> int. Luego, bl = List.map a_to_b al in ... en el siguiente código define bl: 'b list. ...

Estoy escribiendo un código que intenta recopilar información sobre el rendimiento del proceso del sistema. Tengo algunos contadores como %Cpu, RAM, etc. pero no puedo obtener información sobre los identificadores (como lo hace Process Explorer). ...

Estoy usando el compilador MPLab C18 C y obtengo un error de sintaxis con este código: ...

Esta es una pregunta de tipo sobre Data.Reflection en Haskell. Reflection me permite tomar un Int y convertirlo en un tipo. ...

Parece que no puedo encontrar ninguna explicación de para qué se usan las lentes en ejemplos prácticos. Este breve párrafo de la página de Hackage es lo más cercano que he encontrado: ...

Principalmente soy un desarrollador de C# y le estaba enseñando estructuras de datos a un amigo y ellos usan Java en su universidad y vi una expresión así en Java: ...

¿Hay alguna forma segura de escribir una función...

...

Así que me piden encontrar una expresión para el siguiente tipo: ...

Ayer tuvimos una base de datos PostgreSQL actualizada a la versión 9.1.3. Pensamos que lo teníamos todo probado y listo, pero hay una función que nos faltó. Devuelve un tipo de tabla como este: ...

Tengo un pequeño problema para ustedes. ...

El Haskell Wiki hace un buen trabajo al explicar cómo usar los tipos existenciales, pero no entiendo la teoría detrás de ellos. ...

Necesitaba cambiar todas las columnas de las tablas en toda la base de datos del tipo de datos marca de tiempo sin zona horaria a marca de tiempo (0) con zona horaria. ...

¿Es posible deshabilitar o evitar el sistema de tipos en Haskell? Hay situaciones en las que es conveniente tener todo sin tipificar como en Forth y BCPL o monotipado como en Mathematica. Estoy pensando en declarar todo como del mismo tipo o en deshabilitar la verificación de tipos...

Por ejemplo, quiero hacer algo como esto: ...

Estoy creando un sistema de mensajería en el que tanto los usuarios autenticados como los no autenticados deberían poder usarlo. Cada índice del mensaje debe ser único. Estoy pensando en usar bigint pero tiene un límite de aproximadamente 18446744073709551615 (sin firmar) que no sería ideal para mí si quiero llevar un registro...

Estoy tratando de construir un sistema en Rails donde tengo un modelo de Proyecto con una columna de "tipo", y no estoy seguro si debo almacenar explícitamente el tipo como una cadena en la tabla de proyectos, o si debería almacenar un type_id en su lugar. La cosa es que siento que sería una estupidez crear un tipo...