|6 days ago||3 days ago|
|The Unlicense||GNU General Public License v3.0 or later|
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.
Tools for creating a programming language in rust
8 projects | reddit.com/r/rust | 15 Nov 2022
Someone showed me this repo with a bunch of lang dev libraries a while ago. I haven't done anything with it personally, but it may be of interest to you https://github.com/Kixiron/rust-langdev
Rust libraries to build a compiler for my language?
3 projects | reddit.com/r/rust | 21 Aug 2022
Good textbook with implementations of OO type system?
2 projects | reddit.com/r/ProgrammingLanguages | 11 Feb 2022
How to write a compiler or interpreter in rust
8 projects | reddit.com/r/rust | 26 Dec 2021
Make A Langage
2 projects | reddit.com/r/rust | 31 Oct 2021
https://github.com/Kixiron/rust-langdev for additional resources and libraries
Can i use rust to write my compiler??
8 projects | reddit.com/r/rust | 31 Aug 2021
Absolutely. For a non-exhaustive list of other languages written in Rust, there is https://github.com/alilleybrinker/langs-in-rust. If you are looking for libraries to help you along the way, check out https://github.com/Kixiron/rust-langdev.
Does anyone know if scala parser combinators library works for scala 3?
3 projects | reddit.com/r/scala | 23 Dec 2020
not sure if i’m really convinced of this, rustc being written in rust means there are a lot of great language dev abstractions that have made their way to the ecosystem. particularly for a language frontend, i would argue rust provides a fantastic experience: there are dedicated lexer generators, parsers of all sorts, including some with great error messages out of the box, several variations on rustc-style diagnostic reporting, among others. in fact, as far as frontend implementation, i would argue rust is significantly easier to get off of the ground with than haskell, which has a steep learning curve for some of the really powerful libraries most useful for working with large AST datatypes, and some frankly crusty tools as the “best in class” for lexer and parser generation. granted, parser combinators in haskell are a bit more convenient than in rust, but i think the language dev story as a whole for rust is really solid.
The type system is a programmer's best friend
9 projects | reddit.com/r/programming | 1 Nov 2022
I recently used mypy extensively on a project and it was a great experience. Optional typing is a big win imo.
My project TOMLscript is a small showcase for using a toml config file to execute programs
2 projects | reddit.com/r/Python | 10 Oct 2022
def get_by_path(root: X, items: Sequence[str], default: Optional[Any] = None): """Access a nested object in root by item sequence.""" try: # TODO: Can't get this function typed correctly. # Maybe related to: https://github.com/python/mypy/issues/4673 return reduce(operator.getitem, items, root) # type: ignore except KeyError: return default
What code can I read to upgrade my Python 3 skills and better understand how everything works under the hood?
3 projects | reddit.com/r/learnpython | 6 Oct 2022
Show HN: Refurb – A tool for refurbishing and modernizing Python codebases
5 projects | news.ycombinator.com | 27 Sep 2022
The reason I didn't just create a pylint/flake8/mypy plugin is because they all use a very specific methodology, whereas I wanted the freedom to architect it the way I wanted. Also, I really needed good type information, which is why I used mypy as the AST parser/type checker.
What aspects of Python should I learn that are most important for Data Engineering?
4 projects | reddit.com/r/dataengineering | 24 Sep 2022
Python is one of the most accessible programming l code within Python. My favorite is dagster, which forces you to write functional blocks of code with superior features—coming from a more SQL, T-SQL, and PL-SQL background. As a data engineer, I'd say you'd not expect to write perfect code; it's better to know the Big-O annotation to avoid long-running data pipelines, even if your code doesn't look the prettiest. Static types such as mypy might be another good one to know, as it will detect errors pre-runtime, which is the biggest problem of Python.
Makefile for your Django project
9 projects | dev.to | 18 Sep 2022
lint: Runs flake8 linter and mypy type checker.
Using Mypy in Production
11 projects | news.ycombinator.com | 22 Aug 2022
I am moving all my open source projects to `mypy --strict`. Here's the diff of adding basic / --strict mypy types:
As for return on investment - not sure yet. What I like about it is:
- completions (through annotating)
- typings can be used downstream (since the above are all now typed python libraries)
- maintainability and bug finding. Easy to wire into CI and run locally.
There's a thread on mypy, "--strict is too strict to be useful", https://github.com/python/mypy/issues/7767. I'm not sure if I walked away with that impression. If I have a function that could potentially return `None` (`Optional[str]` or `str | None`) - it makes sense for the user to handle such a case. They could:
assert response is not None
A Python-compatible statically typed language erg-lang/erg
27 projects | news.ycombinator.com | 13 Aug 2022
Mypy can work really well in many cases, but we seem to get bitten by bugs on a daily/weekly basis. There are >1,000 currently open on Github , so it doesn't take much effort to hit one. And having the type-checker tell you that something's not valid when it actually is is a real turn-off...means that we end up with code that's riddled with "# type: ignore", which kind of defeats the point.
Pylance (the VSCode built-in linter, based on Pyright I believe) tends to do a better job than Mypy, but not as easy to integrate into CI. It's a real shame that the Python ecosystem doesn't have anything nearly as robust as TypeScript.27 projects | news.ycombinator.com | 13 Aug 2022
[D] What is some cool python magic(s) that you've learned over the years?
7 projects | reddit.com/r/Python | 29 Jul 2022
Typehints + mypy
What are some alternatives?
pyright - Static type checker for Python
pyre-check - Performant type-checking for python.
black - The uncompromising Python code formatter
pytype - A static type analyzer for Python code
Flake8 - flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
typing - Python static typing home. Hosts the documentation and a user help forum.
pydantic - Data parsing and validation using Python type hints
PythonBuddy - 1st Online Python Editor With Live Syntax Checking and Execution
pylama - Code audit tool for python.
bandit - Bandit is a tool designed to find common security issues in Python code.
mypyc - Compile type annotated Python to fast C extensions
fastapi - FastAPI framework, high performance, easy to learn, fast to code, ready for production