2014-04-02 11:57:49 +0000 <Arafangion> Yes.
2014-04-02 11:58:02 +0000 <Arafangion> In a mannar somewhat more similar to C++ templates.
2014-04-02 11:58:04 +0000 <kjnilsson> would you expect this to work across assemblies?
2014-04-02 11:59:23 +0000 <Arafangion> Actually, no, that would be very complex.
2014-04-02 11:59:58 +0000leeN(~leen@f051225118.adsl.alicedsl.de)
2014-04-02 12:00:45 +0000 <kjnilsson> so if it was the only function in your assembly what type would the parameter have?
2014-04-02 12:01:25 +0000 <Arafangion> Why would it matter? If it's not used, then why does it need a type?
2014-04-02 12:02:26 +0000jfojtl(~jfojtl@uho.ysoft.cz)
2014-04-02 12:02:49 +0000 <kjnilsson> https://www.youtube.com/watch?v=fDTt_uo0F-g&feature=youtu.be
2014-04-02 12:02:55 +0000 <kjnilsson> good talk on type inference
2014-04-02 12:03:34 +0000 <Arafangion> I don't watch youtube videos.
2014-04-02 12:04:13 +0000 <Arafangion> (I get annoyed, it's a recent trend to have so many videos on dev languages, makes it harder to find good documentation)
2014-04-02 12:04:19 +0000 <Arafangion> I'm deaf, btw.
2014-04-02 12:06:31 +0000davesq(uid1884@gateway/web/irccloud.com/x-svmejgqfeeqlplff) (Quit: Connection closed for inactivity)
2014-04-02 12:06:45 +0000 <kjnilsson> ah i see
2014-04-02 12:07:53 +0000 <Arafangion> In any case, I think what I need to do is read up on type unification.
2014-04-02 12:08:11 +0000 <Arafangion> As that seems to be what fsharp does?
2014-04-02 12:09:11 +0000 <kjnilsson> http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool
2014-04-02 12:10:22 +0000 <kjnilsson> actually
2014-04-02 12:10:24 +0000 <kjnilsson> http://fsharpforfunandprofit.com/posts/type-inference/
2014-04-02 12:10:27 +0000 <kjnilsson> this might be better
2014-04-02 12:11:20 +0000 <Arafangion> Will read up on those, although I don't see many surprises there (yet)
2014-04-02 12:12:23 +0000 <kjnilsson> no - but your function doesn't provide enough info for the type inference to deduce the type of the parameter and as you are calling a method on it it can't be a polymorphic function hence it wont compile
2014-04-02 12:13:10 +0000 <kjnilsson> or something along those lines
2014-04-02 12:13:17 +0000 <kjnilsson> :)
2014-04-02 12:13:19 +0000 <Arafangion> kjnilsson: There's plenty of information if I then call it with a string.
2014-04-02 12:19:11 +0000 <Arafangion> Anyway, I must sleep now, also been having this discussion with the haskell guys (which I am slightly more familiar with than F#, although that doesn't say much), so I'll be reading about hindly-milly type inferrence, and in particular, type unification.
2014-04-02 12:23:27 +0000OlegYch(~OlegYch@212.98.173.87)
2014-04-02 12:25:11 +0000jfojtl(~jfojtl@uho.ysoft.cz) (Remote host closed the connection)
2014-04-02 12:25:44 +0000jfojtl(~jfojtl@uho.ysoft.cz)
2014-04-02 12:27:29 +0000qxjit(~qxjit@162.17.112.173) ()
2014-04-02 12:28:06 +0000qxjit(~qxjit@162.17.112.173)
2014-04-02 12:30:26 +0000jfojtl(~jfojtl@uho.ysoft.cz) (Ping timeout: 265 seconds)
2014-04-02 12:38:25 +0000qxjit_(~qxjit@162.17.112.173)
2014-04-02 12:38:28 +0000qxjit_(~qxjit@162.17.112.173) (Client Quit)