Practicando el tipado estático

Clase 6 de 21 • Curso Profesional de Python

Orazio Cappadonna Cantor

student•

Yo lo quise hacer de la manera mas profesional posible integrando pruebas unitarias para testear los metodos, y seria de la siguiente forma:

Archivo palindrome.py:

"""Python module to know if a string is palindrome"""


def is_palindrome(string: str) -> bool:
    """Returns if the string is palindrome (True or False)"""
    string = string.lower()
    string = string.replace(' ', '')
    return (string == string[::-1])


def run():
    print(is_palindrome('Hola mundo!'))


if __name__ == '__main__':
    run()

Archivo prime_number:

"""Python module to know if a number is prime"""


def is_prime(number: int) -> bool:
    """Returns True if number is prime or False if the number is not prime"""
    results_list = [x for x in range(2, number) if number % x == 0]
    return len(results_list) == 0


def run():
    number: int = 73
    number_is_prime: bool = is_prime(number)
    print(f'Is {number} a prime number? {number_is_prime}')


if __name__ == '__main__':
    run()

Y aqui el archivo test.py:

"""Testing the methods"""


import unittest
from unittest import TestCase
from palindrome import is_palindrome
from prime_number import is_prime


class TestingFunctions(TestCase):
    """Tests to know if the methods works well"""
    
    def test_is_palindrome(self):
        """Testing is_palindrome method"""
        self.assertEqual(is_palindrome('Ligar es ser agil'), True)
        self.assertEqual(is_palindrome('Arepera'), True)
        self.assertEqual(is_palindrome('Esto no es un palindromo'), False)
        self.assertEqual(is_palindrome('ESto tampoco es un palindromo'), False)
        self.assertEqual(is_palindrome('Ana'), True)

    def test_is_prime(self):
        """Testing is_prime method"""
        self.assertEqual(is_prime(100), False)
        self.assertEqual(is_prime(200), False)
        self.assertEqual(is_prime(53), True)
        self.assertEqual(is_prime(23), True)
        self.assertEqual(is_prime(45), False)
        self.assertEqual(is_prime(32), False)
        self.assertEqual(is_prime(142), False)


if __name__ == '__main__':
    unittest.main()

Y por ultimo los resultados de los tests:

..
----------------------------------------------------------------------
Ran 2 tests in 0.001s

OK

Miguel Sanchez

student•

Excelente aporte :0

Sebastián Andrade

student•

Genial!

Ernesto Crespo

student•

Una herramienta muy útil para validar código antes de subirlo a un repositorio git es pre-commit. Para usarlo con mypy pueden revisar artículo. Dejo un artículo con varias reglas de pre-commit para python enlace

Jose Manuel Acevo Garcia

student•

Muchisimas gracias por la info....1saludo

Bryan Estiven Silva Mercado

student•

Excelente articulo, voy a utilizarlo para refactorizar un viejo proyecto que tengo en python

Carlos José Tun Pinzón

student•

Modulo mypy

El modulo mypy se complementa con el modulo typing ya que permitirá mostrar los errores de tipado débil en Python.

Para revisar si algún archivo contiene errores de tipado ejecutamos en la línea de comandos lo siguiente:

mypy archivo.py --check-untyped-defs

Como resultado nos mostrará si existe algún error de compatibilidad de tipos.

Luis Alejandro Vera Hernandez

student•

Gracias por el resumen

Emmanuel Corral Marco

student•

Practice the static type

Following the tips of intermediate python course, from terminal:

mkdir new_folder
git init
py -m venv venv
touch .gitignore type in .gitignore file

# Ignore the enviroment files when you push to github.
venv

avenv (alias to activate venv: .\venv\Scripts\activate)
pip install mypy
pip list (to check mypy)
touch palindrome-py
code palindrome-py
Make your code!!!!
mypy palindrome-py --check-untyped-defs

Omar Rodríguez Aldama

student•

muy buen resumen de la clase

Luis Alejandro Vera Hernandez

student•

Esto me va a servir llevarme hasta acostumbrarme a los comandos

Jonathan Alemán

student•

