typechecking

14El calor

2Respuesta

Escriba error al atribuir un tipo de campo válido a una variable de límite

¿Esto es un error en el comprobador de tipos? Prelude> let (x :: forall a. a -> a) = id in x 3 <interactive>:0:31: Couldn't match expected type `forall a. a -> a' with actual type `a0 -

haskell types typechecking 2011-11-18

---

15El calor

3Respuesta

Uso de protocolos de Objective C

Tengo una pregunta de tarea que me confundió, realmente mal. A continuación hay una breve explicación de una pregunta. Imagine que está desarrollando una aplicación que almacena información de contact

objective-c ios protocols typechecking 2011-10-01

---

8El calor

2Respuesta

¿Por qué usar toString() para tipear argumentos que puede verificar con typeof?

Entiendo por qué necesita utilizar Object.prototype.toString() o String() para comprobar el tipo de matrices, pero no es typeof suficiente para funciones de verificación de tipo y cadenas? Por ejemplo

javascript types typechecking 2012-03-01

---

17El calor

2Respuesta

¿Hay algún tipo de firma que Haskell no pueda verificar?

This paper establece que la inferencia de tipo (llamada "capacidad de tipado" en el documento) en el Sistema F es indecidible. Lo que nunca he escuchado mencionar en otra parte es el segundo resultado

haskell typechecking type-theory 2011-10-04

---

7El calor

1Respuesta

Escriba errores con tipos existenciales en Haskell

Estoy luchando con tipos existenciales en mi programa. Creo que estoy tratando de hacer algo muy razonable, sin embargo yo no puedo pasar de la typechecker :( tengo un tipo de datos de este tipo imita

haskell typeerror typechecking existential-type zipper 2011-11-25

---

6El calor

1Respuesta

Haskell: ¿Por qué este tipo de verificación?

Este es un ejemplo mínimo tomado de Reflection-0.5. {-# LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} {-# OPTIONS_GHC -fno-cse -fno-full-laziness -fno-floa

reflection haskell typechecking 2012-01-23

---

8El calor

3Respuesta

Herencia: ¿por qué es esto ilegal?

Estoy pasando por una prueba de C++. Y encontré el siguiente código: es ilegal, pero no puedo entender por qué. ¿Puede alguien explicar por qué esta línea: Box* b1 = s1->duplicate(); genera el error

c++ inheritance types typechecking 2012-08-15

---

6El calor

4Respuesta

Comprobación de tipos estáticos en erlang

Me estoy enamorando lentamente de Erlang, y solo tengo un gran problema, GRANDE. Soy un gran admirador de idiomas como Standart ML y ocaml con su fuerte comprobación estática de tipos. hay una forma a

programming-languages erlang typechecking 2011-12-14

---

5El calor

2Respuesta

prueba si la variable Haskell coincide con la opción de tipo de datos definido por el usuario

Así que tener un tipo de datos algo así como: data Token = NUM Int | ID String | EOF y tengo una función algo así como: doStuff list = let (token, rest) = getToken list in .... As

haskell types typechecking 2011-10-26

---

7El calor

1Respuesta

cómo manejar "pánico: sucedió lo imposible" y continúan en Haskell

tengo el siguiente código que utiliza la API GHC para cargar los módulos y obtener el tipo de una expresión: typeObjects :: [String] -> [String] -> IO [Type] typeObjects modules objects = do def

haskell dynamic-loading typechecking ghc-api 2012-02-11

---