<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Ty on SoloSoft</title><link>https://www.solosoft.dev/es/tags/ty/</link><description>Recent content in Ty on SoloSoft</description><generator>Hugo</generator><language>es-es</language><lastBuildDate>Fri, 01 May 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://www.solosoft.dev/es/tags/ty/index.xml" rel="self" type="application/rss+xml"/><item><title>Ty: El Verificador de Tipos Python Ultrarrápido de Astral Escrito en Rust</title><link>https://www.solosoft.dev/es/post/ty-python-type-checker-2026/</link><pubDate>Fri, 01 May 2026 00:00:00 +0000</pubDate><guid>https://www.solosoft.dev/es/post/ty-python-type-checker-2026/</guid><description>&lt;p&gt;El ecosistema de verificación de tipos de Python ha estado dominado durante mucho tiempo por mypy &amp;ndash; el verificador de tipos original que pionero la tipificación gradual para Python. Pero la implementación basada en Python de mypy siempre ha tenido dificultades con el rendimiento en bases de código grandes. &lt;strong&gt;Ty&lt;/strong&gt; es la respuesta de Astral a este problema: un verificador de tipos Python y servidor de lenguaje escrito completamente en Rust, diseñado para ser de 10 a 60 veces más rápido que las alternativas existentes.&lt;/p&gt;
&lt;p&gt;Astral, la empresa detrás del increíblemente popular linter Ruff, ha aplicado la misma filosofía de rendimiento impulsada por Rust a la verificación de tipos. Ty se basa en la profunda experiencia de Astral con herramientas Python en Rust, aprovechando la misma arquitectura multiproceso y patrones de cómputo incremental que hicieron de Ruff el estándar de la industria para el linting de Python.&lt;/p&gt;</description></item></channel></rss>