es/MoreOnCollections.ipynb

{
 "cells": [
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Hasta ahora hemos visto el tipo de colección `list`, que es esencialmente una lista simplemente enlazada. La definición de `list` es similar a la que propusimos con `MyList`, pero \n",
    "- es general para cualquier tipo de dato\n",
    "- utiliza símbolos adecuados en lugar de etiquetas\n",
    "\n",
    "```fsharp\n",
    "type List<'T> = \n",
    "       | ([])  \n",
    "       | ( :: )  of Head: 'T * Tail: 'T list\n",
    "```"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Como una lista es una unión discriminada, puede usarse tal cual cualquiera de ellas. Por ejemplo, se puede escribir [una función para imprimir los elementos de una lista](https://fsharpforfunandprofit.com/posts/match-expression/):"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "empty\n"
     ]
    }
   ],
   "source": [
    "// loop through a list and print the values\n",
    "let rec loopAndPrint aList =\n",
    "    match aList with\n",
    "    // empty list means we're done.\n",
    "    | [] ->\n",
    "        printfn \"empty\"\n",
    "\n",
    "    // binding to head::tail.\n",
    "    | x::xs ->\n",
    "        printfn \"element=%A,\" x\n",
    "        // do all over again with the\n",
    "        // rest of the list\n",
    "        loopAndPrint xs\n",
    "\n",
    "loopAndPrint []        "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "element=1,\n",
      "element=2,\n",
      "element=3,\n",
      "empty\n"
     ]
    }
   ],
   "source": [
    "let l = [1;2;3]\n",
    "\n",
    "l |> loopAndPrint\n"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Se puede acceder a distintos elementos de la lista a través de índices, aunque su uso no es generalizado. Si se utilizan las funciones `Head` y `Tail` para encontrar el primer elemento y el resto de la lista:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 60,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1\n",
      "1\n",
      "[2; 3]\n",
      "[2; 3]\n"
     ]
    }
   ],
   "source": [
    "printfn \"%A\" l.Head\n",
    "printfn \"%A\" (l |> List.head)\n",
    "printfn \"%A\" l.Tail \n",
    "printfn \"%A\" (l |> List.tail) "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Acá podemos ver dos variantes de estas funciones:\n",
    "- Aquellas del tipo `List.` que provienen del módulo de listas de F#,\n",
    "- _Métodos_  que un tipo de dato `list`. \n",
    "\n",
    "En el caso de los métodos, vemos cómo F# provee también características asociadas a la programación orientada a objeto. \n",
    "\n",
    "Hay que prestar atención a que una lista pueda ser vacía, porque en ese caso estos métodos devuelven una excepción:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "ename": "Error",
     "evalue": "System.InvalidOperationException: The input list was empty.\n   at Microsoft.FSharp.Collections.FSharpList`1.get_Head() in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\prim-types.fs:line 4072\n   at <StartupCode$FSI_0010>.$FSI_0010.main@()\n   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)",
     "output_type": "error",
     "traceback": [
      "System.InvalidOperationException: The input list was empty.\n",
      "   at Microsoft.FSharp.Collections.FSharpList`1.get_Head() in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\prim-types.fs:line 4072\n",
      "   at <StartupCode$FSI_0010>.$FSI_0010.main@()\n",
      "   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n",
      "   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)"
     ]
    }
   ],
   "source": [
    "printfn \"%A\" [].Head "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "ename": "Error",
     "evalue": "System.InvalidOperationException: The input list was empty.\n   at Microsoft.FSharp.Collections.FSharpList`1.get_Tail() in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\prim-types.fs:line 4077\n   at <StartupCode$FSI_0011>.$FSI_0011.main@()\n   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)",
     "output_type": "error",
     "traceback": [
      "System.InvalidOperationException: The input list was empty.\n",
      "   at Microsoft.FSharp.Collections.FSharpList`1.get_Tail() in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\prim-types.fs:line 4077\n",
      "   at <StartupCode$FSI_0011>.$FSI_0011.main@()\n",
      "   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n",
      "   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)"
     ]
    }
   ],
   "source": [
    "printfn \"%A\" [].Tail"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Usando la notación de listas, se pueden crear así:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[3; 6; 7]\n"
     ]
    }
   ],
   "source": [
    "let l = 3 :: [6;7]\n",
    "printfn \"%A\" l"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "o concatenando dos listas:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[3; 6; 7; 8; 9]\n"
     ]
    }
   ],
   "source": [
    "let l2 = l @ [8;9]\n",
    "printfn \"%A\" l2"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Procesando listas\n",
    "\n",
    "Como venimos insistiendo, la idea de las colecciones es poder procesarlas a través de un función, o una serie concatenada de funciones (usando _piping_) de forma tal de poder obtener el resultado adecuado. "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Vimos que las funciones sobre colecciones se pueden clasificar de acuerdo al tipo de inputs y outputs de cada una de ellas. Detallando esta idea, en la siguiente imagen se ven algunos ejemplos de ellas, y qué tipos de inputs y outputs poseen (del libro [Stylish F#, de Kit Easton](https://link.springer.com/book/10.1007/978-1-4842-7205-3)):\n",
    "\n",
    "<img src=\"../img/KEaston-Table4-1.png\" alt=\"\" width=\"400\"/>\n"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "La mayoría de estas funciones reciben como argumento una función y una lista, y devuelven una lista nueva con la transformación correspondiente. La función en general suele escribirse como una función anónima:\n",
    "\n",
    "```fsharp\n",
    "fun arguments -> expression\n",
    "```\n",
    "\n",
    "también conocidas como funciones _lambda_. "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Trabajemos con un ejemplo para ir incorporando este concepto. Para ello, usaremos un par de tipos de datos `Position` y `Player` que describen algunas características de un jugador de fútbol: "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [],
   "source": [
    "type Position = GoalKeeper | Defender | Midfielder | Forward \n",
    "\n",
    "type Player =\n",
    "    {\n",
    "        Number: int \n",
    "        Name : string\n",
    "        Team: string \n",
    "        Position: Position \n",
    "        Age: uint8 \n",
    "    }"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Obviamente, el ejemplo seguirá usando los siguientes ⭐️⭐️⭐️ : "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [],
   "source": [
    "let champions2022 = [\n",
    "    // Los 3 arqueros de Argentina en Qatar 2022\n",
    "    {Number = 23; Name = \"Emiliano Martínez\" ;  Team = \"Aston Villa\"; Position = GoalKeeper; Age = 30uy};\n",
    "    {Number = 12; Name = \"Gerónimo Rulli\" ;  Team = \"Villarreal\"; Position = GoalKeeper; Age = 30uy};\n",
    "    {Number = 1; Name = \"Franco Armani\" ;  Team = \"River\"; Position = GoalKeeper; Age = 36uy};\n",
    "    // Los 9 defensores de Argentina en Qatar 2022\n",
    "    {Number = 26; Name = \"Nahuel Molina\" ;  Team = \"Atlético de Madrid\"; Position = Defender; Age = 24uy};\n",
    "    {Number = 4; Name = \"Gonzalo Montiel\" ;  Team = \"Sevilla\"; Position = Defender; Age = 25uy};\n",
    "    {Number = 13; Name = \"Cristian Romero\" ;  Team = \"Tottenham\"; Position = Defender; Age = 24uy};\n",
    "    {Number = 6; Name = \"Germán Pezzella\" ;  Team = \"Betis\"; Position = Defender; Age = 31uy};\n",
    "    {Number = 19; Name = \"Nicolás Otamendi\" ;  Team = \"Benfica\"; Position = Defender; Age = 34uy};\n",
    "    {Number = 25; Name = \"Lisandro Martínez\" ;  Team = \"Manchester United\"; Position = Defender; Age = 24uy};\n",
    "    {Number = 8; Name = \"Marcos Acuña\" ;  Team = \"Sevilla\"; Position = Defender; Age = 31uy};\n",
    "    {Number = 3; Name = \"Nicolás Tagliafico\" ;  Team = \"Olympique de Lyon\"; Position = Defender; Age = 30uy};\n",
    "    {Number = 2; Name = \"Juan Foyth\" ;  Team = \"Villarreal\"; Position = Defender; Age = 24uy};\n",
    "    // Los 8 mediocampistas de Argentina en Qatar 2022\n",
    "    {Number = 7; Name = \"Rodrigo De Paul\" ;  Team = \"Atlético de Madrid\"; Position = Midfielder; Age = 28uy};\n",
    "    {Number = 5; Name = \"Leandro Paredes\" ;  Team = \"Juventus\"; Position = Midfielder; Age = 28uy};\n",
    "    {Number = 20; Name = \"Alexis Mac Allister\" ;  Team = \"Brighton\"; Position = Midfielder; Age = 23uy};\n",
    "    {Number = 18; Name = \"Guido Rodríguez\" ;  Team = \"Betis\"; Position = Midfielder; Age = 28uy};\n",
    "    {Number = 17; Name = \"Alejandro Gómez\" ;  Team = \"Sevilla\"; Position = Midfielder; Age = 34uy};\n",
    "    {Number = 24; Name = \"Enzo Fernández\" ;  Team = \"Benfica\"; Position = Midfielder; Age = 21uy};\n",
    "    {Number = 14; Name = \"Exequiel Palacios\" ;  Team = \"Bayer Leverkusen\"; Position = Midfielder; Age = 24uy};\n",
    "    {Number = 16; Name = \"Thiago Almada\" ;  Team = \"Atlanta United\"; Position = Midfielder; Age = 21uy};\n",
    "    // Los 6 delanteros de Argentina en Qatar 2022\n",
    "    {Number = 11; Name = \"Ángel Di María\" ;  Team = \"Juventus\"; Position = Forward; Age = 34uy};\n",
    "    {Number = 22; Name = \"Lautaro Martínez\" ;  Team = \"Inter\"; Position = Forward; Age = 25uy};\n",
    "    {Number = 9; Name = \"Julián Álvarez\" ;  Team = \"Manchester City\"; Position = Forward; Age = 22uy};\n",
    "    {Number = 21; Name = \"Paulo Dybala\" ;  Team = \"Roma\"; Position = Forward; Age = 29uy};\n",
    "    {Number = 15; Name = \"Ángel Correa\" ;  Team = \"Atlético Madrid\"; Position = Forward; Age = 27uy};\n",
    "    {Number = 10; Name = \"Lionel Messi\" ;  Team = \"París Saint-Germain\"; Position = Forward; Age = 35uy};\n",
    "]"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Definamos una función que nos permite recorrer la lista e imprimirla. Para eso usamos `List.iter` que, justamente, itera la lista y devuelve `unit`: "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [],
   "source": [
    "let almostPrettyPrintList l = \n",
    "    l \n",
    "    |> List.iter (fun elem -> printfn \"%A\" elem)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{ Number = 23\n",
      "  Name = \"Emiliano Martínez\"\n",
      "  Team = \"Aston Villa\"\n",
      "  Position = GoalKeeper\n",
      "  Age = 30uy }\n",
      "{ Number = 12\n",
      "  Name = \"Gerónimo Rulli\"\n",
      "  Team = \"Villarreal\"\n",
      "  Position = GoalKeeper\n",
      "  Age = 30uy }\n",
      "{ Number = 1\n",
      "  Name = \"Franco Armani\"\n",
      "  Team = \"River\"\n",
      "  Position = GoalKeeper\n",
      "  Age = 36uy }\n",
      "{ Number = 26\n",
      "  Name = \"Nahuel Molina\"\n",
      "  Team = \"Atlético de Madrid\"\n",
      "  Position = Defender\n",
      "  Age = 24uy }\n",
      "{ Number = 4\n",
      "  Name = \"Gonzalo Montiel\"\n",
      "  Team = \"Sevilla\"\n",
      "  Position = Defender\n",
      "  Age = 25uy }\n",
      "{ Number = 13\n",
      "  Name = \"Cristian Romero\"\n",
      "  Team = \"Tottenham\"\n",
      "  Position = Defender\n",
      "  Age = 24uy }\n",
      "{ Number = 6\n",
      "  Name = \"Germán Pezzella\"\n",
      "  Team = \"Betis\"\n",
      "  Position = Defender\n",
      "  Age = 31uy }\n",
      "{ Number = 19\n",
      "  Name = \"Nicolás Otamendi\"\n",
      "  Team = \"Benfica\"\n",
      "  Position = Defender\n",
      "  Age = 34uy }\n",
      "{ Number = 25\n",
      "  Name = \"Lisandro Martínez\"\n",
      "  Team = \"Manchester United\"\n",
      "  Position = Defender\n",
      "  Age = 24uy }\n",
      "{ Number = 8\n",
      "  Name = \"Marcos Acuña\"\n",
      "  Team = \"Sevilla\"\n",
      "  Position = Defender\n",
      "  Age = 31uy }\n",
      "{ Number = 3\n",
      "  Name = \"Nicolás Tagliafico\"\n",
      "  Team = \"Olympique de Lyon\"\n",
      "  Position = Defender\n",
      "  Age = 30uy }\n",
      "{ Number = 2\n",
      "  Name = \"Juan Foyth\"\n",
      "  Team = \"Villarreal\"\n",
      "  Position = Defender\n",
      "  Age = 24uy }\n",
      "{ Number = 7\n",
      "  Name = \"Rodrigo De Paul\"\n",
      "  Team = \"Atlético de Madrid\"\n",
      "  Position = Midfielder\n",
      "  Age = 28uy }\n",
      "{ Number = 5\n",
      "  Name = \"Leandro Paredes\"\n",
      "  Team = \"Juventus\"\n",
      "  Position = Midfielder\n",
      "  Age = 28uy }\n",
      "{ Number = 20\n",
      "  Name = \"Alexis Mac Allister\"\n",
      "  Team = \"Brighton\"\n",
      "  Position = Midfielder\n",
      "  Age = 23uy }\n",
      "{ Number = 18\n",
      "  Name = \"Guido Rodríguez\"\n",
      "  Team = \"Betis\"\n",
      "  Position = Midfielder\n",
      "  Age = 28uy }\n",
      "{ Number = 17\n",
      "  Name = \"Alejandro Gómez\"\n",
      "  Team = \"Sevilla\"\n",
      "  Position = Midfielder\n",
      "  Age = 34uy }\n",
      "{ Number = 24\n",
      "  Name = \"Enzo Fernández\"\n",
      "  Team = \"Benfica\"\n",
      "  Position = Midfielder\n",
      "  Age = 21uy }\n",
      "{ Number = 14\n",
      "  Name = \"Exequiel Palacios\"\n",
      "  Team = \"Bayer Leverkusen\"\n",
      "  Position = Midfielder\n",
      "  Age = 24uy }\n",
      "{ Number = 16\n",
      "  Name = \"Thiago Almada\"\n",
      "  Team = \"Atlanta United\"\n",
      "  Position = Midfielder\n",
      "  Age = 21uy }\n",
      "{ Number = 11\n",
      "  Name = \"Ángel Di María\"\n",
      "  Team = \"Juventus\"\n",
      "  Position = Forward\n",
      "  Age = 34uy }\n",
      "{ Number = 22\n",
      "  Name = \"Lautaro Martínez\"\n",
      "  Team = \"Inter\"\n",
      "  Position = Forward\n",
      "  Age = 25uy }\n",
      "{ Number = 9\n",
      "  Name = \"Julián Álvarez\"\n",
      "  Team = \"Manchester City\"\n",
      "  Position = Forward\n",
      "  Age = 22uy }\n",
      "{ Number = 21\n",
      "  Name = \"Paulo Dybala\"\n",
      "  Team = \"Roma\"\n",
      "  Position = Forward\n",
      "  Age = 29uy }\n",
      "{ Number = 15\n",
      "  Name = \"Ángel Correa\"\n",
      "  Team = \"Atlético Madrid\"\n",
      "  Position = Forward\n",
      "  Age = 27uy }\n",
      "{ Number = 10\n",
      "  Name = \"Lionel Messi\"\n",
      "  Team = \"París Saint-Germain\"\n",
      "  Position = Forward\n",
      "  Age = 35uy }\n"
     ]
    }
   ],
   "source": [
    "champions2022 \n",
    "|> almostPrettyPrintList"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Interpolated strings\n",
    "\n",
    "No es muy compacto... Podemos crear una función que nos permita imprimir el dato de cada jugador en forma más elegante. Vamos a usar _interpolated strings_ para hacerlo. Un _interpolated string_  es una cadena de caracteres que comienza con el símbolo `$`, y tiene el texto entre comillas dobles. En su interior se pueden usar los valores entre llaves `{}`. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{saludo} Mundo\n",
      "Hola Mundo\n"
     ]
    }
   ],
   "source": [
    "let saludo = \"Hola\"\n",
    "\n",
    "printfn \"{saludo} Mundo\"\n",
    "printfn $\"{saludo} Mundo\""
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "1: Franco Armani (36), GoalKeeper, juega en River\n",
      "26: Nahuel Molina (24), Defender, juega en Atlético de Madrid\n",
      "4: Gonzalo Montiel (25), Defender, juega en Sevilla\n",
      "13: Cristian Romero (24), Defender, juega en Tottenham\n",
      "6: Germán Pezzella (31), Defender, juega en Betis\n",
      "19: Nicolás Otamendi (34), Defender, juega en Benfica\n",
      "25: Lisandro Martínez (24), Defender, juega en Manchester United\n",
      "8: Marcos Acuña (31), Defender, juega en Sevilla\n",
      "3: Nicolás Tagliafico (30), Defender, juega en Olympique de Lyon\n",
      "2: Juan Foyth (24), Defender, juega en Villarreal\n",
      "7: Rodrigo De Paul (28), Midfielder, juega en Atlético de Madrid\n",
      "5: Leandro Paredes (28), Midfielder, juega en Juventus\n",
      "20: Alexis Mac Allister (23), Midfielder, juega en Brighton\n",
      "18: Guido Rodríguez (28), Midfielder, juega en Betis\n",
      "17: Alejandro Gómez (34), Midfielder, juega en Sevilla\n",
      "24: Enzo Fernández (21), Midfielder, juega en Benfica\n",
      "14: Exequiel Palacios (24), Midfielder, juega en Bayer Leverkusen\n",
      "16: Thiago Almada (21), Midfielder, juega en Atlanta United\n",
      "11: Ángel Di María (34), Forward, juega en Juventus\n",
      "22: Lautaro Martínez (25), Forward, juega en Inter\n",
      "9: Julián Álvarez (22), Forward, juega en Manchester City\n",
      "21: Paulo Dybala (29), Forward, juega en Roma\n",
      "15: Ángel Correa (27), Forward, juega en Atlético Madrid\n",
      "10: Lionel Messi (35), Forward, juega en París Saint-Germain\n"
     ]
    }
   ],
   "source": [
    "let toStringPlayer player = \n",
    "    $\"{player.Number}: {player.Name} ({player.Age}), {player.Position}, juega en {player.Team}\"\n",
    "\n",
    "\n",
    "let prettyPrintList l = \n",
    "    l\n",
    "    |> List.iter (fun p -> printfn \"%s\" (toStringPlayer p))  \n",
    "\n",
    "prettyPrintList champions2022       "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "La lista se puede ordenar:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1: Franco Armani (36), GoalKeeper, juega en River\n",
      "2: Juan Foyth (24), Defender, juega en Villarreal\n",
      "3: Nicolás Tagliafico (30), Defender, juega en Olympique de Lyon\n",
      "4: Gonzalo Montiel (25), Defender, juega en Sevilla\n",
      "5: Leandro Paredes (28), Midfielder, juega en Juventus\n",
      "6: Germán Pezzella (31), Defender, juega en Betis\n",
      "7: Rodrigo De Paul (28), Midfielder, juega en Atlético de Madrid\n",
      "8: Marcos Acuña (31), Defender, juega en Sevilla\n",
      "9: Julián Álvarez (22), Forward, juega en Manchester City\n",
      "10: Lionel Messi (35), Forward, juega en París Saint-Germain\n",
      "11: Ángel Di María (34), Forward, juega en Juventus\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "13: Cristian Romero (24), Defender, juega en Tottenham\n",
      "14: Exequiel Palacios (24), Midfielder, juega en Bayer Leverkusen\n",
      "15: Ángel Correa (27), Forward, juega en Atlético Madrid\n",
      "16: Thiago Almada (21), Midfielder, juega en Atlanta United\n",
      "17: Alejandro Gómez (34), Midfielder, juega en Sevilla\n",
      "18: Guido Rodríguez (28), Midfielder, juega en Betis\n",
      "19: Nicolás Otamendi (34), Defender, juega en Benfica\n",
      "20: Alexis Mac Allister (23), Midfielder, juega en Brighton\n",
      "21: Paulo Dybala (29), Forward, juega en Roma\n",
      "22: Lautaro Martínez (25), Forward, juega en Inter\n",
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "24: Enzo Fernández (21), Midfielder, juega en Benfica\n",
      "25: Lisandro Martínez (24), Defender, juega en Manchester United\n",
      "26: Nahuel Molina (24), Defender, juega en Atlético de Madrid\n"
     ]
    }
   ],
   "source": [
    "champions2022 \n",
    "|> List.sort \n",
    "|> prettyPrintList"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Vemos que la lista aparece ordenada primero por número. En este caso, `List.sort` utiliza un comparador genérico para saber qué elemento está antes que otro. Sin embargo, la lista se puede ordenar de acuerdo a algún criterio usando `List.sortBy`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "24: Enzo Fernández (21), Midfielder, juega en Benfica\n",
      "16: Thiago Almada (21), Midfielder, juega en Atlanta United\n",
      "9: Julián Álvarez (22), Forward, juega en Manchester City\n",
      "20: Alexis Mac Allister (23), Midfielder, juega en Brighton\n",
      "26: Nahuel Molina (24), Defender, juega en Atlético de Madrid\n",
      "13: Cristian Romero (24), Defender, juega en Tottenham\n",
      "25: Lisandro Martínez (24), Defender, juega en Manchester United\n",
      "2: Juan Foyth (24), Defender, juega en Villarreal\n",
      "14: Exequiel Palacios (24), Midfielder, juega en Bayer Leverkusen\n",
      "4: Gonzalo Montiel (25), Defender, juega en Sevilla\n",
      "22: Lautaro Martínez (25), Forward, juega en Inter\n",
      "15: Ángel Correa (27), Forward, juega en Atlético Madrid\n",
      "7: Rodrigo De Paul (28), Midfielder, juega en Atlético de Madrid\n",
      "5: Leandro Paredes (28), Midfielder, juega en Juventus\n",
      "18: Guido Rodríguez (28), Midfielder, juega en Betis\n",
      "21: Paulo Dybala (29), Forward, juega en Roma\n",
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "3: Nicolás Tagliafico (30), Defender, juega en Olympique de Lyon\n",
      "6: Germán Pezzella (31), Defender, juega en Betis\n",
      "8: Marcos Acuña (31), Defender, juega en Sevilla\n",
      "19: Nicolás Otamendi (34), Defender, juega en Benfica\n",
      "17: Alejandro Gómez (34), Midfielder, juega en Sevilla\n",
      "11: Ángel Di María (34), Forward, juega en Juventus\n",
      "10: Lionel Messi (35), Forward, juega en París Saint-Germain\n",
      "1: Franco Armani (36), GoalKeeper, juega en River\n"
     ]
    }
   ],
   "source": [
    "champions2022 \n",
    "|> List.sortBy (fun p -> p.Age)\n",
    "|> prettyPrintList"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Quizás uno no necesita imprimir todos los datos de cada jugador:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Enzo Fernández tiene 21 años\n",
      "Thiago Almada tiene 21 años\n",
      "Julián Álvarez tiene 22 años\n",
      "Alexis Mac Allister tiene 23 años\n",
      "Nahuel Molina tiene 24 años\n",
      "Cristian Romero tiene 24 años\n",
      "Lisandro Martínez tiene 24 años\n",
      "Juan Foyth tiene 24 años\n",
      "Exequiel Palacios tiene 24 años\n",
      "Gonzalo Montiel tiene 25 años\n",
      "Lautaro Martínez tiene 25 años\n",
      "Ángel Correa tiene 27 años\n",
      "Rodrigo De Paul tiene 28 años\n",
      "Leandro Paredes tiene 28 años\n",
      "Guido Rodríguez tiene 28 años\n",
      "Paulo Dybala tiene 29 años\n",
      "Emiliano Martínez tiene 30 años\n",
      "Gerónimo Rulli tiene 30 años\n",
      "Nicolás Tagliafico tiene 30 años\n",
      "Germán Pezzella tiene 31 años\n",
      "Marcos Acuña tiene 31 años\n",
      "Nicolás Otamendi tiene 34 años\n",
      "Alejandro Gómez tiene 34 años\n",
      "Ángel Di María tiene 34 años\n",
      "Lionel Messi tiene 35 años\n",
      "Franco Armani tiene 36 años\n"
     ]
    }
   ],
   "source": [
    "champions2022 \n",
    "|> List.sortBy (fun p -> p.Age)\n",
    "|> List.map (fun p -> $\"{p.Name} tiene {p.Age} años\")\n",
    "|> List.iter (fun s -> printfn \"%s\" s)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Se puede buscar algún elemento de la lista con alguna característica particular:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<details open=\"open\" class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 24\\n  Name = \"Enzo Fernández\"\\n  Team = \"Benfica\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr><tr><td>Name</td><td>Enzo Fern&#225;ndez</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.find (fun p -> p.Age = 21uy)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<details open=\"open\" class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 16\\n  Name = \"Thiago Almada\"\\n  Team = \"Atlanta United\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>16</pre></div></td></tr><tr><td>Name</td><td>Thiago Almada</td></tr><tr><td>Team</td><td>Atlanta United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.sortBy (fun p -> p.Number)\n",
    "|> List.find (fun p -> p.Age = 21uy)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "ename": "Error",
     "evalue": "System.Collections.Generic.KeyNotFoundException: An index satisfying the predicate was not found in the collection.\n   at Microsoft.FSharp.Collections.ListModule.Find[T](FSharpFunc`2 predicate, FSharpList`1 list) in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\list.fs:line 480\n   at <StartupCode$FSI_0084>.$FSI_0084.main@()\n   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)",
     "output_type": "error",
     "traceback": [
      "System.Collections.Generic.KeyNotFoundException: An index satisfying the predicate was not found in the collection.\n",
      "   at Microsoft.FSharp.Collections.ListModule.Find[T](FSharpFunc`2 predicate, FSharpList`1 list) in D:\\a\\_work\\1\\s\\src\\FSharp.Core\\list.fs:line 480\n",
      "   at <StartupCode$FSI_0084>.$FSI_0084.main@()\n",
      "   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)\n",
      "   at System.Reflection.MethodInvoker.Invoke(Object obj, IntPtr* args, BindingFlags invokeAttr)"
     ]
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.find (fun p -> p.Age = 18uy)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Nótese que `List.find` devuelve el primer elemento que encuentra. Si uno quiere todos los elementos que comparten una cierta característica, usamos `List.filter`"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 24\\n  Name = \"Enzo Fernández\"\\n  Team = \"Benfica\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr><tr><td>Name</td><td>Enzo Fern&#225;ndez</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 16\\n  Name = \"Thiago Almada\"\\n  Team = \"Atlanta United\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>16</pre></div></td></tr><tr><td>Name</td><td>Thiago Almada</td></tr><tr><td>Team</td><td>Atlanta United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.filter (fun p -> p.Age = 21uy)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 25,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 6\\n  Name = \"Germán Pezzella\"\\n  Team = \"Betis\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>6</pre></div></td></tr><tr><td>Name</td><td>Germ&#225;n Pezzella</td></tr><tr><td>Team</td><td>Betis</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 19\\n  Name = \"Nicolás Otamendi\"\\n  Team = \"Benfica\"\\n  Position = Defender\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>19</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Otamendi</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 8\\n  Name = \"Marcos Acuña\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>8</pre></div></td></tr><tr><td>Name</td><td>Marcos Acu&#241;a</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 3\\n  Name = \"Nicolás Tagliafico\"\\n  Team = \"Olympique de Lyon\"\\n  Position = Defender\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>3</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Tagliafico</td></tr><tr><td>Team</td><td>Olympique de Lyon</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.filter (fun p -> p.Age > 25uy && p.Position = Defender)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "1: Franco Armani (36), GoalKeeper, juega en River\n"
     ]
    }
   ],
   "source": [
    "let arqueros = \n",
    "    champions2022\n",
    "    |> List.filter (fun p -> p.Position = GoalKeeper)\n",
    "\n",
    "prettyPrintList arqueros    "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Podemos usar otros métodos para procesar los datos de la lista:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 27,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "ename": "Error",
     "evalue": "input.fsx (2,29)-(2,34) typecheck error The type 'uint8' does not support the operator 'DivideByInt'",
     "output_type": "error",
     "traceback": [
      "input.fsx (2,29)-(2,34) typecheck error The type 'uint8' does not support the operator 'DivideByInt'"
     ]
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.averageBy (fun p -> p.Age)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Interesante, hay que convertir el dato a `float`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 29,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div class=\"dni-plaintext\"><pre>27.76923076923077</pre></div><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.averageBy (fun p -> float p.Age)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Hay funciones que permiten procesar la lista, recolectando datos que poseen características similares."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 30,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Aston Villa, [{ Number = 23\\n  Name = \"Emiliano Martínez\"\\n  Team = \"Aston Villa\"\\n  Position = GoalKeeper\\n  Age = 30uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Aston Villa</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 23\\n  Name = \"Emiliano Martínez\"\\n  Team = \"Aston Villa\"\\n  Position = GoalKeeper\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>23</pre></div></td></tr><tr><td>Name</td><td>Emiliano Mart&#237;nez</td></tr><tr><td>Team</td><td>Aston Villa</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Villarreal, [{ Number = 12\\n  Name = \"Gerónimo Rulli\"\\n  Team = \"Villarreal\"\\n  Position = GoalKeeper\\n  Age = 30uy }; { Number = 2\\n  Name = \"Juan Foyth\"\\n  Team = \"Villarreal\"\\n  Position = Defender\\n  Age = 24uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Villarreal</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 12\\n  Name = \"Gerónimo Rulli\"\\n  Team = \"Villarreal\"\\n  Position = GoalKeeper\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>12</pre></div></td></tr><tr><td>Name</td><td>Ger&#243;nimo Rulli</td></tr><tr><td>Team</td><td>Villarreal</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 2\\n  Name = \"Juan Foyth\"\\n  Team = \"Villarreal\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr><tr><td>Name</td><td>Juan Foyth</td></tr><tr><td>Team</td><td>Villarreal</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(River, [{ Number = 1\\n  Name = \"Franco Armani\"\\n  Team = \"River\"\\n  Position = GoalKeeper\\n  Age = 36uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>River</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 1\\n  Name = \"Franco Armani\"\\n  Team = \"River\"\\n  Position = GoalKeeper\\n  Age = 36uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr><tr><td>Name</td><td>Franco Armani</td></tr><tr><td>Team</td><td>River</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>36</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético de Madrid, [{ Number = 26\\n  Name = \"Nahuel Molina\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Defender\\n  Age = 24uy }; { Number = 7\\n  Name = \"Rodrigo De Paul\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Midfielder\\n  Age = 28uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 26\\n  Name = \"Nahuel Molina\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>26</pre></div></td></tr><tr><td>Name</td><td>Nahuel Molina</td></tr><tr><td>Team</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 7\\n  Name = \"Rodrigo De Paul\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>7</pre></div></td></tr><tr><td>Name</td><td>Rodrigo De Paul</td></tr><tr><td>Team</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Sevilla, [{ Number = 4\\n  Name = \"Gonzalo Montiel\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 25uy }; { Number = 8\\n  Name = \"Marcos Acuña\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 31uy }; { Number = 17\\n  Name = \"Alejandro Gómez\"\\n  Team = \"Sevilla\"\\n  Position = Midfielder\\n  ...</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Sevilla</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 4\\n  Name = \"Gonzalo Montiel\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 25uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>4</pre></div></td></tr><tr><td>Name</td><td>Gonzalo Montiel</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 8\\n  Name = \"Marcos Acuña\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>8</pre></div></td></tr><tr><td>Name</td><td>Marcos Acu&#241;a</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 17\\n  Name = \"Alejandro Gómez\"\\n  Team = \"Sevilla\"\\n  Position = Midfielder\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>17</pre></div></td></tr><tr><td>Name</td><td>Alejandro G&#243;mez</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Tottenham, [{ Number = 13\\n  Name = \"Cristian Romero\"\\n  Team = \"Tottenham\"\\n  Position = Defender\\n  Age = 24uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Tottenham</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 13\\n  Name = \"Cristian Romero\"\\n  Team = \"Tottenham\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>13</pre></div></td></tr><tr><td>Name</td><td>Cristian Romero</td></tr><tr><td>Team</td><td>Tottenham</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Betis, [{ Number = 6\\n  Name = \"Germán Pezzella\"\\n  Team = \"Betis\"\\n  Position = Defender\\n  Age = 31uy }; { Number = 18\\n  Name = \"Guido Rodríguez\"\\n  Team = \"Betis\"\\n  Position = Midfielder\\n  Age = 28uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Betis</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 6\\n  Name = \"Germán Pezzella\"\\n  Team = \"Betis\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>6</pre></div></td></tr><tr><td>Name</td><td>Germ&#225;n Pezzella</td></tr><tr><td>Team</td><td>Betis</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 18\\n  Name = \"Guido Rodríguez\"\\n  Team = \"Betis\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>18</pre></div></td></tr><tr><td>Name</td><td>Guido Rodr&#237;guez</td></tr><tr><td>Team</td><td>Betis</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Benfica, [{ Number = 19\\n  Name = \"Nicolás Otamendi\"\\n  Team = \"Benfica\"\\n  Position = Defender\\n  Age = 34uy }; { Number = 24\\n  Name = \"Enzo Fernández\"\\n  Team = \"Benfica\"\\n  Position = Midfielder\\n  Age = 21uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Benfica</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 19\\n  Name = \"Nicolás Otamendi\"\\n  Team = \"Benfica\"\\n  Position = Defender\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>19</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Otamendi</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 24\\n  Name = \"Enzo Fernández\"\\n  Team = \"Benfica\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr><tr><td>Name</td><td>Enzo Fern&#225;ndez</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester United, [{ Number = 25\\n  Name = \"Lisandro Martínez\"\\n  Team = \"Manchester United\"\\n  Position = Defender\\n  Age = 24uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester United</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 25\\n  Name = \"Lisandro Martínez\"\\n  Team = \"Manchester United\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr><tr><td>Name</td><td>Lisandro Mart&#237;nez</td></tr><tr><td>Team</td><td>Manchester United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>9</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Olympique de Lyon, [{ Number = 3\\n  Name = \"Nicolás Tagliafico\"\\n  Team = \"Olympique de Lyon\"\\n  Position = Defender\\n  Age = 30uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Olympique de Lyon</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 3\\n  Name = \"Nicolás Tagliafico\"\\n  Team = \"Olympique de Lyon\"\\n  Position = Defender\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>3</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Tagliafico</td></tr><tr><td>Team</td><td>Olympique de Lyon</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>10</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Juventus, [{ Number = 5\\n  Name = \"Leandro Paredes\"\\n  Team = \"Juventus\"\\n  Position = Midfielder\\n  Age = 28uy }; { Number = 11\\n  Name = \"Ángel Di María\"\\n  Team = \"Juventus\"\\n  Position = Forward\\n  Age = 34uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Juventus</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 5\\n  Name = \"Leandro Paredes\"\\n  Team = \"Juventus\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>5</pre></div></td></tr><tr><td>Name</td><td>Leandro Paredes</td></tr><tr><td>Team</td><td>Juventus</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 11\\n  Name = \"Ángel Di María\"\\n  Team = \"Juventus\"\\n  Position = Forward\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>11</pre></div></td></tr><tr><td>Name</td><td>&#193;ngel Di Mar&#237;a</td></tr><tr><td>Team</td><td>Juventus</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>11</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Brighton, [{ Number = 20\\n  Name = \"Alexis Mac Allister\"\\n  Team = \"Brighton\"\\n  Position = Midfielder\\n  Age = 23uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Brighton</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 20\\n  Name = \"Alexis Mac Allister\"\\n  Team = \"Brighton\"\\n  Position = Midfielder\\n  Age = 23uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>20</pre></div></td></tr><tr><td>Name</td><td>Alexis Mac Allister</td></tr><tr><td>Team</td><td>Brighton</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>23</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>12</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Bayer Leverkusen, [{ Number = 14\\n  Name = \"Exequiel Palacios\"\\n  Team = \"Bayer Leverkusen\"\\n  Position = Midfielder\\n  Age = 24uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Bayer Leverkusen</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 14\\n  Name = \"Exequiel Palacios\"\\n  Team = \"Bayer Leverkusen\"\\n  Position = Midfielder\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>14</pre></div></td></tr><tr><td>Name</td><td>Exequiel Palacios</td></tr><tr><td>Team</td><td>Bayer Leverkusen</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>13</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlanta United, [{ Number = 16\\n  Name = \"Thiago Almada\"\\n  Team = \"Atlanta United\"\\n  Position = Midfielder\\n  Age = 21uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atlanta United</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 16\\n  Name = \"Thiago Almada\"\\n  Team = \"Atlanta United\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>16</pre></div></td></tr><tr><td>Name</td><td>Thiago Almada</td></tr><tr><td>Team</td><td>Atlanta United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>14</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Inter, [{ Number = 22\\n  Name = \"Lautaro Martínez\"\\n  Team = \"Inter\"\\n  Position = Forward\\n  Age = 25uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Inter</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 22\\n  Name = \"Lautaro Martínez\"\\n  Team = \"Inter\"\\n  Position = Forward\\n  Age = 25uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>22</pre></div></td></tr><tr><td>Name</td><td>Lautaro Mart&#237;nez</td></tr><tr><td>Team</td><td>Inter</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>15</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester City, [{ Number = 9\\n  Name = \"Julián Álvarez\"\\n  Team = \"Manchester City\"\\n  Position = Forward\\n  Age = 22uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester City</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 9\\n  Name = \"Julián Álvarez\"\\n  Team = \"Manchester City\"\\n  Position = Forward\\n  Age = 22uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>9</pre></div></td></tr><tr><td>Name</td><td>Juli&#225;n &#193;lvarez</td></tr><tr><td>Team</td><td>Manchester City</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>22</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>16</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Roma, [{ Number = 21\\n  Name = \"Paulo Dybala\"\\n  Team = \"Roma\"\\n  Position = Forward\\n  Age = 29uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Roma</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 21\\n  Name = \"Paulo Dybala\"\\n  Team = \"Roma\"\\n  Position = Forward\\n  Age = 29uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr><tr><td>Name</td><td>Paulo Dybala</td></tr><tr><td>Team</td><td>Roma</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>29</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>17</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético Madrid, [{ Number = 15\\n  Name = \"Ángel Correa\"\\n  Team = \"Atlético Madrid\"\\n  Position = Forward\\n  Age = 27uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico Madrid</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 15\\n  Name = \"Ángel Correa\"\\n  Team = \"Atlético Madrid\"\\n  Position = Forward\\n  Age = 27uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>15</pre></div></td></tr><tr><td>Name</td><td>&#193;ngel Correa</td></tr><tr><td>Team</td><td>Atl&#233;tico Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>27</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>18</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(París Saint-Germain, [{ Number = 10\\n  Name = \"Lionel Messi\"\\n  Team = \"París Saint-Germain\"\\n  Position = Forward\\n  Age = 35uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Par&#237;s Saint-Germain</td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 10\\n  Name = \"Lionel Messi\"\\n  Team = \"París Saint-Germain\"\\n  Position = Forward\\n  Age = 35uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>10</pre></div></td></tr><tr><td>Name</td><td>Lionel Messi</td></tr><tr><td>Team</td><td>Par&#237;s Saint-Germain</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>35</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Team)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "La función `List.groupBy` no devuelve una lista de jugadores, sino una lista de pares ordenados (tuplas), donde el primer elemento sería la llave común del tipo de dato recolectado, y el segundo elemento es una lista de elementos que corresponden a esa llave:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 31,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Aston Villa\n",
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "Villarreal\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "2: Juan Foyth (24), Defender, juega en Villarreal\n",
      "River\n",
      "1: Franco Armani (36), GoalKeeper, juega en River\n",
      "Atlético de Madrid\n",
      "26: Nahuel Molina (24), Defender, juega en Atlético de Madrid\n",
      "7: Rodrigo De Paul (28), Midfielder, juega en Atlético de Madrid\n",
      "Sevilla\n",
      "4: Gonzalo Montiel (25), Defender, juega en Sevilla\n",
      "8: Marcos Acuña (31), Defender, juega en Sevilla\n",
      "17: Alejandro Gómez (34), Midfielder, juega en Sevilla\n",
      "Tottenham\n",
      "13: Cristian Romero (24), Defender, juega en Tottenham\n",
      "Betis\n",
      "6: Germán Pezzella (31), Defender, juega en Betis\n",
      "18: Guido Rodríguez (28), Midfielder, juega en Betis\n",
      "Benfica\n",
      "19: Nicolás Otamendi (34), Defender, juega en Benfica\n",
      "24: Enzo Fernández (21), Midfielder, juega en Benfica\n",
      "Manchester United\n",
      "25: Lisandro Martínez (24), Defender, juega en Manchester United\n",
      "Olympique de Lyon\n",
      "3: Nicolás Tagliafico (30), Defender, juega en Olympique de Lyon\n",
      "Juventus\n",
      "5: Leandro Paredes (28), Midfielder, juega en Juventus\n",
      "11: Ángel Di María (34), Forward, juega en Juventus\n",
      "Brighton\n",
      "20: Alexis Mac Allister (23), Midfielder, juega en Brighton\n",
      "Bayer Leverkusen\n",
      "14: Exequiel Palacios (24), Midfielder, juega en Bayer Leverkusen\n",
      "Atlanta United\n",
      "16: Thiago Almada (21), Midfielder, juega en Atlanta United\n",
      "Inter\n",
      "22: Lautaro Martínez (25), Forward, juega en Inter\n",
      "Manchester City\n",
      "9: Julián Álvarez (22), Forward, juega en Manchester City\n",
      "Roma\n",
      "21: Paulo Dybala (29), Forward, juega en Roma\n",
      "Atlético Madrid\n",
      "15: Ángel Correa (27), Forward, juega en Atlético Madrid\n",
      "París Saint-Germain\n",
      "10: Lionel Messi (35), Forward, juega en París Saint-Germain\n"
     ]
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Team)\n",
    "|> List.iter (fun (team,l) -> \n",
    "                printfn \"%s\" team \n",
    "                prettyPrintList l\n",
    "                )"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 33,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Aston Villa\n",
      "23: Emiliano Martínez (30), GoalKeeper, juega en Aston Villa\n",
      "Villarreal\n",
      "12: Gerónimo Rulli (30), GoalKeeper, juega en Villarreal\n",
      "2: Juan Foyth (24), Defender, juega en Villarreal\n",
      "River\n",
      "1: Franco Armani (36), GoalKeeper, juega en River\n",
      "Atlético de Madrid\n",
      "26: Nahuel Molina (24), Defender, juega en Atlético de Madrid\n",
      "7: Rodrigo De Paul (28), Midfielder, juega en Atlético de Madrid\n",
      "Sevilla\n",
      "4: Gonzalo Montiel (25), Defender, juega en Sevilla\n",
      "8: Marcos Acuña (31), Defender, juega en Sevilla\n",
      "17: Alejandro Gómez (34), Midfielder, juega en Sevilla\n",
      "Tottenham\n",
      "13: Cristian Romero (24), Defender, juega en Tottenham\n",
      "Betis\n",
      "6: Germán Pezzella (31), Defender, juega en Betis\n",
      "18: Guido Rodríguez (28), Midfielder, juega en Betis\n",
      "Benfica\n",
      "19: Nicolás Otamendi (34), Defender, juega en Benfica\n",
      "24: Enzo Fernández (21), Midfielder, juega en Benfica\n",
      "Manchester United\n",
      "25: Lisandro Martínez (24), Defender, juega en Manchester United\n",
      "Olympique de Lyon\n",
      "3: Nicolás Tagliafico (30), Defender, juega en Olympique de Lyon\n",
      "Juventus\n",
      "5: Leandro Paredes (28), Midfielder, juega en Juventus\n",
      "11: Ángel Di María (34), Forward, juega en Juventus\n",
      "Brighton\n",
      "20: Alexis Mac Allister (23), Midfielder, juega en Brighton\n",
      "Bayer Leverkusen\n",
      "14: Exequiel Palacios (24), Midfielder, juega en Bayer Leverkusen\n",
      "Atlanta United\n",
      "16: Thiago Almada (21), Midfielder, juega en Atlanta United\n",
      "Inter\n",
      "22: Lautaro Martínez (25), Forward, juega en Inter\n",
      "Manchester City\n",
      "9: Julián Álvarez (22), Forward, juega en Manchester City\n",
      "Roma\n",
      "21: Paulo Dybala (29), Forward, juega en Roma\n",
      "Atlético Madrid\n",
      "15: Ángel Correa (27), Forward, juega en Atlético Madrid\n",
      "París Saint-Germain\n",
      "10: Lionel Messi (35), Forward, juega en París Saint-Germain\n"
     ]
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Team)\n",
    "|> List.iter (fun t -> \n",
    "                printfn \"%s\" (fst t)\n",
    "                prettyPrintList (snd t)\n",
    "                )"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Veamos cuántos jugadores aportó cada equipo:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 34,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Aston Villa, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Aston Villa</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Villarreal, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Villarreal</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(River, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>River</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético de Madrid, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Sevilla, 3)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Sevilla</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>3</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Tottenham, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Tottenham</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Betis, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Betis</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Benfica, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Benfica</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester United, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester United</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>9</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Olympique de Lyon, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Olympique de Lyon</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>10</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Juventus, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Juventus</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>11</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Brighton, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Brighton</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>12</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Bayer Leverkusen, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Bayer Leverkusen</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>13</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlanta United, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atlanta United</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>14</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Inter, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Inter</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>15</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester City, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester City</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>16</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Roma, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Roma</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>17</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético Madrid, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico Madrid</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>18</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(París Saint-Germain, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Par&#237;s Saint-Germain</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Team)\n",
    "|> List.map (fun (t,l) -> (t, l |> List.length))\n"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Este último procedimiento se puede resumir con `List.countBy`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 35,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Aston Villa, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Aston Villa</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Villarreal, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Villarreal</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(River, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>River</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético de Madrid, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Sevilla, 3)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Sevilla</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>3</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Tottenham, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Tottenham</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Betis, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Betis</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Benfica, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Benfica</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester United, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester United</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>9</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Olympique de Lyon, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Olympique de Lyon</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>10</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Juventus, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Juventus</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>11</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Brighton, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Brighton</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>12</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Bayer Leverkusen, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Bayer Leverkusen</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>13</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlanta United, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atlanta United</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>14</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Inter, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Inter</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>15</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Manchester City, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Manchester City</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>16</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Roma, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Roma</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>17</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Atlético Madrid, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Atl&#233;tico Madrid</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>18</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(París Saint-Germain, 1)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Par&#237;s Saint-Germain</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.countBy (fun p -> p.Team)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Se puede construir un histograma de edades:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 36,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(30, [{ Number = 23\\n  Name = \"Emiliano Martínez\"\\n  Team = \"Aston Villa\"\\n  Position = GoalKeeper\\n  Age = 30uy }; { Number = 12\\n  Name = \"Gerónimo Rulli\"\\n  Team = \"Villarreal\"\\n  Position = GoalKeeper\\n  Age = 30uy }; { Number = 6\\n  Name = \"Germán Pezzella\"\\n  Team = \"Betis\"\\n  Position = Defen...</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 23\\n  Name = \"Emiliano Martínez\"\\n  Team = \"Aston Villa\"\\n  Position = GoalKeeper\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>23</pre></div></td></tr><tr><td>Name</td><td>Emiliano Mart&#237;nez</td></tr><tr><td>Team</td><td>Aston Villa</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 12\\n  Name = \"Gerónimo Rulli\"\\n  Team = \"Villarreal\"\\n  Position = GoalKeeper\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>12</pre></div></td></tr><tr><td>Name</td><td>Ger&#243;nimo Rulli</td></tr><tr><td>Team</td><td>Villarreal</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 6\\n  Name = \"Germán Pezzella\"\\n  Team = \"Betis\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>6</pre></div></td></tr><tr><td>Name</td><td>Germ&#225;n Pezzella</td></tr><tr><td>Team</td><td>Betis</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 19\\n  Name = \"Nicolás Otamendi\"\\n  Team = \"Benfica\"\\n  Position = Defender\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>19</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Otamendi</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 8\\n  Name = \"Marcos Acuña\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 31uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>8</pre></div></td></tr><tr><td>Name</td><td>Marcos Acu&#241;a</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 3\\n  Name = \"Nicolás Tagliafico\"\\n  Team = \"Olympique de Lyon\"\\n  Position = Defender\\n  Age = 30uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>3</pre></div></td></tr><tr><td>Name</td><td>Nicol&#225;s Tagliafico</td></tr><tr><td>Team</td><td>Olympique de Lyon</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 17\\n  Name = \"Alejandro Gómez\"\\n  Team = \"Sevilla\"\\n  Position = Midfielder\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>17</pre></div></td></tr><tr><td>Name</td><td>Alejandro G&#243;mez</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 11\\n  Name = \"Ángel Di María\"\\n  Team = \"Juventus\"\\n  Position = Forward\\n  Age = 34uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>11</pre></div></td></tr><tr><td>Name</td><td>&#193;ngel Di Mar&#237;a</td></tr><tr><td>Team</td><td>Juventus</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(35, [{ Number = 1\\n  Name = \"Franco Armani\"\\n  Team = \"River\"\\n  Position = GoalKeeper\\n  Age = 36uy }; { Number = 10\\n  Name = \"Lionel Messi\"\\n  Team = \"París Saint-Germain\"\\n  Position = Forward\\n  Age = 35uy }])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>35</pre></div></td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 1\\n  Name = \"Franco Armani\"\\n  Team = \"River\"\\n  Position = GoalKeeper\\n  Age = 36uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>1</pre></div></td></tr><tr><td>Name</td><td>Franco Armani</td></tr><tr><td>Team</td><td>River</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>GoalKeeper</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>36</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 10\\n  Name = \"Lionel Messi\"\\n  Team = \"París Saint-Germain\"\\n  Position = Forward\\n  Age = 35uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>10</pre></div></td></tr><tr><td>Name</td><td>Lionel Messi</td></tr><tr><td>Team</td><td>Par&#237;s Saint-Germain</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>35</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(20, [{ Number = 26\\n  Name = \"Nahuel Molina\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Defender\\n  Age = 24uy }; { Number = 13\\n  Name = \"Cristian Romero\"\\n  Team = \"Tottenham\"\\n  Position = Defender\\n  Age = 24uy }; { Number = 25\\n  Name = \"Lisandro Martínez\"\\n  Team = \"Manchester United\"\\n  Po...</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>20</pre></div></td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 26\\n  Name = \"Nahuel Molina\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>26</pre></div></td></tr><tr><td>Name</td><td>Nahuel Molina</td></tr><tr><td>Team</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 13\\n  Name = \"Cristian Romero\"\\n  Team = \"Tottenham\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>13</pre></div></td></tr><tr><td>Name</td><td>Cristian Romero</td></tr><tr><td>Team</td><td>Tottenham</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 25\\n  Name = \"Lisandro Martínez\"\\n  Team = \"Manchester United\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr><tr><td>Name</td><td>Lisandro Mart&#237;nez</td></tr><tr><td>Team</td><td>Manchester United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 2\\n  Name = \"Juan Foyth\"\\n  Team = \"Villarreal\"\\n  Position = Defender\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr><tr><td>Name</td><td>Juan Foyth</td></tr><tr><td>Team</td><td>Villarreal</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 20\\n  Name = \"Alexis Mac Allister\"\\n  Team = \"Brighton\"\\n  Position = Midfielder\\n  Age = 23uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>20</pre></div></td></tr><tr><td>Name</td><td>Alexis Mac Allister</td></tr><tr><td>Team</td><td>Brighton</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>23</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 24\\n  Name = \"Enzo Fernández\"\\n  Team = \"Benfica\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr><tr><td>Name</td><td>Enzo Fern&#225;ndez</td></tr><tr><td>Team</td><td>Benfica</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 14\\n  Name = \"Exequiel Palacios\"\\n  Team = \"Bayer Leverkusen\"\\n  Position = Midfielder\\n  Age = 24uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>14</pre></div></td></tr><tr><td>Name</td><td>Exequiel Palacios</td></tr><tr><td>Team</td><td>Bayer Leverkusen</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 16\\n  Name = \"Thiago Almada\"\\n  Team = \"Atlanta United\"\\n  Position = Midfielder\\n  Age = 21uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>16</pre></div></td></tr><tr><td>Name</td><td>Thiago Almada</td></tr><tr><td>Team</td><td>Atlanta United</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 9\\n  Name = \"Julián Álvarez\"\\n  Team = \"Manchester City\"\\n  Position = Forward\\n  Age = 22uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>9</pre></div></td></tr><tr><td>Name</td><td>Juli&#225;n &#193;lvarez</td></tr><tr><td>Team</td><td>Manchester City</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>22</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(25, [{ Number = 4\\n  Name = \"Gonzalo Montiel\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 25uy }; { Number = 7\\n  Name = \"Rodrigo De Paul\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Midfielder\\n  Age = 28uy }; { Number = 5\\n  Name = \"Leandro Paredes\"\\n  Team = \"Juventus\"\\n  Position = Mid...</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 4\\n  Name = \"Gonzalo Montiel\"\\n  Team = \"Sevilla\"\\n  Position = Defender\\n  Age = 25uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>4</pre></div></td></tr><tr><td>Name</td><td>Gonzalo Montiel</td></tr><tr><td>Team</td><td>Sevilla</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Defender</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 7\\n  Name = \"Rodrigo De Paul\"\\n  Team = \"Atlético de Madrid\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>7</pre></div></td></tr><tr><td>Name</td><td>Rodrigo De Paul</td></tr><tr><td>Team</td><td>Atl&#233;tico de Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 5\\n  Name = \"Leandro Paredes\"\\n  Team = \"Juventus\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>5</pre></div></td></tr><tr><td>Name</td><td>Leandro Paredes</td></tr><tr><td>Team</td><td>Juventus</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 18\\n  Name = \"Guido Rodríguez\"\\n  Team = \"Betis\"\\n  Position = Midfielder\\n  Age = 28uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>18</pre></div></td></tr><tr><td>Name</td><td>Guido Rodr&#237;guez</td></tr><tr><td>Team</td><td>Betis</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Midfielder</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 22\\n  Name = \"Lautaro Martínez\"\\n  Team = \"Inter\"\\n  Position = Forward\\n  Age = 25uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>22</pre></div></td></tr><tr><td>Name</td><td>Lautaro Mart&#237;nez</td></tr><tr><td>Team</td><td>Inter</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 21\\n  Name = \"Paulo Dybala\"\\n  Team = \"Roma\"\\n  Position = Forward\\n  Age = 29uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr><tr><td>Name</td><td>Paulo Dybala</td></tr><tr><td>Team</td><td>Roma</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>29</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>{ Number = 15\\n  Name = \"Ángel Correa\"\\n  Team = \"Atlético Madrid\"\\n  Position = Forward\\n  Age = 27uy }</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Number</td><td><div class=\"dni-plaintext\"><pre>15</pre></div></td></tr><tr><td>Name</td><td>&#193;ngel Correa</td></tr><tr><td>Team</td><td>Atl&#233;tico Madrid</td></tr><tr><td>Position</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>Forward</code></span></summary><div><table><thead><tr></tr></thead><tbody></tbody></table></div></details></td></tr><tr><td>Age</td><td><div class=\"dni-plaintext\"><pre>27</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Age/5uy * 5uy)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 37,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(20, 9)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>20</pre></div></td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>9</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(25, 7)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>7</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(30, 8)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>8</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(35, 2)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><div class=\"dni-plaintext\"><pre>35</pre></div></td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>2</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.groupBy (fun p -> p.Age/5uy * 5uy)\n",
    "|> List.map (fun (t,l) -> (t, l.Length))\n",
    "|> List.sort "
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "La función `List.partition` nos permite agrupar los elementos en dos listas con características disjuntas:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 84,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<details open=\"open\" class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>([(Nahuel Molina, 24); (Gonzalo Montiel, 25); (Cristian Romero, 24); ... ], [(Emiliano Martínez, 30); (Gerónimo Rulli, 30); (Franco Armani, 36); ... ])</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Nahuel Molina, 24)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Nahuel Molina</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Gonzalo Montiel, 25)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Gonzalo Montiel</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Cristian Romero, 24)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Cristian Romero</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Lisandro Martínez, 24)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Lisandro Mart&#237;nez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Juan Foyth, 24)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Juan Foyth</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Rodrigo De Paul, 28)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Rodrigo De Paul</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Leandro Paredes, 28)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Leandro Paredes</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Alexis Mac Allister, 23)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Alexis Mac Allister</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>23</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Guido Rodríguez, 28)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Guido Rodr&#237;guez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>28</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>9</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Enzo Fernández, 21)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Enzo Fern&#225;ndez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>10</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Exequiel Palacios, 24)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Exequiel Palacios</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>24</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>11</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Thiago Almada, 21)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Thiago Almada</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>21</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>12</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Lautaro Martínez, 25)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Lautaro Mart&#237;nez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>25</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>13</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Julián Álvarez, 22)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Juli&#225;n &#193;lvarez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>22</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>14</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Paulo Dybala, 29)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Paulo Dybala</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>29</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>15</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Ángel Correa, 27)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>&#193;ngel Correa</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>27</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr><tr><td>Item2</td><td><table><thead><tr><th><i>index</i></th><th>value</th></tr></thead><tbody><tr><td>0</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Emiliano Martínez, 30)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Emiliano Mart&#237;nez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>1</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Gerónimo Rulli, 30)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Ger&#243;nimo Rulli</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>2</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Franco Armani, 36)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Franco Armani</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>36</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>3</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Germán Pezzella, 31)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Germ&#225;n Pezzella</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>4</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Nicolás Otamendi, 34)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Nicol&#225;s Otamendi</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>5</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Marcos Acuña, 31)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Marcos Acu&#241;a</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>31</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>6</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Nicolás Tagliafico, 30)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Nicol&#225;s Tagliafico</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>30</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>7</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Alejandro Gómez, 34)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Alejandro G&#243;mez</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>8</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Ángel Di María, 34)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>&#193;ngel Di Mar&#237;a</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>34</pre></div></td></tr></tbody></table></div></details></td></tr><tr><td>9</td><td><details class=\"dni-treeview\"><summary><span class=\"dni-code-hint\"><code>(Lionel Messi, 35)</code></span></summary><div><table><thead><tr></tr></thead><tbody><tr><td>Item1</td><td>Lionel Messi</td></tr><tr><td>Item2</td><td><div class=\"dni-plaintext\"><pre>35</pre></div></td></tr></tbody></table></div></details></td></tr></tbody></table></td></tr></tbody></table></div></details><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.map (fun p -> (p.Name,p.Age))\n",
    "|> List.partition (fun (name,age) -> age < 30uy)\n",
    "\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 39,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Los menores de 30 son 16\n",
      "Los mayores de 30 son 10\n"
     ]
    }
   ],
   "source": [
    "let menoresde30, mayoresde30 = \n",
    "    champions2022\n",
    "    |> List.map (fun p -> (p.Name,p.Age))\n",
    "    |> List.partition (fun (name,age) -> age < 30uy)\n",
    "\n",
    "printfn $\"Los menores de 30 son {menoresde30.Length}\"\n",
    "printfn $\"Los mayores de 30 son {mayoresde30.Length}\""
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Finalmente, algunas funciones nos permiten evaluar una determinada característica de una lista:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 86,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div class=\"dni-plaintext\"><pre>False</pre></div><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "champions2022\n",
    "|> List.forall (fun p -> p.Age < 30uy)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 41,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div class=\"dni-plaintext\"><pre>False</pre></div><style>\r\n",
       ".dni-code-hint {\r\n",
       "    font-style: italic;\r\n",
       "    overflow: hidden;\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview {\r\n",
       "    white-space: nowrap;\r\n",
       "}\r\n",
       ".dni-treeview td {\r\n",
       "    vertical-align: top;\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "details.dni-treeview {\r\n",
       "    padding-left: 1em;\r\n",
       "}\r\n",
       "table td {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "table tr { \r\n",
       "    vertical-align: top; \r\n",
       "    margin: 0em 0px;\r\n",
       "}\r\n",
       "table tr td pre \r\n",
       "{ \r\n",
       "    vertical-align: top !important; \r\n",
       "    margin: 0em 0px !important;\r\n",
       "} \r\n",
       "table th {\r\n",
       "    text-align: start;\r\n",
       "}\r\n",
       "</style>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "menoresde30\n",
    "|> List.forall (fun (_,a) -> a < 30uy)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "dotnet_interactive": {
     "language": "fsharp"
    },
    "polyglot_notebook": {
     "kernelName": "fsharp"
    },
    "vscode": {
     "languageId": "polyglot-notebook"
    }
   },
   "outputs": [],
   "source": [
    "List.findIndex"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": ".NET (F#)",
   "language": "F#",
   "name": ".net-fsharp"
  },
  "language_info": {
   "name": "F#"
  },
  "orig_nbformat": 4,
  "polyglot_notebook": {
   "kernelInfo": {
    "defaultKernelName": "csharp",
    "items": [
     {
      "aliases": [],
      "name": "csharp"
     }
    ]
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}