Preguntas con respuestas sobre "subtype"

36 preguntas, página #1

1

votos

1

respuestas

vistas 628

variantes, polimorfismo existencial en c ++

Estoy realizando una investigación sobre sistemas de tipos. Para este trabajo estoy investigando los usos de variantes, subtipificación estructural, polimorfismo universal y polimorfismo existencial en lenguajes populares. Lenguajes funcionales como heskell, ocaml proporcionan dichos funcionarios. Pero quiero saber si un popular...

preguntado 10 años, 6 meses

59

votos

2

respuestas

vistas 2,122

Tipos impredicativos frente a subtipos antiguos simples

Un amigo mío planteó una pregunta aparentemente inocua sobre el lenguaje Scala la semana pasada para la que no tenía una buena respuesta: si hay una manera fácil de declarar una colección de cosas que pertenecen a una clase de tipo común. Por supuesto, no existe una noción de primera clase de "clase de tipos" en Scala, así que tenemos que pensar...

preguntado 10 años, 6 meses

2

votos

2

respuestas

vistas 844

Diseño SQL, tipos y subtipos de unión

Estoy creando una interfaz de registro de tráfico que permite mostrar información sobre un vehículo específico en la propiedad, así como buscar un vehículo específico, pero no estoy seguro de la mejor manera de proceder con el diseño de mi base de datos. Lo que quiero hacer es poder obtener rápidamente todos los registros de vehículos basados ​​en ...

preguntado 10 años, 7 meses

0

votos

4

respuestas

vistas 1,018

Despacho dinámico en Java

Supongamos que tengo una clase A que define un método bar (). El método bar () llama a otro método foo (). Luego extiendo A en B y anulo foo () y no anulo bar () (por lo que se hereda). ¿Qué foo () se llama en estos dos casos? ...

preguntado 10 años, 9 meses

1

votos

1

respuestas

vistas 309

¿Cómo configuro relaciones de tipo super y subtipo en DataMapper ORM de CodeIgnitor?

Estoy ejecutando un diario de alimentos en línea donde los usuarios pueden registrar las entradas del diario. Hay cuatro tipos de entradas: entradas de alimentos, entradas de ejercicio, medidas y tareas completadas. Las entradas tienen varios atributos en común (por ejemplo, id, cantidad, unit_id, etc.), pero también tienen atributos específicos de tipo ...

preguntado 10 años, 10 meses

3

votos

1

respuestas

vistas 1,020

Diferencia entre isSubtype e isAssignable para TypeMirror

En la documentación de los tipos de interfaz de utilidad, de los cuales el compilador debe poner una instancia a disposición de un procesador de anotaciones para Java SE 6 o 7, hay dos métodos que me interesan para un fragmento de código en el que estoy trabajando. Necesito verificar si el tipo de un campo es un tipo que hereda de un ...

preguntado 10 años, 11 meses

2

votos

2

respuestas

vistas 424

Rasgo relacionado con Scala, tipos abstractos

Tengo 2 rasgos relacionados. Dao se usará como clase y DaoHelper será usado por el objeto compañero de Dao. Me gustaría que el rasgo Dao pudiera usar funciones definidas en DaoHelper, la única forma en que podría averiguar cómo hacer esto es definir el rasgo acompañante como un val. Sin embargo de alguna manera compañero ...

preguntado 11 años, 0 meses