@djspiewak @propensive @extempore2 do you have a gist of the alternative ??? mentioned in the latest @thescalawags?
-
@propensive Not bad. I was hoping for a macro that'd report the missing type at compile time. /cc@djspiewak@extempore2@thescalawags
@milessabin @puffnfresh had that idea. And also to autocomplete it from matching values in scope... @djspiewak @extempore2 @thescalawags
-
-
@propensive figures ...@puffnfresh and I have been drinking the Agda/Idris code inference Kool Aid /cc@djspiewak@extempore2@thescalawags -
@milessabin If only there were a way to unambiguously call such a thing "_"...@puffnfresh@djspiewak@extempore2@thescalawags
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.