decorator-factory/pyright-playground

Try Pyright in your browser

I'm a software engineer. Some of my interests include:

• Formal languages
• Functional programming
• Web development

Writing

• typing-tips, a collection of articles about Python's gradual typing system
• py-simpleparser — my hot take on parsing unstructured data

Linters

• flake8-useless-assert, a flake8 plugin to detect bad assert statements

• flake8-pep585, a flake8 plugin to find deprecated imports from typing (PEP 585)

• mypy-plugin-attempt — a demo plugin for mypy, a Python type checker

• pyright-playground (archived) lets you play with Pyright, a Python type checker, in your browser.

Experimental stuff and explorations

• lanim is a library for making animations in Python, built on functional programming principles
• elm-markup-language-demo — a Lisp-like markup language for writing articles (project for learning Elm)
• py-ast-rule-engine — search for patterns in Python code using a YAML specification
• ts-generic-rep — type-level lambdas, map, filter and reduce for TypeScript
• py-bot-command-parser — combinator parser for chat bot commands
• rs-interpreter-experiments — using different strategies to evaluate the same expression in Rust

Other platforms

• ⛳ Code Golf
• 🥞 Stack Overflow

Contact me

• Email: [email protected]
• Telegram: @decorator_factory
• Discord: decorator_factory

pyright-playground's Issues

Remove backend requirement?

Hello; great site! Super helpful for sharing python typing examples with friends.

Out of curiosity, is there any reason this needs the NodeJS backend? Could the pyright engine be built with webpack and run in the browser? You could set aggressive cache headers on the frontend JS/HTML, and your server costs would drop to near-zero. :-)

options menu

currently there's no way to specify of these options

Playground demo is temporarily down

I'll try to get it back up soon

Is the demonstration out-of-service?

Hi. Thanks for publication of your awesome service.

I want to try out pyright on your demonstration https://pyright-playground.decorator-factory.su/, but the server responded nothing. Is the demonstration in service now?

$ ping pyright-playground.decorator-factory.su
PING pyright-playground.decorator-factory.su (37.230.116.93): 56 data bytes
Request timeout for icmp_seq 0
Request timeout for icmp_seq 1
Request timeout for icmp_seq 2
Request timeout for icmp_seq 3
^C
--- pyright-playground.decorator-factory.su ping statistics ---
5 packets transmitted, 0 packets received, 100.0% packet loss
$ curl -v https://pyright-playground.decorator-factory.su
*   Trying 37.230.116.93:443...
# No response

Certificate expired on pyright playground site

It looks like the SSL certificate has expired, so accessing the pyright playground results in a scary message from the browser.

site is down

the site displays the following error:

upstream connect error or disconnect/reset before headers. reset reason: connection failure, transport failure reason: delayed connect error: 110

Re-engineer the frontend

There are currently multiple issues with the frontend:

1. The editor is a bit janky, and it doesn't work well on mobile
2. I hate Rollup or anything else that requires excessive configuration, and I wasn't able to figure out how to resolve Rollup hanging on build

`rollup` hangs for no apparent reason

I was trying to Dockerize the project and I ran into a problem here:

pyright-playground/Dockerfile

Lines 16 to 22 in 5a10314

	# COPY frontend /src/frontend
	# WORKDIR /src/frontend
	# RUN npm i
	# RUN npm run build
	# RUN mkdir -p /build/frontend
	# RUN cp -r /src/frontend/public /build/frontend
	# RUN rm -rf /src/frontend

npm run build (which runs npm exec -- rollup -c) hangs after completing the build. I have no idea why that's happening or how to debug it.