Type Annotationsのすすめ

1
2
3
4
def close_kitchen_if_past_close(point_in_time: datetime.datetime): 
    if point_in_time >= closing_time():
        close_kitchen()
        log_time_closed(point_in_time)

1
2
3
4
5
6
7
8
9
import datetime
import random

def schedule_restaurant_open(open_time, workers_needed):
    workers = find_workers_available_for_time(open_time)
    # Use random.sample to pick X available workers
    # where X is the number of workers needed.
    for worker in random.sample(workers, workers_needed):
        worker.schedule(open_time)

1
2
3
4
5
6
7
8
9
10
import datetime
import random

def schedule_restaurant_open(open_time: datetime.datetime,
                             number_of_workers_needed: int):
    workers = find_workers_available_for_time(open_time)
    # Use random.sample to pick X available workers
    # where X is the number of workers needed.
    for worker in random.sample(workers, number_of_workers_needed):
        worker.schedule(open_time)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
def find_workers_available_for_time(open_time: datetime.datetime):
    workers = worker_database.get_all_workers()
    available_workers = [worker for worker in workers
                           if is_available(worker)]
    if available_workers:
        return available_workers

    # fall back to workers who listed they are available
    # in an emergency
    emergency_workers = [worker for worker in get_emergency_workers()
                           if is_available(worker)]

    if emergency_workers:
        return emergency_workers

    # Schedule the owner to open, they will find someone else
    return [OWNER]

1
def find_workers_available_for_time(open_time: datetime.datetime) -> list[str]:

1
2
3
4
5
6
7
workers: list[str] = find_workers_available_for_time(open_time)
numbers: list[int] = []
ratio: float = get_ratio(5,3)
number: int = 0
text: str = "useless"
values: list[float] = [1.2, 3.4, 6.0]
worker: Worker = Worker()

1
2
3
4
{
    // Typecheker
    "python.analysis.typeCheckingMode": "standard",
}

1
2
a: int = 5
a = 'string'

1
2
Expression of type "Literal['string']" cannot be assigned to declared type "int"
"Literal['string']" is incompatible with "int"

1
2
a: int | None = 5
a = None

1
2
3
4
def read_file_and_reverse_it(filename: str) -> str:
    with open(filename) as f:
        # Convert bytes back into str
        return f.read().encode("utf-8")[::-1]

1
2
Incompatible return value type
(got "bytes", expected "str")

1
2
3
4
5
6
7
# takes a list and adds the doubled values
# to the end
# [1,2,3] => [1,2,3,2,4,6]
def add_doubled_values(my_list: list[int]):
    my_list.update([x*2 for x in my_list])

add_doubled_values([1,2,3])

1
"list[int]" has no attribute "update"

1
2
3
4
5
6
7
8
9
10
11
12
13
14
# The restaurant is named differently
# in different parts of the world
def get_restaurant_name(city: str) -> str:
    if city in ITALY_CITIES:
            return "Trattoria Viafore"
    if city in GERMANY_CITIES:
            return "Pat's Kantine"
    if city in US_CITIES:
            return "Pat's Place"
    return None


if get_restaurant_name('Boston'):
    print("Location Found")

1
2
Incompatible return value type
(got "None", expected "str")

1
2
def get_restaurant_name(city: str) -> str | None:
    ...

統計 Python math Linux Ubuntu 20.04 LTS Shell English git 方法論 Ubuntu 22.04 LTS 統計検定 競技プログラミング フーリエ解析 前処理 SQL coding コミュニケーション Network ssh 将棋 Data visualization Docker Econometrics VSCode statistical inference GitHub Pages apt development システム管理 Coffee cloud 数値計算 素数 Book Font Metrics Poetry Ubuntu 24.04 LTS architecture aws shell systemctl テンプレート データ構造 ポワソン分布 会計分析 文字コード 環境構築 論文 App Bayesian Dynamic Programming Keyboard Processing R Steam filesystem quarto regex