質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.51%

  • Python 3.x

    6359questions

    Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

  • Elm

    2questions

    Elmは、Functional Reactive Programming(FRP)という概念を持つプログラミング言語です。JavaScriptにコンパイルされており、高度な対話型プログラムを簡単に作成するこができます。

python で type の設計

解決済

回答 3

投稿 編集

  • 評価
  • クリップ 2
  • VIEW 542

Kentaro0919

score 216

3.7 のリリースでtypeが改善されているらしいと読んだので、ドキュメンを確認していたのですが。 自分で新しいtypeを作るときどうしたらいいのですか。

他の言語ですが、elmだたこのようなものがあります。
Elm Union types 

type Answer = Yes | No

やりたいのは  TOP か ALL を受け取り、200だった場合はListを返す関数の場合のtypeを自分で定義することです。

TOP = NewType('TOP', str)
ALL = NewType('ALL', str)
Depth = Union[TOP, ALL]

Contract = NewType('Contract', str)
Contracts = Union[List[Contract], None]

def get_list_contracts(depth: Depth) -> Contracts:
    """ Contract API Resources depth is TOP or ALL"""
    r = s.get(urljoin(BASEURL,
                      f'/contract-api/v1/contracts/identifiers?depth={depth}'))
    return r.json() if 200 == r.status_code else None
    .....
  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • Kentaro0919

    2018/06/29 17:59 編集

    このコードはtypeなし版は正しく動いています。 これにtype をつけるならどうすればいいのですか? 引き数の可能性は2つしかないのですが、その場合typeはそうするのですか? boolは根拠もなく、違和感があるのです、bool が良いんですか? 自分で書いてみたんですけど、他の人が読むと変ですか?  type に価値を感じるのですが、どうか書いたらいいのかよく分かっていません。

    キャンセル

  • quiqui

    2018/06/29 18:08 編集

    動いているコードはまったくtypeヒントがついてない(つまりこのコードからtypeヒントを全部取っ払った)状態なんでしょうか。元は、strを引数にとって、strのリストかNoneを返す、という関数なんですね。

    キャンセル

  • Kentaro0919

    2018/06/29 18:22

    はい それが現状です。それでも動いているんですけど、渡すのはDepthのうちどちらか、返しているのは str のリストじゃなくて 意味のわかる Contracts  にして可読性をあげられればと思っています

    キャンセル

回答 3

+4

これでどうでしょう。

from typing import NewType


Answer = NewType("Answer", bool)
Yes, No = Answer(True), Answer(False)


def test(ans: Answer):
    pass


test(Yes)
test(No)
test(True)
test(False)
test(1)
test(0)
test(None)
test("Yes")

mypy結果

test.py:14: error: Argument 1 to "test" has incompatible type "bool"; expected "Answer"
test.py:15: error: Argument 1 to "test" has incompatible type "bool"; expected "Answer"
test.py:16: error: Argument 1 to "test" has incompatible type "int"; expected "Answer"
test.py:17: error: Argument 1 to "test" has incompatible type "int"; expected "Answer"
test.py:18: error: Argument 1 to "test" has incompatible type "None"; expected "Answer"
test.py:19: error: Argument 1 to "test" has incompatible type "str"; expected "Answer"

個人的な感想

test(True)test(False)もmypyを通らないのはちょっと意外でした。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/28 23:23

    この場合要素が2つだから それでもいけるのかと思ったんですけど、じゃあ要素が3つ以上になったら? そもそもBoolは違うのかと思ったんですよね

    むしろ こうなんですねか

    Depth = NewType("Depth", str)
    TOP, ALL = Depth("TOP"), Depth("ALL")

    キャンセル

  • 2018/06/29 00:46 編集

    非対称だったり3つ以上だったりするんだったらenumでいいんじゃないですか?

    キャンセル

checkベストアンサー

+3

Elmでのtype Answer = Yes | NoはAnswerが型で、YesとNoがコンストラクタですが、
PythonでAnswer = Union[Yes, No]と書いたら、AnswerもYesもNoも全部で、値は別に必要です。

def_type.py

from typing import List, NewType, Union

Top = NewType('Top', str)  # これは型
All = NewType('All', str)

Depth = Union[Top, All]

TOP = Top('TOP')  # これはインスタンス
ALL = All('ALL')

Contract = NewType('Contract', str)
Contracts = Union[List[Contract], None]


def get_list_contracts(depth: Depth) -> Contracts:
    return [Contract(f'/contract-api/v1/contracts/identifiers?depth={depth}')]


と定義して

from def_type import ALL, TOP, get_list_contracts

get_list_contracts(TOP)

get_list_contracts(ALL)

