Generics & typing module (support for module specializations) #406

Activity

1. Mikhail Arkhipov (MikhailArkhipov)

   added

   GA

   on Nov 23, 2018
2. Mikhail Arkhipov (MikhailArkhipov)

   changed the title [-]Ability to replace module and module member by in-code implementation[/-] [+]Rework typing wrapper[/+] on Nov 23, 2018
3. Karthik Nadig (karthiknadig)

   assigned

   Jake Bailey (jakebailey)

   on Nov 26, 2018
4. Karthik Nadig (karthiknadig)

   added this to the Dec 2018.1 milestone on Nov 26, 2018
5. Mikhail Arkhipov (MikhailArkhipov)

   removed this from the Dec 2018.1 milestone on Nov 27, 2018
6. zooba commented on Dec 13, 2018

   

   Steve Dower (zooba)

   on Dec 13, 2018

   Member

   More actions

   One of the other ideas of protocols was to be able to infer them from usage, so you could determine that a function parameter has a particular minimum type. This is much closer to how Python's type system actually works (annotations are an orthogonal type system that is different), and could provide value for our users distinct from what other tools offer.
7. Mikhail Arkhipov (MikhailArkhipov)

   assigned

   Mikhail Arkhipov (MikhailArkhipov)

   and unassigned

   Jake Bailey (jakebailey)

   on Dec 27, 2018
8. Mikhail Arkhipov (MikhailArkhipov)

   changed the title [-]Rework typing wrapper[/-] [+]Generics & typing module (support for module specializations)[/+] on Jan 2, 2019
9. Mikhail Arkhipov (MikhailArkhipov)

   added this to the Jan 2019.1 milestone on Jan 9, 2019
10. MikhailArkhipov commented on Jan 18, 2019

    

    Mikhail Arkhipov (MikhailArkhipov)

    on Jan 18, 2019

    Author

    More actions

    #465
11. Mikhail Arkhipov (MikhailArkhipov)

    closed this as completedon Jan 18, 2019