Mi aporte en código :D . ¡Hola a todos! De esta forma realice el reto. SI tienen alguna sugerencia es más que bienvenida :) (

Espero les sirva ¡Nunca paren de aprender!

Miguel Rodríguez

student•

Genial, aunque creo que sale sobrando la parte de -> bool , ya que al final no retornas un valor booleano.

Jonathan Alemán

student•

@AlexRods Tienes razón. Lo había intentado con otra forma en dónde si lo ocupaba, pero al final me decidí por esta, ya que a mi parecer me fue más fácil y corta. Agradezco tu observación

Carlos Rodríguez

student•

Recomiendo mucho el linter de python pylint es super exigente en la escritura de código, te ayuda escribir código de calidad:a

pip install pylint

Luego generan el archivo de configuración de pylint si quieren omitir algunas reglas o modificarlas:

pylint --generate-rcfile > .pylintrc

Luego no se les olvide que una vez teniendo todos los módulos instalados deben generar sus requirements.txt.

pip freeze > requirement.txt

Eduard Giraldo Martínez

student•

Ohh interesante, lo intentaré 🚀

Luis Valencia

student•

Excelente recomendacion

Henry Daniel

student•

Reto 1

def is_primo(num:int)->bool:
    result=[i for i in range(1,num+1) if num%i==0]
    return len(result)==2

def run():
    print(is_primo(13))

if __name__=='__main__':
    run()

Juan David Diaz Ramos

student•

Debes evaluar cuando ingresas el número 1 ya que este no es primo. Saludos.

Edú Pilares Quispe

student•

Si ingresa el número 1 el len no le daría 2 así que el código está perfecto

Heberto Nicolás Hernández Andrade

student•

Para preparar nuestro entorno de trabajo se siguió el siguiente procedimiento:

Se crea una carpeta para el desarrollo del proyecto.
Se inicializó un repositorio de git con "git init".
Se creó un ambiente virtual con "python3 -m venv venv".
Se creó un archivo .gitignore con "touch .gitignore".
Dentro del archivo .gitignore se coloca la carpeta venv mediante la siguiente línea código: "venv/"
Se activó el ambiente virtual con ".\venv\Scripts\activate".
Se instaló mypy mediante "pip install mypy".
Se creó el archivo palindrome. py.

Víctor Isaac Arias García

student•

Para los que estamos utilizando WSL2 y nos dio problemas inicializar el entorno virtual aca dejo el comando

. venv/bin/activate

GABRIEL OMAR TARAPUES RODRIGUEZ

student•

Que error te dio?

Gonzalo Israel Pinto Salazar

student•

Genio gracias... gracias...

David Silva Apango

student•

Este es mi aporte, traté de usar la menor cantidad de líneas de código considerando lo siguiente:

Como no se necesita dividir entre el número 1 y el mismo que estamos trabajando, NO los incluyo dentro del rango.
En caso de que el número sea 1 NO entra en el ciclo for y se declara de inmediato que no es primo.
En caso de que se encuentre un sólo módulo igual a cero salimos del ciclo inmediatamente, ya que no es necesario seguir buscando (con un contraejemplo basta).

def prime_number(number: int) -> bool:
    for i in range(2,number):
        if number % i == 0:
            return False
        return True
    return False

def run():
    n: int = int(input('Escribe un número'))
    if prime_number(n):
        print("Es primo")
    else:
        print("No es primo")

if __name__ == '__main__':
    run()

Fernanda Arteaga Guivin

student•

bueniisimo bastante concreto!

Roberto Francisco Quijano Vicente

student•

Solución del reto con el teorema de Wilson:

def isPrime(number: int) -> bool:
    """
    Function that applyes the Wilson's Theorem 
    to determine if a number is prime.
    """
    factorial = number -1
    for i in range(2, number-1):
        factorial *= i
    
    return (factorial + 1) % number == 0


def run():
    print(isPrime(18))


if __name__ == '__main__':
    run()

Gabriel Missael Barco

student•

Practicando el tipado estático

Para checar que el código respeta el tipado que especificamos, debemos correrlo con mypy <nombre>.py --check-untyped-defs 👀. El módulo mypy nos arroja errores de tipado, por ejemplo:
```
palindrome.py:9: error: Argument 1 to "is_palindrome" has incompatible type "int"; expected "str"
Found 1 error in 1 file (checked 1 source file)
```

Solución al reto:

def is_prime(number: int) -> bool:
    for i in range(2, number):
        if number % i == 0:
            return False
    return True

def main():
    # print(is_prime('Hola'))
    print(is_prime(5))

if __name__=='__main__':
    main()

fidel angel ochoa

student•

excelente, como se podria hacer con un list comprenhension?

David Rosas

student•

Me marco bien el error de tipado con un str y hasta metiendole float. Pero si a la funcion le meto un bool, ya sea True o False, me dice que todo esta bien:

Success: no issues found in 1 source file

Por que sucede esto?

Liliana Molina Camacho

student•

Me pasó lo mismo, luego revisando la función, vi que tenía un espacio entre : y str, se lo quité y con eso si me marcó el error.

Bruno Nicolás Barajas Correa

student•

Creo que nos marca lo de Succes cuando realmente se compilo el código y no encontró ningún problema. Lo veo como bandera verde cuando nos sale eso, para después ejecutarlo de forma normal.

Lino Tomás Vazquez Ponce

student•

ahora que lo pienso no se si debí importar typing pero bueno...acá está

from typing import *

def is_prime(num: int)-> bool:
    if num == 2:
        return True
    elif num == 1 or num % 2 == 0:
        return False
    else:
        return True

if __name__ == "__main__":
    print(is_prime(4))

fidel angel ochoa

student•

muchas gracias, me parecio super simple el codigo, te comparto lo que le agregue leyendo a otros compañeros.

def is_prime(num: int) -> bool:
    if num == 2:
        return True
    elif num == 1 or [i for i in range(2, num // 2) if num % i == 0]:
        return False
    else:
        return True

if __name__ == "__main__":
    number = int(input('Write a number to guess if is prime: '))
    print(f'Is {number} a prime number?')
    print(is_prime(number))```

Diego Andrés Rojas González

student•

Si estas usando powershell y no puedes activar el entorno virtual prueba con esto:

Abre powershell en modo administrador
ejecuta el siguiente comando

Set-ExecutionPolicy Unrestricted -Force

Puedes encontrar mas información en https://docs.microsoft.com/en-us/powershell/...

André Thomas Gil Cifuentes

student•

Esta es mi solucion al reto, tambien puse a prueba mi creatividad para hacer el codigo lo mas efectivo posible y consegui un time complexity de O(sqrt(n))

from math import sqrt

def is_prime(n: int) -> bool:

    if n == 0 or n == 1:
        return False
    if n == 2 or n == 3:
        return True
    if n % 2 == 0 or n % 3 == 0:
        return False
    # Revisamos si el numero esta compuesto por
    # un numero primo diferente de 2 y 3.
    for i in range(5, int(sqrt(n)) + 1):
        if n % i == 0 or n % (i + 2) == 0:
            return False
    return True


def main():
    if is_prime(4):
        print("El numero es primo")
    else:
        print("El numero NO es primo")


if __name__ == '__main__':
    main()

Jhon Edward Bedoya

student•

🟢 @ AndrE_ Well done, but the code is a bit complex still. Try to make it more friendly and easy to read. 🦾

Kevin Tovar

student•

def is_prime(number: int) -> bool:
    n = 0
    for num in range(1, number + 1):   
        if number % num == 0:
            n += 1
    return n == 2


def run():
    print(is_prime(5))


if __name__ == '__main__':
    run()

Joseph Lázaro Ricardo

student•

Lo hice como tú, sencillito para no confundir a la banda.

Sergio Garnica

student•

Una herramienta muy útil para revisar posibles errores en Python, como por ejemplo el tipo de datos, es utilizar Unit Testing.

Estos dos videos lo explican muy bien: https://www.youtube.com/watch?v=1Lfv5tUGsn8 https://www.youtube.com/watch?v=6tNS--WetLI

Nelson Porfirio Sanchez Cedron

student•

Aquí les dejo mi código del reto de la clase. Estoy usando el Teorema de Wilson para la prueba de primalidad.

def is_prime(number: int) -> bool:
    factorial = 1
    if number == 0:
        return false
    for i in range(1, number):
        factorial = factorial * i
    factorial += 1
    if factorial % number == 0 and number > 1:
        return True
    else:
        return False

Javier Pajarito Caicedo

student•

¿Qué diferencia hay entre escribir la sintaxis para tipado estático y poner un int() cuando pedimos el dato como se ve en la imagen?

Andrés Felipe Martínez Salazar

student•

El int("598") es en realidad un cast, esto convierte el string a un int en tiempo de ejecución, en cambio la sintaxis de tipado estático es mas una guía para los desarrolladores pero no afecta en tiempo de ejecucion, te das cuenta si haces algo tal que asi:

numero : int = "598"
print(type(numero))

veras que imprime <class 'str'> porque aunque le digas que es un entero en realidad en tiempo de ejecucion le estas asignando un string.

Santiago Ramos Morales

student•

Estás casteando de un tipo a otro, está bien pero vas a tener un código muy tedioso de leer, créeme, donde trabajé tenían algo así en el software de timbrado de documentos fiscales y era un dolor de cabeza.