# mypyやPyCharmで警告がでる(がもちろん実行できる!!)
get_list_contracts('ALL')


とするのがいいのでは。


もっとも

from typing import List, NewType, Union

Depth = NewType('Depth', str)  # これは型

TOP = Depth('TOP')  # これはインスタンス
ALL = Depth('ALL')

Contract = NewType('Contract', str)
Contracts = Union[List[Contract], None]


def get_list_contracts(depth: Depth) -> Contracts:
    return [Contract(f'/contract-api/v1/contracts/identifiers?depth={depth}')]

で十分でしょ、と思います。


私は、strを渡すと実行時エラーが出る分Enumの方が好ましく思いますが。

def_enum.py

from enum import Enum
from typing import List, NewType, Union


class Depth(Enum):
    Top = 'TOP'
    All = 'ALL'


Contract = NewType('Contract', str)
Contracts = Union[List[Contract], None]


def get_list_contracts(depth: Depth) -> Contracts:
    return [Contract(f'/contract-api/v1/contracts/identifiers?depth={depth.value}')]

と定義して

from def_enum import get_list_contracts, Depth


get_list_contracts(Depth.Top)

get_list_contracts(Depth.All)

# mypyやPyCharmで警告がでて、実行時エラーにもなる
get_list_contracts('ALL')

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/30 07:55

    quiquiさん 腑に落ちました、enumもとってもメリットがありそうですね。 有難うございます。

    キャンセル

+2

やりたいことは特別な型を使わずとも Enum で解決すると思うのですが…。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/28 17:07

    type を使って バグが他のところで入り込むのを阻止したいので その回答ではあまり意味がないようです

    サンプルのコードはタイプをぬいて普通に動いているのですが 引数を間違えたりを阻止したいと思っています

    キャンセル

  • 2018/06/28 17:24

    意味がない、と感じるなら無視していただいていいのですが、Pythonでは型ヒントのみなので実行時には型の情報は役に立たないのでお気をつけください。

    キャンセル

  • 2018/06/28 17:36

    表現が拙くて嫌な思いをさせてすみません。

    from enum import Enum

    Depth = Enum('Depth', 'TOP ALL')


    確かにこれでもmypyは満足するようで、何も言われないようです。

    キャンセル

  • 2018/06/28 17:41

    いえ、なぜかはわかりませんが、Enumをすごく誤解してます。これは型ヒントではありません。

    https://docs.python.org/ja/3/library/enum.html#module-enum

    from enum import Enum, auto
    class Depth(Enum):
    TOP = auto()
    ALL = auto()

    Depth.TOP
    Depth.ALL

    使い方はよく調べてみてください。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.51%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

  • 解決済

    pandas のタイプ指定

    pandas.read_csv で、取り込むとき、dtype の指定が可能です。str,int 以外に何が使えるのかの一覧を探しています。どこを見ればいいのでしょうか?

  • 解決済

    pythonでの日本語処理について

    pythonで形態素解析を行おうと思い、janomeをインストールしました。 そして、形態素解析を行いたい文字列をMySQLから取得して、行おうとしたのですが、取得結果はリストに

  • 解決済

    pythonのスライスについて

    a = b[:,0] このようなコードがあったとき、どのようなことがおこなわれますか? bはこのコードがなりたつ何かだとすると なにだったら成り立ちますか? すみません、間

  • 解決済

    pythonを用いて、クラスタリングを行おうとすると、valueerror length of va...

    pythonを用いて、クラスタリングを行おうとすると、valueerror length of values does not match length of  index となり

  • 解決済

    Python 文字列表記の二進数をint型の十進数に変換したい

    Pythonで文字列表記の二進数をint型の十進数に変換したいのですが、そういったメソッドは用意されているのでしょうか? もしない場合、どのようにすれば効率的に求められるでしょ

  • 解決済

    Python 3.x 辞書のキー値によって変換する場合の高速化

    Pythonにて、辞書(dict({key,value})を使って、list型の全要素をValue値に変換する際の、 高速化が可能かどうかをご教授いただきたいです。 dict1

  • 解決済

    python 空のデータの比較式

    お世話になります。 web上からデータをひっぱってきてpycharmで表示させた所 <class 'list'>: [] と表示されました。 この変数を元に空のデータかどうかを

  • 解決済

    【Python】クラスの継承について

     前提・実現したいこと ・Python ・継承 ・super().の使い方 ・作成したクラスへの属性の追加  該当のソースコード class Pokemon: def

同じタグがついた質問を見る

  • Python 3.x

    6359questions

    Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

  • Elm

    2questions

    Elmは、Functional Reactive Programming(FRP)という概念を持つプログラミング言語です。JavaScriptにコンパイルされており、高度な対話型プログラムを簡単に作成するこができます。