Support `Any` as an alias for `object` to describe a default typeclass implementation

未關閉

#307 建立於 2021年9月13日 0 則留言 0 個 reaction 已指派 0 人在 GitHub 檢視

還沒有人認領這個 Issue。

評估

難度: 3/5
預估耗時: 1-2 天
新手友好度: 38/100

Issue 類型: 功能
描述清晰度: 基本清楚
活躍度: 停滯
技術堆疊: python
領域: tooling

研究方向

此 issue 沒有指出實作檔案或測試。先找出 @render.instance(object) 背後的處理邏輯以及現有的 typeclass instance 測試，然後追蹤 object 預設值是如何被辨識的。完成的標準是：@render.instance(Any) 的行為與 @render.instance(object) 等效，同時範例會分派至 fallback implementation。

由索引模型根據 Issue 內容生成。

描述

Context. In order to define a default implementation (the one used if no other implementation matches), we currently have to write something like this:

from classes import typeclass

@typeclass
def render(data_value) -> str:
    """Render a data value nicely."""

@render.instance(int)
def _render_int(data_value: int) -> str:
    return f'This is an integer: {data_value}'


@render.instance(object)
def _render_int(data_value: object) -> str:
    return f'No idea what this is: {data_value}'


assert render('BADOOM') == 'No idea what this is: BADOOM'

(this script should be runnable as-is.)

Decision. Support Any as a special case to replace object:

@render.instance(Any)
def _render_int(data_value: Any) -> str:    # type: ignore
    return f'No idea what this is: {data_value}'

Consequences.

Pro: The code will look a little bit more straightforward;
Contra: mypy with common settings might be unhappy about Any being used, but that can be silenced with type: ignore I suppose.

主要語言: Python
星號: 730
分支: 30
PR 合併指標: 30 天內沒有已合併 PR