Boxbase

From some searching, this apparently is easier said than done[1] (read: there doesn't appear to be a way to guarantee that the decorator wouldn't break due to various meta-programming etc).

Relevant links:

The RPython sub-set used to implement pypy (and other languages on the rpython run-time) has a decorator for @always_inline, and does automagic inlining:

https://mail.python.org/pipermail/pypy-commit/2014-November/086702.html

http://rpython.readthedocs.org/en/latest/translation.html#function-inlining

I'm not entirely clear on what is being governed by the pypy interpreter inline_trehshold -- if it's for both python code, or just for the interpreter:

http://pypy.readthedocs.org/en/latest/config/translation.backendopt.inline_threshold.html

http://boxbase.org/entries/2015/apr/20/rpython-jit-optimizations/

There's a project to do AST level optimizations at (bytecode) compile time:

https://pypi.python.org/pypi/astoptimizer

There's been talk of using a decorator to allow for function inlining:

[1] http://bugs.python.org/issue10399

The quoted paragraph is correct as written. E.g. if

f: ∀A, B. A -> B -> A

Then we have poly type π = "∀A, B. A -> B -> A".

The monotype μ = Str -> Int -> Str is a specialization of π, so we are also permitted to judge that f has type μ.

The type specialization operator "looks backwards", where we write sorta "π ≤ μ" because there's a kind of "subtyping" relationship (though most HM type systems don't actually contain subtyping) - anywhere that a term of type μ is used, a term of type π can be used instead because it can be specialized to μ.

I think this is a good complementary article: https://boxbase.org/entries/2018/mar/5/hindley-milner/ (it also links to three more academic sources for more context/detail)

Would you expect someone selling a product to give an accurate review? They have a conflict of interest. Give me a review from someone who does not have a conflict of interest.

I'll show you what I'm looking for:

https://labs.tomasino.org/mechanical-keyboards/

https://www.paritybit.ca/blog/vortex-vibe-keyboard

https://wiki.installgentoo.com/wiki/Mechanical_keyboards

https://www.vegard.net/the-ultimate-keyboard-part-2-switches/

http://boxbase.org/entries/2015/nov/30/ergodox/

Where are those types of search results?