This sample will guide you through elements of the F# language. Este ejemplo le guiará por los elementos del lenguaje F#. To execute the code in F# Interactive, highlight a section of code and press Alt-Enter or right-click Para ejecutar el código en F# interactivo, resalte una sección de código y presione Alt-Entrar, o haga clic con el botón secundario and select "Execute in Interactive". You can open the F# Interactive Window from the "View" menu. y seleccione "Ejecutar en modo interactivo". Puede abrir la ventana de F# interactivo desde el menú "Ver". For more about F#, see: Para obtener más información acerca de F#, vea: To see this tutorial in documentation form, see: Para ver este tutorial en forma de documentación, vea: To learn more about applied F# programming, use Para obtener más información sobre la programación de F# aplicada, use To install the Visual F# Power Tools, use Para instalar Visual F# Power Tools, use 'Tools' --> 'Extensions and Updates' --> `Online` and search "Herramientas" --> "Extensiones y actualizaciones" --> "En línea" y busque For additional templates to use with F#, see the 'Online Templates' in Visual Studio, Para obtener plantillas adicionales para su uso con F#, consulte 'Plantillas en línea' en Visual Studio, 'New Project' --> 'Online Templates' "Nuevo proyecto" --> "Plantillas en línea" F# supports three kinds of comments: F# admite tres tipos de comentarios: 1. Double-slash comments. These are used in most situations. 1. Comentarios con doble barra diagonal. Se usan en la mayoría de las situaciones. 2. ML-style Block comments. These aren't used that often. 2. Comentarios de bloque de estilo ML. No se usan con tanta frecuencia. 3. Triple-slash comments. These are used for documenting functions, types, and so on. 3. Comentarios de triple barra diagonal. Se utilizan para funciones de documentación, tipos, etc. They will appear as text when you hover over something which is decorated with these comments. Aparecerán como texto al mantener el puntero por encima de algo decorado con estos comentarios. They also support .NET-style XML comments, which allow you to generate reference documentation, También admiten comentarios XML de estilo .NET, que le permite generar documentación de referencia, and they also allow editors (such as Visual Studio) to extract information from them. y también permite a los editores (como Visual Studio) extraer información de ellos. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/xml-documentation Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/xml-documentation Open namespaces using the 'open' keyword. Abra los espacios de nombres con la palabra clave "open". To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/import-declarations-the-open-keyword Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/import-declarations-the-open-keyword A module is a grouping of F# code, such as values, types, and function values. Un módulo es una agrupación de código de F#, como valores, tipos y valores de función. Grouping code in modules helps keep related code together and helps avoid name conflicts in your program. El código de agrupación de los módulos ayuda a mantener el código relacionado en conjunto y ayuda a evitar los conflictos de nombres en su programa. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/modules Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/modules This is a sample integer. Este es un entero de ejemplo. This is a sample floating point number. Este es un número de punto flotante de ejemplo. This computed a new number by some arithmetic. Numeric types are converted using Se calcula un número nuevo aplicando cierta aritmética. Los tipos numéricos se convierten mediante functions 'int', 'double' and so on. funciones "int", "double", etc. This is a list of the numbers from 0 to 99. Esta es una lista de números del 0 al 99. This is a list of all tuples containing all the numbers from 0 to 99 and their squares. Esta es una lista de todas las tuplas que contienen todos los números de 0 a 99 y sus cuadrados. The next line prints a list that includes tuples, using '%A' for generic printing. La línea siguiente imprime una lista que incluye tuplas, utilizando "%A" para la impresión genérica. This is a sample integer with a type annotation Este es un entero de ejemplo con una anotación de tipo Values in F# are immutable by default. They cannot be changed Los valores de F# son inmutables de manera predeterminada. No se pueden cambiar in the course of a program's execution unless explicitly marked as mutable. en el transcurso de la ejecución de un programa a menos que se marquen explícitamente como mutable. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#why-immutable Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#why-immutable Binding a value to a name via 'let' makes it immutable. Al enlazar un valor a un nombre con "let", se convierte en inmutable. The second line of code fails to compile because 'number' is immutable and bound. La segunda línea de código no se compila porque "number" es inmutable y está enlazado. Re-defining 'number' to be a different value is not allowed in F#. En F#, no se puede redefinir "number" para darle otro valor. A mutable binding. This is required to be able to mutate the value of 'otherNumber'. Enlace mutable. Es necesario para poder mutar el valor de "otherNumber". When mutating a value, use '<-' to assign a new value. Para la mutación de un valor, use "<-" para asignar un valor nuevo. You could not use '=' here for this purpose since it is used for equality No pudo usar "=" con este propósito, porque se usa para la igualdad or other contexts such as 'let' or 'module' u otros contextos, como "let" o "module" Much of F# programming consists of defining functions that transform input data to produce Gran parte de la programación de F# consiste en definir funciones que transforman los datos de entrada para generar useful results. resultados útiles. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ You use 'let' to define a function. This one accepts an integer argument and returns an integer. "let" se utiliza para definir una función. En este caso, acepta un argumento de entero y devuelve un entero. Parentheses are optional for function arguments, except for when you use an explicit type annotation. Los paréntesis son opcionales para argumentos de función, excepto cuando se utiliza una anotación de tipo explícito. Apply the function, naming the function return result using 'let'. Aplicar la función, asignando un nombre al resultado devuelto por la función mediante 'let'. The variable type is inferred from the function return type. El tipo de variable se infiere del tipo de valor devuelto por la función. This line uses '%d' to print the result as an integer. This is type-safe. Esta línea utiliza "%d" para imprimir el resultado de un entero. Cuenta con seguridad de tipos. If 'result1' were not of type 'int', then the line would fail to compile. Si "result1" no fuese de tipo "int", la línea no se compilaría. When needed, annotate the type of a parameter name using '(argument:type)'. Parentheses are required. Si es necesario, anote el tipo de un nombre de parámetro usando "(argument:type)". Los paréntesis son obligatorios. Conditionals use if/then/elid/elif/else. Los condicionales usan if/then/elid/elif/else. Note that F# uses whitespace indentation-aware syntax, similar to languages like Python. Tenga en cuenta que F# utiliza una sintaxis que tiene en cuenta la sangría de espacios en blanco, de forma parecida a lenguajes como Python. This line uses '%f' to print the result as a float. As with '%d' above, this is type-safe. Esta línea utiliza "%f" para imprimir el resultado como un valor float. Al igual que "%d", cuenta con seguridad de tipos. Booleans are fundamental data types in F#. Here are some examples of Booleans and conditional logic. Los valores booleanos son tipos de datos fundamentales en F#. Estos son algunos ejemplos de valores booleanos y lógica condicional. To learn more, see: Para obtener más información, vea: and y Booleans values are 'true' and 'false'. Los valores booleanos son "true" y "false". Operators on booleans are 'not', '&&' and '||'. Los operadores de valores booleanos son "not", "&&" y "||". This line uses '%b'to print a boolean value. This is type-safe. Esta línea utiliza "%b" para imprimir un valor booleano. Cuenta con seguridad de tipos. Strings are fundamental data types in F#. Here are some examples of Strings and basic String manipulation. Las cadenas son tipos de datos fundamentales en F#. Estos son algunos ejemplos de cadenas y de manipulación básica de cadenas. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/strings Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/strings Strings use double quotes. Las cadenas usan comillas dobles. Strings can also use @ to create a verbatim string literal. Las cadenas también pueden usar @ para crear un literal de cadena textual. This will ignore escape characters such as '\', '\n', '\t', etc. No tiene en cuenta los caracteres de escape, como "\", "\n", "\t", etc. String literals can also use triple-quotes. Los literales de cadena también pueden usar comillas triples. String concatenation is normally done with the '+' operator. La concatenación de cadenas suele hacerse con el operador "+". This line uses '%s' to print a string value. This is type-safe. Esta línea utiliza "%s" para imprimir un valor de cadena. Cuenta con seguridad de tipos. Substrings use the indexer notation. This line extracts the first 7 characters as a substring. Las subcadenas utilizan la notación del indexador. Esta línea extrae los 7 primeros caracteres como una subcadena. Note that like many languages, Strings are zero-indexed in F#. Tenga en cuenta que, al igual que en otros muchos lenguajes, las cadenas tienen índice 0 en F#. Tuples are simple combinations of data values into a combined value. Las tuplas son combinaciones simples de valores de datos en un valor combinado. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples A simple tuple of integers. Tupla de enteros sencilla. A function that swaps the order of two values in a tuple. Una función que intercambia el orden de dos valores en una tupla. F# Type Inference will automatically generalize the function to have a generic type, La inferencia de tipos de F# generalizará la función de forma automática para que tenga un tipo genérico, meaning that it will work with any type. lo que significa que funcionará con cualquier tipo. A tuple consisting of an integer, a string, Una tupla que consta de un entero, una cadena, and a double-precision floating point number. y un número de punto flotante de doble precisión. A simple tuple of integers with a type annotation. Una tupla de enteros sencilla con una anotación de tipo. Type annotations for tuples use the * symbol to separate elements Las anotaciones de tipo para las tuplas usan el símbolo * para separar los elementos Tuples are normally objects, but they can also be represented as structs. Las tuplas suelen ser objetos, pero también se pueden representar como estructuras. These interoperate completely with structs in C# and Visual Basic.NET; however, Interoperan completamente con estructuras de C# y Visual Basic.NET; sin embargo, struct tuples are not implicitly convertable with object tuples (often called reference tuples). las tuplas de estructuras no son implícitamente convertibles con tuplas de objeto (a menudo denominadas tuplas de referencia). The second line below will fail to compile because of this. Uncomment it to see what happens. La segunda línea no se compilará por esto. Quite las marcas de comentario para ver qué ocurre. Although you cannot implicitly convert between struct tuples and reference tuples, Aunque no puede convertir tuplas de struct en tuplas de referencia y viceversa de forma implícita, you can explicitly convert via pattern matching, as demonstrated below. puede hacer la conversión de forma explícita mediante coincidencia de patrones, como se muestra a continuación. The F# pipe operators ('|>', '<|', etc.) and F# composition operators ('>>', '<<') Los operadores de canalización ("|>", "<|", etc.) y de composición (">>", "<<") de F# are used extensively when processing data. These operators are themselves functions se utilizan mucho en el procesamiento de datos. Estos operadores son en sí mismos funciones. which make use of Partial Application. que usan aplicación parcial. To learn more about these operators, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#function-composition-and-pipelining Para obtener más información sobre estos operadores, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#function-composition-and-pipelining To learn more about Partial Application, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#partial-application-of-arguments Para obtener más información sobre la aplicación parcial, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#partial-application-of-arguments Squares a value. Eleva un valor la cuadrado. Adds 1 to a value. Suma 1 a un valor. Tests if an integer value is odd via modulo. Comprueba si un valor entero es impar mediante un módulo. A list of 5 numbers. More on lists later. Lista de 5 números. Más adelante, se proporciona más información sobre listas. Given a list of integers, it filters out the even numbers, Dada una lista de enteros, aplica un filtro para excluir los números pares, squares the resulting odds, and adds 1 to the squared odds. eleva al cuadrado los impares resultantes y les suma 1. A shorter way to write 'squareOddValuesAndAddOne' is to nest each Una forma más corta de escribir "squareOddValuesAndAddOne" es anidar cada sub-result into the function calls themselves. subresultado en las propias llamadas a la función. This makes the function much shorter, but it's difficult to see the Esto hace la función mucho más corta, pero es difícil ver el order in which the data is processed. orden en el que se procesan los datos. A preferred way to write 'squareOddValuesAndAddOne' is to use F# pipe operators. Una forma recomendable de escribir "squareOddValuesAndAddOne" es usar operadores de canalización de F#. This allows you to avoid creating intermediate results, but is much more readable Esto permite evitar que se creen resultados intermedios, pero es mucho más fácil de leer than nesting function calls like 'squareOddValuesAndAddOneNested' que anidar las llamadas a la función como "squareOddValuesAndAddOneNested" You can shorten 'squareOddValuesAndAddOnePipeline' by moving the second `List.map` call No puede acortar "squareOddValuesAndAddOnePipeline" moviendo la segunda llamada de "List.map" into the first, using a Lambda Function. a la primera, usando una función lambda. Note that pipelines are also being used inside the lambda function. F# pipe operators Tenga en cuenta que las canalizaciones se usan también en la función lambda. Los operadores de canalización de F# can be used for single values as well. This makes them very powerful for processing data. se puede usar también para valores individuales. Esto les confiere una gran capacidad para el procesamiento de datos. Lastly, you can eliminate the need to explicitly take 'values' in as a parameter by using '>>' Por último, puede eliminar la necesidad de tomar "valores" de forma explícita como parámetro usando ">>" to compose the two core operations: filtering out even numbers, then squaring and adding one. para componer las dos operaciones principales: aplicar un filtro para excluir los números pares, elevar al cuadrado y sumar uno. Likewise, the 'fun x -> ...' bit of the lambda expression is also not needed, because 'x' is simply De igual modo, no se necesita tampoco la parte "fun x -> ..." de la expresión lambda, porque "x" being defined in that scope so that it can be passed to a functional pipeline. Thus, '>>' can be used se define en ese ámbito para poderlo pasar a una canalización funcional. Por tanto, ">>" se pude usar there as well. aquí también. The result of 'squareOddValuesAndAddOneComposition' is itself another function which takes a El resultado de "squareOddValuesAndAddOneComposition" es en sí mismo otra función que toma una list of integers as its input. If you execute 'squareOddValuesAndAddOneComposition' with a list lista de enteros como entrada. Si ejecuta "squareOddValuesAndAddOneComposition" con una lista of integers, you'll notice that it produces the same results as previous functions. de enteros, notará que produce los mismos resultados que las funciones anteriores. This is using what is known as function composition. This is possible because functions in F# Aquí se utiliza lo que se conoce como composición de funciones. Es posible porque las funciones en F# use Partial Application and the input and output types of each data processing operation match utilizan aplicación parcial y los tipos de entrada y salida de cada operación de procesamiento de datos buscan the signatures of the functions we're using. las signaturas de las funciones que estamos usando. Lists are ordered, immutable, singly-linked lists. They are eager in their evaluation. Las listas están ordenadas, son inmutables y están vinculadas individualmente. Son diligentes en su evaluación. This module shows various ways to generate lists and process lists with some functions Este módulo muestra varias formas de generar listas y procesarlas con algunas funciones in the 'List' module in the F# Core Library. en el módulo "List" de la biblioteca principal de F#. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/lists Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/lists Lists are defined using [ ... ]. This is an empty list. Las listas se definen mediante [ ... ]. Esta es una lista vacía. This is a list with 3 elements. ';' is used to separate elements on the same line. Esta es una lista de 3 elementos. Se utiliza ";" para separar los elementos que están en la misma línea. You can also separate elements by placing them on their own lines. También puede separar los elementos poniendo cada uno en su propia línea. This is a list of integers from 1 to 1000 Esta es una lista de enteros del 1 al 1000 Lists can also be generated by computations. This is a list containing Las listas también pueden generarse mediante cálculos. Esta es una lista que contiene all the days of the year. todos los días del año. Print the first 5 elements of 'daysList' using 'List.take'. Imprime los 5 primeros elementos de "daysList" usando "List.take". Computations can include conditionals. This is a list containing the tuples Los cálculos pueden incluir condicionales. Esta es una lista que contiene las tuplas which are the coordinates of the black squares on a chess board. que son las coordenadas de los cuadrados negros de un tablero de ajedrez. Lists can be transformed using 'List.map' and other functional programming combinators. Las listas se pueden transformas mediante "List.map" y otros combinadores de programación funcionales. This definition produces a new list by squaring the numbers in numberList, using the pipeline Esta definición genera una nueva lista al elevar al cuadrado los números incluidos en numberList y usa el operador operator to pass an argument to List.map. de canalización para pasar un argumento a List.map. There are many other list combinations. The following computes the sum of the squares of the Hay otras muchas combinaciones de listas. La siguiente, calcula la suma de los cuadrados de los numbers divisible by 3. números divisibles por 3. Arrays are fixed-size, mutable collections of elements of the same type. Las matrices son colecciones mutables de tamaño fijo de elementos del mismo tipo. Although they are similar to Lists (they support enumeration and have similar combinators for data processing), Aunque son parecidas a las listas (admiten enumeración y tienen combinadores parecidos para el procesamiento de datos), they are generally faster and support fast random access. This comes at the cost of being less safe by being mutable. suelen ser más rápidas y admitir acceso aleatorio rápido. A cambio, tiene el inconveniente de que es menos seguro porque es mutable. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/arrays Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/arrays This is The empty array. Note that the syntax is similar to that of Lists, but uses `[| ... |]` instead. Esta es una matriz vacía. Observe que la sintaxis es parecida a la de las listas, pero utiliza "[| ... |]" en su lugar. Arrays are specified using the same range of constructs as lists. Las matrices se especifican con el mismo intervalo de construcciones que las listas. This is an array of numbers from 1 to 1000. Esta es una matriz de números del 1 al 1000. This is an array containing only the words "hello" and "world". Esta es una matriz que solo contiene las palabras "hola" y "todos". This is an array initialized by index and containing the even numbers from 0 to 2000. Esta es una matriz inicializada con un índice que contiene los números pares del 0 al 2000. Sub-arrays are extracted using slicing notation. Las submatrices se extraen mediante la notación divisoria. You can loop over arrays and lists using 'for' loops. Puede ejecutar un bucle en matrices y listas usando bucles "for". You can modify the contents of an an array element by using the left arrow assignment operator. Puede modificar el contenido de un elemento de matriz mediante el operador de asignación de flecha izquierda. To learn more about this operator, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#mutable-variables Para obtener más información sobre este operador, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#mutable-variables You can transform arrays using 'Array.map' and other functional programming operations. Para transformar matrices, use "Array.map" y otras operaciones de programación funcionales. The following calculates the sum of the lengths of the words that start with 'h'. La operación siguiente calcula la suma de las longitudes de las palabras que empiezan por "h". Sequences are a logical series of elements, all of the same type. These are a more general type than Lists and Arrays. Las secuencias son una serie lógica de elementos del mismo tipo. Son de un tipo más general que las listas o las matrices. Sequences are evaluated on-demand and are re-evaluated each time they are iterated. Las secuencias se evalúan previa petición y se vuelven a evaluar cada vez que se recorren en iteración. An F# sequence is an alias for a .NET System.Collections.Generic.IEnumerable<'T>. Una secuencia de F# es un alias para un elemento System.Collections.Generic.IEnumerable<'T> de .NET. Sequence processing functions can be applied to Lists and Arrays as well. Las funciones de procesamiento de secuencias también pueden aplicarse a las listas y a las matrices. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/sequences Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/sequences This is the empty sequence. Esta es una secuencia vacía. This a sequence of values. Esta es una secuencia de valores. This is an on-demand sequence from 1 to 1000. Esta es una secuencia a petición del 1 al 1000. This is a sequence producing the words "hello" and "world" Esta es una secuencia que genera las palabras "hola" y "todos" This sequence producing the even numbers up to 2000. Esta secuencia genera los números pares hasta el 2000. This is an infinite sequence which is a random walk. Esta es una secuencia infinita que constituye un recorrido aleatorio. This example uses yield! to return each element of a subsequence. Este ejemplo usa yield! para devolver cada uno de los elementos de una subsecuencia. This example shows the first 100 elements of the random walk. Este ejemplo muestra los 100 primeros elementos del recorrido aleatorio. Recursive functions can call themselves. In F#, functions are only recursive Las funciones recursivas pueden llamarse a sí mismas. En F#, las funciones solo son recursivas when declared using 'let rec'. cuando se declara con "let rec". Recursion is the preferred way to process sequences or collections in F#. La recursión es la forma recomendada de procesar secuencias o colecciones en F#. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions This example shows a recursive function that computes the factorial of an Este ejemplo muestra una función recursiva que calcula el factorial de un integer. It uses 'let rec' to define a recursive function. entero. Usa "let rec" para definir una función recursiva. Computes the greatest common factor of two integers. Calcula el mayor factor común de dos enteros. Since all of the recursive calls are tail calls, Puesto que todas las llamadas recursivas son llamadas de cola, the compiler will turn the function into a loop, el compilador devolverá la función en un bucle, which improves performance and reduces memory consumption. lo que mejora el rendimiento y reduce el consumo de memoria. This example computes the sum of a list of integers using recursion. Este ejemplo calcula la suma de una lista de enteros con recursión. This makes 'sumList' tail recursive, using a helper function with a result accumulator. Esto convierte la función "sumList" en recursiva de cola, usando una función auxiliar con un acumulador de resultados. This invokes the tail recursive helper function, providing '0' as a seed accumulator. Este código invoca la función auxiliar recursiva de cola, proporcionando "0" como acumulador de valores de inicialización. An approach like this is common in F#. Este método es habitual en F#. Records are an aggregate of named values, with optional members (such as methods). Los registros son un agregado de valores con nombre, con miembros opcionales (como los métodos). They are immutable and have structural equality semantics. Son inmutables y tienen semántica de igualdad estructural. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records This example shows how to define a new record type. Este ejemplo muestra cómo definir un nuevo tipo de registro. This example shows how to instantiate a record type. Este ejemplo muestra cómo crear una instancia de un tipo de registro. You can also do this on the same line with ';' separators. También puede hacer esto en la misma línea usando ";" como separador. This example shows how to use "copy-and-update" on record values. It creates Este ejemplo muestra cómo usar "copy-and-update" en los valores de registro. Crea a new record value that is a copy of contact1, but has different values for un nuevo valor de registro que es una copia de contact1, pero con valores distintos para the 'Phone' and 'Verified' fields. los campos "Phone" y "Verified". To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions This example shows how to write a function that processes a record value. Este ejemplo muestra cómo escribir una función que procesa un valor del registro. It converts a 'ContactCard' object to a string. Convierte un objeto "ContactCard" en una cadena. This is an example of a Record with a member. Este es un ejemplo de un registro con un miembro. Members can implement object-oriented members. Los miembros pueden implementar miembros orientados a objetos. Members are accessed via the '.' operator on an instantiated type. A los miembros se accede con el operador "." en un tipo del que se ha creado una instancia. Records can also be represented as structs via the 'Struct' attribute. Los registros se pueden representar también como estructuras con el atributo "Struct". This is helpful in situations where the performance of structs outweighs Esto es útil en situaciones donde el rendimiento de las estructuras es superior a the flexibility of reference types. la flexibilidad de los tipos de referencia. Discriminated Unions (DU for short) are values which could be a number of named forms or cases. Las uniones discriminadas (DU) son valores que podrían ser un gran número de formas o casos con nombre. Data stored in DUs can be one of several distinct values. Los datos almacenados en uniones discriminadas pueden ser uno de varios valores diferentes. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions The following represents the suit of a playing card. El siguiente código representa el palo de una carta. A Disciminated Union can also be used to represent the rank of a playing card. También se puede usar una unión discriminada para representar el rango de una carta. Represents the rank of cards 2 .. 10 Representa el rango de cartas 2 .. 10 Discriminated Unions can also implement object-oriented members. Las uniones discriminadas pueden implementar también miembros orientados a objetos. This is a record type that combines a Suit and a Rank. Este es un tipo de registro que combina un palo y un rango. It's common to use both Records and Disciminated Unions when representing data. Es habitual utilizar tanto registros como uniones discriminadas cuando se representan datos. This computes a list representing all the cards in the deck. Este código calcula una lista que representa todas las cartas de la baraja. This example converts a 'Card' object to a string. Este ejemplo convierte un objeto "Card" en una cadena. This example prints all the cards in a playing deck. Este ejemplo imprime todas las cartas de una baraja. Single-case DUs are often used for domain modeling. This can buy you extra type safety Las uniones discriminadas de un solo caso se usan con frecuencia en el modelado de dominios. Esto puede aportar mayor seguridad de tipos over primitive types such as strings and ints. en tipos primitivos, como cadenas y enteros. Single-case DUs cannot be implicitly converted to or from the type they wrap. Las uniones discriminadas de un solo caso no se pueden convertir de forma implícita en el tipo que encapsulan, ni viceversa. For example, a function which takes in an Address cannot accept a string as that input, Por ejemplo, una función que toma una dirección no puede aceptar una cadena como esa entrada, or vive/versa. o viceversa. You can easily instantiate a single-case DU as follows. Puede crear fácilmente una instancia de una unión discriminada de un solo caso del siguiente modo. When you need the value, you can unwrap the underlying value with a simple function. Cuando necesite el valor, puede desencapsular el valor subyacente con una función sencilla. Printing single-case DUs is simple with unwrapping functions. Imprimir uniones discriminadas de un solo caso es muy sencillo con funciones de desencapsulamiento. Disciminated Unions also support recursive definitions. Las uniones discriminadas admiten también definiciones recursivas. This represents a Binary Search Tree, with one case being the Empty tree, Esto representa un árbol de búsqueda binaria, donde un caso es el árbol vacío and the other being a Node with a value and two subtrees. y el otro es un nodo con un valor y dos subárboles. Check if an item exists in the binary search tree. Comprueba si existe un elemento en el árbol de búsqueda binaria. Searches recursively using Pattern Matching. Returns true if it exists; otherwise, false. Hace búsquedas de forma recursiva usando coincidencia de patrones. Devuelve true si existe; de lo contrario, false. Check the left subtree. Comprueba el subárbol de la izquierda. Check the right subtree. Comprueba el subárbol de la derecha. Inserts an item in the Binary Search Tree. Inserta un elemento en el árbol de búsqueda binaria. Finds the place to insert recursively using Pattern Matching, then inserts a new node. Busca dónde insertar de forma recursiva un nuevo nodo usando coincidencia de patrones y lo inserta. If the item is already present, it does not insert anything. Si el elemento ya está presente, no inserta nada. No need to insert, it already exists; return the node. No es necesario insertarlo, ya existe; vuelve al nodo. Call into left subtree. Llama al subárbol de la izquierda. Call into right subtree. Llama al subárbol de la derecha. Discriminated Unions can also be represented as structs via the 'Struct' attribute. Las uniones discriminadas se pueden representar también como estructuras con el atributo "Struct". This is helpful in situations where the performance of structs outweighs Esto es útil en situaciones donde el rendimiento de las estructuras es superior a the flexibility of reference types. la flexibilidad de los tipos de referencia. However, there are two important things to know when doing this: No obstante, hay dos cosas importantes que deben tenerse en cuenta cuando se hace esto: 1. A struct DU cannot be recursively-defined. 1. Una unión discriminada de estructura no se puede definir de forma recursiva. 2. A struct DU must have unique names for each of its cases. 2. Una unión discriminada de estructura debe tener un nombre único para cada uno de sus casos. Pattern Matching is a feature of F# that allows you to utilize Patterns, La coincidencia de patrones es una característica de F# que permite utilizar patrones, which are a way to compare data with a logical structure or structures, que son una forma de comparar datos con estructuras lógicas, decompose data into constituent parts, or extract information from data in various ways. descomponer datos en partes constituyentes o extraer información de datos de varias formas. You can then dispatch on the "shape" of a pattern via Pattern Matching. Después, puede hacer envíos en función de la "forma" de un patrón mediante coincidencia de patrones. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/pattern-matching Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/pattern-matching A record for a person's first and last name Un registro para el nombre y los apellidos de una persona A Discriminated Union of 3 different kinds of employees Una unión discriminada de 3 tipos de empleados diferentes Count everyone underneath the employee in the management hierarchy, Cuenta a todos por debajo del empleado en la jerarquía de administración, including the employee. incluido el empleado. Find all managers/executives named "Dave" who do not have any reports. Buscar a todos los directores o ejecutivos que se llamen "Dave" que no tengan jefes. This uses the 'function' shorthand to as a lambda expression. Aquí se utiliza la forma abreviada "function" como una expresión lambda. [] matches an empty list. [] coincide con una lista vacía. '_' is a wildcard pattern that matches anything. "_" es un patrón comodín que busca cualquier cosa. This handles the "or else" case. Este código controla el caso "or else". You can also use the shorthand function construct for pattern matching, También puede usar la construcción abreviada de funciones para la coincidencia de patrones, which is useful when you're writing functions which make use of Partial Application. que es muy útil cuando se escriben funciones que utilizan aplicación parcial. Define some more functions which parse with the helper function. Define algunas funciones más que se analizan con la función auxiliar. Active Patterns are another powerful construct to use with pattern matching. Los patrones activos son también una construcción muy eficaz para usarla con coincidencia de patrones. They allow you to partition input data into custom forms, decomposing them at the pattern match call site. Permiten particionar los datos de entrada en formas personalizadas, descomponiéndolos en el sitio de llamada de coincidencia de patrones. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/active-patterns Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/active-patterns Pattern Matching via 'function' keyword and Active Patterns often looks like this. La coincidencia de patrones con la palabra clave "function" y patrones activos suele ser similar a este código. Call the printer with some different values to parse. Llamar a la impresora con algunos valores diferentes para analizar. Option values are any kind of value tagged with either 'Some' or 'None'. Los valores de opción son cualquier tipo de valor etiquetado como 'Some' o 'None'. They are used extensively in F# code to represent the cases where many other Se usan de forma exhaustiva en el código de F# para representar los casos en los que muchos otros languages would use null references. lenguajes usarían referencias NULL. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/options Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/options First, define a zipcode defined via Single-case Discriminated Union. En primer lugar, defina un código postal con una unión discriminada de un solo caso. Next, define a type where the ZipCode is optional. Después, defina un tipo donde ZipCode sea opcional. Next, define an interface type that represents an object to compute the shipping zone for the customer's zip code, Después, defina un tipo de interfaz que represente un objeto para calcular la zona de envío del código postal del cliente, given implementations for the 'getState' and 'getShippingZone' abstract methods. especificando implementaciones para los métodos abstractos 'getState' y 'getShippingZone'. Next, calculate a shipping zone for a customer using a calculator instance. Después, calcule una zona de envío para un cliente con una instancia de la calculadora. This uses combinators in the Option module to allow a functional pipeline for Aquí se utilizan combinadores en el módulo Option para permitir que una canalización funcional transforming data with Optionals. transforme datos con valores opcionales. Units of measure are a way to annotate primitive numeric types in a type-safe way. Las unidades de medida son una forma de anotar tipos numéricos primitivos con seguridad de tipos. You can then perform type-safe arithmetic on these values. Después, puede realizar operaciones aritméticas con seguridad de tipos en estos valores. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/units-of-measure Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/units-of-measure First, open a collection of common unit names Primero, abra una colección de nombres de unidad comunes Define a unitized constant Defina una constante dividida en unidades Next, define a new unit type Después, defina un nuevo tipo de unidad Conversion factor mile to meter. Factor de conversión de millas a metros. Define a unitized constant Defina una constante dividida en unidades Compute metric-system constant Calcular constante del sistema métrico Values using Units of Measure can be used just like the primitive numeric type for things like printing. Los valores que usan unidades de medida se pueden usar simplemente como tipo numérico primitivo para cosas como la impresión. Classes are a way of defining new object types in F#, and support standard Object-oriented constructs. Las clases son una forma de definir tipos de objeto nuevos en F# y admiten construcciones orientadas a objetos estándar. They can have a variety of members (methods, properties, events, etc.) Pueden tener una gran variedad de miembros (métodos, propiedades, eventos, etc.) To learn more about Classes, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/classes Para obtener más información sobre las clases, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/classes To learn more about Members, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members Para obtener más información sobre miembros, vea https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members A simple two-dimensional Vector class. Clase Vector bidimensional sencilla. The class's constructor is on the first line, El constructor de la clase está en la primera línea and takes two arguments: dx and dy, both of type 'double'. y toma dos argumentos: dx y dy, ambos de tipo "double". This internal field stores the length of the vector, computed when the Este campo interno almacena la longitud del vector, que se calcula cuando object is constructed se construye el objeto 'this' specifies a name for the object's self identifier. 'this' especifica un nombre para el propio identificador del objeto. In instance methods, it must appear before the member name. En los métodos de instancia, debe aparecer delante del nombre del miembro. This member is a method. The previous members were properties. Este miembro es un método. Los miembros anteriores eran propiedades. This is how you instantiate the Vector2D class. Así es cómo se crea una instancia de la clase Vector2D. Get a new scaled vector object, without modifying the original object. Obtener un nuevo objeto de vector a escala sin modificar el objeto original. Generic classes allow types to be defined with respect to a set of type parameters. Las clases genéricas permiten definir tipos con respecto a un conjunto de parámetros de tipo. In the following, 'T is the type parameter for the class. En el siguiente código, 'T es el parámetro de tipo para la clase. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/ Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/ This internal field store the states in a list. Este campo interno almacena los estados en una lista. Add a new element to the list of states. Agregar un nuevo elemento a la lista de estados. use the '<-' operator to mutate the value. Use el operador "<-" para mutar el valor. Get the entire list of historical states. Obtener la lista completa de estados históricos. Get the latest state. Obtener el último estado. An 'int' instance of the state tracker class. Note that the type parameter is inferred. Una instancia 'int' de la clase del rastreador de estados. Observe que se ha inferido el parámetro de tipo. Add a state Agregar un estado Interfaces are object types with only 'abstract' members. Las interfaces son tipos de objeto que solo tienen miembros "abstract". Object types and object expressions can implement interfaces. Los tipos de objeto y las expresiones de objeto pueden implementar interfaces. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/interfaces Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/interfaces This is a type that implements IDisposable. Este es un tipo que implementa IDisposable. This is the implementation of IDisposable members. Esta es la implementación de los miembros de IDisposable. This is an object that implements IDisposable via an Object Expression Este es un objeto que implementa IDisposable mediante una expresión de objeto Unlike other languages such as C# or Java, a new type definition is not needed A diferencia de otros lenguajes, como C# o Java, no es necesaria una nueva definición de tipo to implement an interface. para implementar una interfaz. The FSharp.Core library defines a range of parallel processing functions. Here La biblioteca FSharp.Core define un intervalo de funciones de procesamiento paralelo. Aquí you use some functions for parallel processing over arrays. se usan algunas funciones de procesamiento paralelo en matrices. To learn more, see: https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D Para obtener más información, vea: https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D First, an array of inputs. Primero, una matriz de entradas. Next, define a functions that does some CPU intensive computation. Después, defina una función que realice algunos cálculos con gran consumo de CPU. Next, do a parallel map over a large input array. Después, realice una asignación en paralelo en una matriz de entrada grande. Next, print the results. Después, imprima los resultados. Events are a common idiom for .NET programming, especially with WinForms or WPF applications. Los eventos son algo habitual en la programación para .NET, especialmente con aplicaciones de WinForms o WPF. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/events Para obtener más información, vea: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/events First, create instance of Event object that consists of subscription point (event.Publish) and event trigger (event.Trigger). Primero, cree una instancia del objeto Event que conste de un punto de suscripción (event.Publish) y un desencadenador de eventos (event.Trigger). Next, add handler to the event. Después, agregue un controlador al evento. Next, trigger the event. Después, desencadene el evento. Next, create an instance of Event that follows standard .NET convention: (sender, EventArgs). Después, cree una instancia de Event que siga la convención estándar de .NET: (sender, EventArgs). Next, add a handler for this new event. Después, agregue un controlador para este nuevo evento. Next, trigger this event (note that sender argument should be set). Después, desencadene este evento (tenga en cuenta que el argumento sender debe estar establecido).