Skip to content

Instantly share code, notes, and snippets.

ex.py::test_draw_law:
- during reuse phase (0.13 seconds):
- Typical runtimes: 16-105 ms, ~ 52% in data generation
- 2 passing examples, 0 failing examples, 0 invalid examples
- during generate phase (30.93 seconds):
- Typical runtimes: 15-33 ms, ~ 89% in data generation
- 998 passing examples, 0 failing examples, 13 invalid examples
- Events:
from typing import Any, TypeVar, Callable, Generic, Optional, TYPE_CHECKING
from returns.functions import compose
if not TYPE_CHECKING:
reveal_type = print
T = TypeVar('T')
N = TypeVar('N')
@sobolevn
sobolevn / hkt_in_python.py
Last active May 30, 2022 20:04
Higher Kinded Types in Python
import abc
import dataclasses
from typing import Callable, Generic, TypeVar
# TODO: pip install returns
# TODO: add `returns.contrib.mypy.returns_plugin` to mypy plugins
# TODO: read the docs at https://github.com/dry-python/returns
from returns.primitives.hkt import Kind1, SupportsKind1, kinded
_ValueType = TypeVar('_ValueType')
This file has been truncated, but you can view the full file.
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" /><link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous" /><title>Cosmic Ray Report</title></head><body><div class="container"><h1><p class="text-dark">Cosmic Ray Report</p></h1></div><div class="container"><div class="mb-1" id="summary_info___accordion"><div class="card"><a data-toggle="collapse" data-target="#summary_info___collapse_1" aria-expanded="true" aria-controls="summary_info___collapse_1" href="#"><div class="card-header" id="summary_info___heading_1"><button class="btn btn-outline-dark"><h4 class="m-0">Summary info</h4></button></div></a><div aria-labelledby="summary_info___heading_1" data-parent="#summary_info___accordion" class="collapse show" id="summary_info___collapse_1"><div class="card-body"><
======================================================================
ERROR: test_basic (test.test_typing.NewTypeCTests)
----------------------------------------------------------------------
Traceback (most recent call last):
File "/Users/sobolev/Desktop/cpython/Lib/test/test_typing.py", line 4017, in setUp
raise ValueError
^^^^^^^^^^^^^^^^
ValueError
======================================================================
» ./python.exe -m test -w -v test_typing
== CPython 3.11.0a4+ (heads/main-dirty:ef3ef6fa43, Jan 20 2022, 20:48:25) [Clang 11.0.0 (clang-1100.0.33.16)]
== macOS-10.14.6-x86_64-i386-64bit little-endian
== cwd: /Users/sobolev/Desktop/cpython/build/test_python_7182æ
== CPU count: 4
== encodings: locale=UTF-8, FS=utf-8
0:00:00 load avg: 1.84 Run tests sequentially
0:00:00 load avg: 1.84 [1/1] test_typing
test_all (test.test_typing.AllTests) ... ok

Правила сообщества PythoNN

Адрес чата: t.me/pytho_nn

О чём можно

  • мероприятия и проекты сообщества
  • Python и сопутствующая экосистема
  • новости, которые хотя бы косвенно связаны с Python
  • мир разработки вокруг
#!/usr/bin/env python3.8
# @generated by pegen from python.gram
import ast
import sys
import tokenize
from typing import Any, Optional
from pegen.parser import memoize, memoize_left_rec, logger, Parser

Intro

Working with open-source software is now a regular part of our lives. We can now say that open-source software has major market shares in almost all fields.

Verifying what is going on inside an application by yourself is especially important in DeFi, where transparency and openness are key philosophical factors. For example, any third-party security researcher can audit and verify the state of security of any open-source project. This creates a lot of trust among end users and other developers.

Everyone can help to improve the software they use if needed, which creates a connection between developers and forms a community around a piece of software.