You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Martin Kwok edited this page Dec 22, 2015
·
3 revisions
Lists as a type
List comprehension (not really necessary)
Guards (not really necessary)
Better includes (e.g., if can't find .fpy then assume .py exists; search multiple directories, etc.)
Monads - very important. At least an IO interface with stdin/stdout.
Ideally, some sort of non-functional representation where new types (probably monads) can be defined for file IO, networking or anything that can't be represented functionally.