File: python-mypy.py

package info (click to toggle)
rust-scriptisto 2.2.0-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 436 kB
  • sloc: python: 25; ansic: 16; java: 11; pascal: 9; cpp: 8; javascript: 8; cs: 7; cobol: 5; lisp: 5; f90: 5; makefile: 4; ml: 4; haskell: 2
file content (25 lines) | stat: -rwxr-xr-x 571 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#!/usr/bin/env scriptisto

# scriptisto-begin
# script_src: script.py
# build_cmd: mypy script.py && python3 -m compileall .
# target_interpreter: /usr/bin/env python3
# target_bin: ./script.py
# scriptisto-end

import argparse
from typing import Optional

def print_hello(input: Optional[int]):
    msg = "Hello, Python! Input: %d" % (input or 0)
    print(msg)

def main():
  parser = argparse.ArgumentParser()
  parser.add_argument("--input", type=int, help="Example input.")
  args = parser.parse_args()

  print_hello(args.input)

if __name__== "__main__":
  main()