From: michael.mior@... Date: 2016-08-07T20:49:04+00:00 Subject: [ruby-core:76758] [Ruby trunk Feature#9999] Type Annotations (Static Type Checking) Issue #9999 has been updated by Michael Mior. Might be worth looking at [RDL](https://github.com/plum-umd/rdl) for some inspiration. ---------------------------------------- Feature #9999: Type Annotations (Static Type Checking) https://bugs.ruby-lang.org/issues/9999#change-59976 * Author: Davide D'Agostino * Status: Feedback * Priority: Normal * Assignee: ---------------------------------------- Hi all, I know @matz is interested in introducing **type annotations** in ruby. More here: https://bugs.ruby-lang.org/issues/5583 I think it's time for ruby to get this. Before working on a patch I would like to know: 1. Syntax of methods signatures 2. Syntax of variables guards (?) 3. Implementation For point **1** I was thinking in some like: ~~~ruby def connect(r -> Stream, c -> Client) -> Fiber def connect(Stream r, Client c) -> Fiber # quite sure this will make some reduce problems in the grammar ~~~ Before making a proposal consider: keyword arguments and default value collisions. Then for point **2** I'm not sure if we want also check assignments but as before a syntax could be: ~~~ruby r: Client = something # will throw an exception if something is not kind of Client ~~~ Finally, **implementation**. Do we want some in python style and then leave the programmer/library for the implementation **or** (and I'm for this) we want MRI do that, if so how? Cheers! DD p.s. Sorry if this issue was already discussed but I didn't find anything except the link posted. -- https://bugs.ruby-lang.org/ Unsubscribe: