Hola mundo que tal están les doy la bienvenido a este curso de haskell donde vamos a ver un comando muy útil que tiene que ver con el tipo de dato,
este comando no solo lo vamos a utilizar para ver de qué tipo es un valor sencillo sino es algo muy potente incluso podemos trascender
a funciones o cosas más avanzas, les muestro como es, es comando es :t y después ustedes ponen el valor del que quieren saber su tipo,
por ejemplo si yo pongo :t y una letra me dice que a es de tipo char, es un carácter, si yo pongo :t y pongo una cadena, por ejemplo pongo 'hola'
me dice que aquí tengo una lista de caracteres, igualmente como me decía en a, una lista de caracteres en este caso es una lista de un solo carácter
mientras que a las cadenas ya hemos visto que haskell las considera como listas de caracteres, aquí tenemos una lista de un carácter
y aquí una lista de cuatro caracteres, si pongo :t y pongo un true me dice que true es de tipo booleano, si pongo :t y pongo un número, por ejemplo un 6,
me dice que el 6 es un número, si pongo un 6.8 me dice que es un fraccional, ósea ya es diferente, ya estamos hablando de valores que no son enteros,
bueno pero esto hasta ahora es sencillo, con estos ejemplos fáciles, pero yo puedo saber el formato de algo utilizando :t,
por ejemplo hemos visto ya que para las listas si yo quiero saber cuál es el primero elemento de una lista utilizo la función head,
de forma que si yo tengo la lista y tengo aquí diferentes valores, ahora cuando yo hago un head de lista se me devuelve el primero,
bueno y que tipo tiene esta función head, pues es tan sencillo como si yo pongo :t head me devuelve el formato de esta función,
me dice que recibe una lista y me devuelve el primero, se dan cuenta? igualmente yo puedo hacer con otra función que hemos visto más recientemente
como la de las duplas, si yo pongo :t fst. recuerden que el formato que yo pasando una dupla me devolvía el primero de los dos valores, el first del primero,
acá me dice el formato recibe una dupla y de esa dupla donde ”a” y ”b” son los valores me devuelve a que es el primero, si yo pongo el formato de second
me dice al revés, me dice que recibe una dupla y me devuelve el ultimo, bueno esto lo puedo aplicar a cualquier función avanzada que yo tenga,
me diera el formato y lo que me devuelve, cual es el tipo de esa función así que es importante saber funciones que indican que tipo es,
pues también es una buena práctica, bueno algo ya solamente como dato que si yo aquí pongo una expresión booleana, por ejemplo pongo 4 == 5
lo que me devuelve es que aquí lo que se está haciendo es una expresión booleana, bueno este ha sido el video de esta vez,
el comando :t, en tema más avanzados vamos a ver que es muy útil y puede ayudar bastante,
espero que te haya gustado el video, puedes darle al like, compartirlo, suscríbete, nos vemos en más tutoriales, saludos!
