Implementar la función prod :: Integer ->Integer, cuya especificación es la siguiente: problema prod (n:Z) : Z { requiere: {n ≥ 1} asegura: {res = Q2n i=1(i 2 + 2i)} }

prod :: Integer -> Integer
prod n = 
  if n==1 then 
    (1 + 2)
  else
    (n**2 + 2*n) * prod(n-1)

Haskell

Access all features through one powerful interface — lightning-fast, incredibly intuitive, and designed for productivity.

Feature Preview

Generate

More than just a code generator. A tool that helps you with a wide range of tasks. All in one place.

Function from Description: Generate a function just by describing what is needs to do. Choose of many programming languages.
Text Description to SQL Command: Create a SQL command from a description.
Translate Languages: Translate code to any programming language.
Generate HTML from Description: Generate small HTML from Description.
Code to Explanation: Any code explained in plain english.
Fix invalid Code: To spot a missing character somewhere can be frustrating. This feature will help you to fix it.
Get Test for Code: This feature will help you to create tests for your code.
Class from Description: Generate a class just by describing what is needs to do. Choose of many programming languages.
Regex from Description: Create a regex from a description like "check for email".
Regex to Explanation: Create a plain english explanation from a regex.
Git Command from Description: Find the Git Command you are looking for from a description.
Linux Command: Get the linux command from a description.
Function from Docstring: Provide a docstring to generate the actual function.
Add typing to code: This feature will help you to add typing to your code.
Get Language from Code: Get the programming language from a code.
Time complexity: Get time complexity.
CSS from Description: Generate CSS from Description.
Meta Tags from Description: Generate Meta Tags from a Description.