typing VS unboxed

Compare typing vs unboxed and see what are their differences.

typing

Python static typing home. Hosts the documentation and a user help forum. (by python)

unboxed

experimenting with unlifted classes via backpack (by ekmett)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
typing unboxed
38 3
1,529 36
1.7% -
8.8 0.0
12 days ago over 1 year ago
Python Haskell
GNU General Public License v3.0 or later GNU General Public License v3.0 or later
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

typing

Posts with mentions or reviews of typing. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-21.

unboxed

Posts with mentions or reviews of unboxed. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-09-26.
  • How can Haskell programmers tolerate Space Leaks?
    5 projects | /r/haskell | 26 Sep 2021
    With Lev as defined here.
  • [ANNOUNCE] GHC 9.2.1-rc1 is now available!
    2 projects | /r/haskell | 23 Aug 2021
    Check out unboxed. I think that could be a good starting point. I recently updated it to the 9.2.1 alpha here: https://github.com/noughtmare/unboxed/commit/b6338e68540a2c62a6aae6ded0dcdc3b83106916. I should check again if the this issue is fixed in this rc.
  • Principles of Programming Languages - Robert Harper
    4 projects | /r/haskell | 29 Jul 2021
    I tried it out and it is really not usable yet unfortunately. There are several problems. I think the main issue is that you need two versions of all functions and data types. And currently classes like Num are not levity-polymorphic (there is a proposal about this), so you can't use + to add two "real" inductive peano naturals. One problem with making type classes levity-polymorphic is that top-level bindings can't be levity-polymorphic, so mempty cannot be levity-polymorphic. A workaround is to use a type class to levitate levity-polymorphic variables, but that has disadvantages too. Levitated values are not shared and must be recomputed at every call site.

What are some alternatives?

When comparing typing and unboxed you can also consider the following projects:

mypy - Optional static typing for Python

pyre-check - Performant type-checking for python.

fp-ts - Functional programming in TypeScript

pydantic - Data validation using Python type hints

mashumaro - Fast and well tested serialization library

Telethon - Pure Python 3 MTProto API Telegram client library, for bots too!

intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform

flask-parameter-validation - Get and validate all Flask input parameters with ease.

datamodel-code-generator - Pydantic model and dataclasses.dataclass generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.

pyannotate - Auto-generate PEP-484 annotations

type4py - Type4Py: Deep Similarity Learning-Based Type Inference for Python

pytype - A static type analyzer for Python code