Crear
Descargar
Descarga SCORM
Para ser utilizado en un LMS (Moodle, Blackboard...)
Descarga normal
Para ser publicada en una web o blog.
La descarga de juegos es una característica exclusiva para usuarios con un Plan Académico o un Plan Comercial.
Obtén ahora tu Plan Académico o Comercial y comienza a integrar tus juegos en tu LMS, web o blog.
Obtener Plan Académico
Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:
Compartir juego
Adivinanza
Adivinanza

Disciplina de tipos

Intégralo en tu plataforma
G. Classroom M. Teams
Puedes integrar el juego en un LMS compatible con LTI 1.1 o LTI 1.3 como Canvas, Moodle, o Blackboard. De esta manera podrás guardar las puntuaciones automáticamente en el libro de calificaciones de esa plataforma.
Descargar
Has superado el número máximo de juegos que puedes integrar en Google Classroom con tu Plan actual.

Para integrar tantos juegos como quieras en Google Classroom, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
Has superado el número máximo de juegos que puedes integrar en Microsoft Teams con tu Plan actual.

Para integrar tantos juegos como quieras en Microsoft Teams, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
La descarga de juegos es una característica exclusiva para usuarios con un Plan Académico o un Plan Comercial.

Obtén ahora tu Plan Académico o Comercial y comienza a integrar tus juegos en tu LMS, web o blog.

Si lo deseas, puedes descargar un juego de prueba aquí y probar su integración:

Obtener Plan Académico

Disciplina de tipos

Adivinanza

Jugadas 3
Crear copia

Sobre esta actividad

Breve cuestionario sobre la disciplina de los tipos en la programación lógica y funcional

Creada por

Luis
Luis
México

Descarga la versión para jugar en papel

Crea tu propio juego gratis desde nuestro creador de juegos
Compite contra tus amigos para ver quien consigue la mejor puntuación en esta actividad
Crear reto

Top juegos

 %
Anónimo
Anónimo
 %
%
%
Has superado el número máximo de juegos que puedes imprimir con tu Plan actual.

Para imprimir tantos juegos como quieras, necesitas un Plan Académico o un Plan Comercial.

Obtener Plan Académico
Imprime tu juego
Disciplina de tipos
 

Disciplina de tiposVersión en línea

Breve cuestionario sobre la disciplina de los tipos en la programación lógica y funcional

por Luis
1

Es un sistema formal de reglas y mecanismos que restringen y verifican los tipos de datos que pueden usarse.

2

Tipo de lenguaje que hace "magia" (coerción de tipos) por detrás para intentar que la operación no falle, aunque el resultado sea extraño.

3

Lenguajes donde el programador no escribe el tipo y parece que las variables "no tienen tipo".

4

El tipo se asocia al valor, no a la variable; la variable es solo una "caja" que puede cambiar de contenido.

5

Distinción que se basa en que tan estrictos son los lenguajes

6

Tipo de lenguaje que no permite que los tipos se mezclen de forma inesperada; si quieres sumar tipos distintos, debes convertirlos explícitamente.

7

Facilidad y ventaja de no tener que escribir los tipos de datos en las variables que estés utilizando.

8

Lenguajes donde el programador está obligado a decirle a la computadora qué es cada cosa.

9

Lenguajes basados solamente en funciones, como Haskell, OCaml y Elm.

10

El tipo de una variable queda fijado al momento de escribir el código y no puede cambiar, ya que el compilador revisa todo antes de correr.

 
¿Estás seguro que quieres abandonar la página?

Al abandonar la página perderás el progreso del juego.