From d4928b0064e40b52418745f2985aa7061379cbd5 Mon Sep 17 00:00:00 2001 From: Patrice Chalin Date: Mon, 20 Apr 2015 10:18:51 -0700 Subject: [PATCH] Fix #10 - clarify terminology --- proposal.md | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/proposal.md b/proposal.md index 4d3b430..e5b9be2 100644 --- a/proposal.md +++ b/proposal.md @@ -4,9 +4,7 @@ ## Contact information 1. **Leaf Petersen** - 2. **leafp@google.com** - 3. **[https://github.com/leafpetersen/dep-generic-methods](https://github.com/leafpetersen/dep-generic-methods)** Other stakeholders: @@ -298,7 +296,16 @@ main() { ``` -## Proposal +## Terminology + +Informally speaking, a Dart `typedef` defines *function type* (e.g., see [[1][], [2][]]), but the technically more precise statement is that a `typedef` defines a _function-type **aliases**_. + +In *this* proposal, the terms "function type" and "generic function type" will refer to the **type denotation / semantic type** of a function and generic function, respectively. + + [1]: https://www.dartlang.org/docs/dart-up-and-running/ch02.html#typedefs + [2]: https://www.dartlang.org/articles/emulating-functions/#function-types + +## Proposal details The proposal is to add a simple form of generic methods and functions to Dart. Specifically, it allows top level functions, local function definitions, static