🦞🌯 Lobster Roll

Thread

Erg: A Python-compatible statically typed language (github.com)

Stories related to "Erg: A Python-compatible statically typed language" across the full archive.

Erg: A Python-compatible statically typed language (github.com)
Python is better typed than you think: error handling with mypy type hints (beepb00p.xyz)
Compiling typed Python (bernsteinbear.com)
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
ZubanLS: A Mypy-compatible Python Language Server built in Rust (zubanls.com)
Pythonect Programming Language (pythonect.org)
Purescript - small strongly, statically typed compile-to-JS language (functorial.com)
Why Python is eating other languages' lunch in scientific computing (r-bloggers.com)
GODISNOWHERE: A look at a famous question using Python, Google and natural language processing (ileriseviye.wordpress.com)
30 Python Language Features and Tricks You May Not Know About (sahandsaba.com)
Python is now the most popular introductory teaching language at top U.S. universities (cacm.acm.org)
NatI: multi-language voice control system for Ubuntu written in Python (github.com)
PureScript: a statically typed language which compiles to JavaScript (github.com)
Is Python strongly typed? (stackoverflow.com)
hask - Haskell language features and standard libraries in pure Python (github.com)
Efene: an Erlang VM language that embraces the Zen of Python (medium.com)
Little: statically typed, C-like scripting language. (little-lang.org)
Lambdascript: A new pure functional language built on the top of Python3 (github.com)
Modifying the Python language in 6 minutes (hackernoon.com)
Curry - Statically-typed, Functional and Logic Programming Language (www-ps.informatik.uni-kiel.de)
Python decorators, the right way: the 4 audiences of programming languages (codewithoutrules.com)
Natural Language Processing with Python updated for Python 3 and NLTK 3 (nltk.org)
Microsoft Considers Adding Python as an Official Scripting Language to Excel (bleepingcomputer.com)
Can you write correct software in a statically typed language? (drmaciver.com)
Unifying Analytic and Statically-Typed Quasiquotes (infoscience.epfl.ch)
Abstract: "Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and deconstruct program fragments using quoted code templates expressed in the syntax of the manipulated language. We ...
Python vs. Ruby: A Battle to The Death (Gary Bernhardt, 2010) (vimeo.com)
Not a battle to the death, obv. Instead, an exploration of [this wonderful observation](https://vimeo.com/9471538#t=871s) (link starts 1 minute early for context): > I'm afraid that what this means is that the very attrbutes of Ruby that I find distasteful are what give rise to all the wonderful ...
Configuring Emacs, lsp-mode and the python language server (vxlabs.com)
An Objective Argument Against Python-style Indentation
"Some observers objected to Go's C-like block structure with braces, preferring the use of spaces for indentation, in the style of Python or Haskell. However, we have had extensive experience tracking down build and test failures caused by cross-language builds where a Python snippet embedded in ano...
mypy - Optional Static Typing for Python (mypy-lang.org)
Enforcing Single Responsibility Principle in Python (sobolevn.me)