From 857b77f2e3746119927db7b4efc6c604c0f72fe9 Mon Sep 17 00:00:00 2001 From: greg Date: Sat, 9 Dec 2017 18:56:34 -0800 Subject: [PATCH] Add schala idea --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index 17a48b9..add9b5e 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,13 @@ TODO: rename accordingly! -idea for Schala - scoped types - be able to define a quick enum type scoped to a function ro something, that only is meant to be used as a quick bespoke interface between two other things +-idea for Schala: both currying *and* default arguments! + ex. fn a(b: Int, c:Int, d:Int = 1) -> Int + a(1,2) : Int + a(1,2,d=2): Int + a(_,1,3) : Int -> Int + a(1,2, c=_): Int -> Int + a(_,_,_) : Int -> Int -> Int -> Int # Schala - a programming language meta-interpreter