News for hackers. Stuff that matters.

A comment on Show HN: Fo: An experimental language which adds generics on top of Go. Parent comment

Re:Show HN: Fo: An experimental language which adds generics... by jjoonathan on Tuesday June 12, 2018 @05:38PM (#17298289)
How does Go statically type check collections, then? It seems like a pretty common, desirable use-case to me.

I could understand not missing this if you're coming from a dynamically typed environment, but understand that many people aren't.

[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by anonymoushn on Tuesday June 12, 2018 @05:41PM (#17298313)
Go can statically type check hash maps, arrays, and channels. If you want some other container type it must be written with a concrete element type in mind.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by jjoonathan on Tuesday June 12, 2018 @05:47PM (#17298360)
Wait, really? The language designers gave themselves (effective) generics and then kicked down the ladder afterwards so that other container implementers couldn't follow? That's hilarious.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by ckocagil on Tuesday June 12, 2018 @06:06PM (#17298509)
Yes. And yes.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by skj on Tuesday June 12, 2018 @07:33PM (#17299022)
Why does it need to be fair? Serious question.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by jjoonathan on Tuesday June 12, 2018 @07:54PM (#17299125)
It doesn't, obviously, it's just hypocritical and patronizing.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by symlock on Tuesday June 12, 2018 @05:41PM (#17298316)
What do you mean?
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by jjoonathan on Tuesday June 12, 2018 @05:52PM (#17298410) 

    void do_stuff(Integer[] integers) {
        ....
    }
    
    do_stuff(new String[]{"1", "2", "3"})
    
    Compiler: whoops, you passed an array of strings when the API called for an array of integers.
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by marcrosoft on Tuesday June 12, 2018 @05:41PM (#17298311)
Umm don't? Why are you iterating over unknown types?
[ Parent | on HN ]
Re:Show HN: Fo: An experimental language which adds generics... by jjoonathan on Tuesday June 12, 2018 @06:00PM (#17298470)
Right back atcha.
[ Parent | on HN ]