New game
Download
SCORM download
To be used in an LMS (Moodle, Blackboard...)
Regular download
To be published on a website or blog.
Downloading games is an exclusive feature for users with an Academic Plan or a Commercial Plan.
Get your Academic Plan or your Commercial Plan now and start integrating your games into your LMS, website or blog.
Get Academic Plan
If you wish, you can download a demo game here and test its integration:
Share game
Riddle
Riddle

Disciplina de tipos

Integrate it into your platform
G. Classroom M. Teams
You can integrate the game into an LMS compatible with LTI 1.1 or LTI 1.3 such as Canvas, Moodle, or Blackboard. This way, the scores will be automatically saved into the platform’s gradebook.
Download
You have exceeded the maximum number of games you can integrate into Google Classroom with your current Plan.

To integrate as many games as you want in Google Classroom, you need an Academic Plan or a Commercial Plan.

Get Academic Plan
You have exceeded the maximum number of games you can integrate into Microsoft Teams with your current Plan.

To integrate as many games as you want in Microsoft Teams, you need an Academic Plan or a Commercial Plan.

Get Academic Plan
Downloading games is an exclusive feature for users with an Academic Plan or a Commercial Plan.

Get your Academic Plan or your Commercial Plan now and start integrating your games into your LMS, website or blog.

If you wish, you can download a demo game here and test its integration:

Get Academic Plan

Disciplina de tipos

Riddle

Played 3
Create copy

About this activity

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

Created by

Luis
Luis
Mexico

Download the paper version to play

Make your own free game from our game creator
Compete against your friends to see who gets the best score in this game
Make challenge

Top Games

 %
Anonymous
Anonymous
 %
%
%
You have exceeded the maximum number of games you can print with your current Plan.

To print as many games as you want, you need an Academic Plan or a Commercial Plan.

Get Academic Plan
Print your game
Disciplina de tipos
 

Disciplina de tiposOnline version

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

by 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.

 
Are you sure you want to leave the page?

If you leave the page, you will lose your game progress.