Any way to declare type of path parameters ?

[buxx]

Story

When declare a path with regex, parameters can't be delcared with a type.

Actual behaviour

All path parameters are string.

Steps to reproduce

from aiohttp import web


async def handle(request):
    name = request.match_info.get('id', 42)
    text = str(type(name))
    return web.Response(text=text)

app = web.Application()
app.add_routes([web.get('/', handle),
                web.get(r'/{id:\d+}', handle)])

web.run_app(app)

$ http :8080/42
HTTP/1.1 200 OK
Content-Length: 13
Content-Type: text/plain; charset=utf-8
Date: Tue, 20 Nov 2018 16:33:58 GMT
Server: Python/3.7 aiohttp/3.4.4

<class 'str'>

My question/issue

It exist a way to declare the type of path parameters ? I would like obtain an int in this example.

[aio-libs-bot]

GitMate.io thinks the contributor most likely able to help you is @asvetlov.

Possibly related issues are #752 (There is no way to 'del_route'), #15 (No way to close a response on a timeout), #1325 ([QUESTION] WebSocketResponse timeout parameter), #977 (Change connector's limit parameter), and #836 (Provide a way to associate context with requests).

[asvetlov]

match_info always contains strings. URL path is a string, path part is a string too.

If you need to cast a parameter to another type -- please do it (and handle conversion errors) explicitly.
Like

str_id = request.match_info.get('id', '42')
try:
   int_id = int(str_id)
except ValueError:
   ...

Extra benefit is that explicit type casting works very well with mypy type checker.

[buxx]

Okay. Thank's for your time @asvetlov .

[lock]

This thread has been automatically locked since there has not been
any recent activity after it was closed. Please open a new issue for
related bugs.

If you feel like there's important points made in this discussion,
please include those exceprts into that new issue.