https://github.com/foxboron/hype

Function annotations for Hylang!
https://github.com/foxboron/hype

Last synced: about 1 year ago
JSON representation

Function annotations for Hylang!

• Host: GitHub
• URL: https://github.com/foxboron/hype
• Owner: Foxboron
• Created: 2014-11-12T18:30:07.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2014-11-12T22:21:04.000Z (over 11 years ago)
• Last Synced: 2025-03-28T06:23:23.526Z (about 1 year ago)
• Language: Python
• Size: 125 KB
• Stars: 11
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
Hype

====

The Hype is Real!

With the help of the [typeannotations]( https://github.com/ceronman/typeannotations ) you can have types, AND type checking with Hy! 

Work in progress!

```hy

=> (require hype.ann)

=> (ann foo [int :-> str])

=> (defn foo [a] (str a))

=> (foo 1)

'1'

=> (foo "1")

Traceback (most recent call last):

...

TypeError: Incorrect type for "a"

```