Conversation with #inferno at Wed Jul 17 23:02:56 2019 on powerman@chat.freenode.net (irc)
(23:02:57) #inferno: Topic for #inferno set by anth at 19:45:51 on 04/07/15
(01:12:15) SCHAPiE left the room (quit: Quit: ZNC - https://znc.in).
(01:19:26) SCHAPiE [~schapie@unaffiliated/schaap137] entered the room.
(03:49:19) X-Scale` [~ARM@188.39.43.5.rev.vodafone.pt] entered the room.
(03:51:14) X-Scale left the room (quit: Ping timeout: 248 seconds).
(03:51:14) X-Scale` is now known as X-Scale
(04:25:34) X-Scale` [~ARM@69.62.54.77.rev.vodafone.pt] entered the room.
(04:27:38) X-Scale left the room (quit: Ping timeout: 268 seconds).
(04:27:38) X-Scale` is now known as X-Scale
(05:39:04) deuteron_ [~deuteron@ppp118-210-250-246.bras1.adl4.internode.on.net] entered the room.
(05:40:02) deuteron left the room (quit: Ping timeout: 248 seconds).
(05:43:23) deuteron_ left the room (quit: Ping timeout: 245 seconds).
(05:44:09) deuteron [~deuteron@ppp121-45-60-128.bras2.adl4.internode.on.net] entered the room.
(05:49:17) deuteron_ [~deuteron@124-169-191-204.dyn.iinet.net.au] entered the room.
(05:50:46) deuteron left the room (quit: Ping timeout: 246 seconds).
(05:56:02) deuteron_ left the room (quit: Ping timeout: 248 seconds).
(06:02:57) deuteron [~deuteron@ppp118-210-120-10.bras2.adl4.internode.on.net] entered the room.
(06:11:33) X-Scale` [~ARM@240.233.28.37.rev.vodafone.pt] entered the room.
(06:13:34) X-Scale left the room (quit: Ping timeout: 272 seconds).
(06:13:34) X-Scale` is now known as X-Scale
(07:03:47) deuteron left the room (quit: Ping timeout: 258 seconds).
(07:04:35) deuteron [~deuteron@ppp121-45-8-68.bras1.adl4.internode.on.net] entered the room.
(07:15:40) deuteron left the room (quit: Ping timeout: 258 seconds).
(07:31:17) deuteron [~deuteron@ppp118-210-226-103.bras1.adl4.internode.on.net] entered the room.
(07:35:28) deuteron left the room (quit: Ping timeout: 245 seconds).
(07:36:23) deuteron [~deuteron@ppp121-45-32-111.bras2.adl4.internode.on.net] entered the room.
(08:11:07) deuteron_ [~deuteron@124-169-190-137.dyn.iinet.net.au] entered the room.
(08:13:38) deuteron left the room (quit: Ping timeout: 248 seconds).
(09:19:41) cybercafe [~marx@73.96.106.211] entered the room.
(10:18:39) cybercafe left the room (quit: Disconnected by services).
(10:18:41) cyber_cafe [~marx@73.96.106.211] entered the room.
(18:59:08) deuteron_ is now known as deuteron
(20:55:07) leg [~jorge@cpe90-146-138-169.liwest.at] entered the room.
(21:04:47) cyber_cafe left the room (quit: Ping timeout: 268 seconds).
(22:05:43) leg left the room (quit: Quit: Leaving.).
(23:57:14) henesy: Is it possible to write the prototype(?) for a method on an ADT outside of the ADT definition like how you see with module function prototypes ?
(23:57:35) henesy: As per myfunc: fn(x: int);
(23:58:08) henesy: But for a method which might be myfunc(r: self ref Something);
(23:59:11) henesy: I’m trying to write a method on a polymorphic ADT which takes a value of type T in and calls a method on the value
(23:59:47) henesy: Something like:
(23:59:51) henesy: Table[T].add[T](ht: self ref Table[T], val: T)
(23:59:51) henesy:   for { T => hash:  fn(val: self T): string; }
(23:59:51) henesy: {
(23:59:51) henesy:   h := val.hash();
(23:59:51) henesy: }
(00:00:18) henesy: But I feel like hash or fn needs some reference like how methods are declared
(00:00:37) henesy: Where you do like T.myfunc(foo: int);
(00:00:52) henesy: But putting a T. In front of fn and hash doesn’t work
(02:09:28) apache2: henesy: interesting question, please post here if you solve it
(02:19:05) qrstuv: you can't have a method prototype outside of its adt definition, and i don't see how it would make sense to want to do that
(02:20:35) qrstuv: and i find your table insertion example confusing
(02:20:49) qrstuv: why would you want to parameterize on T twice?
(02:20:52) qrstuv: T is equal to T
(02:24:01) qrstuv: maybe you could post something that is as close as you can get to what you want and still compile and explain how it differs from your vision
(03:40:07) X-Scale left the room (quit: Ping timeout: 246 seconds).
(03:40:26) deuteron left the room (quit: Quit: leaving).
(03:41:00) X-Scale` [~ARM@240.233.28.37.rev.vodafone.pt] entered the room.
(03:41:42) X-Scale` is now known as X-Scale
(04:08:24) X-Scale left the room (quit: Ping timeout: 258 seconds).
(04:11:04) X-Scale [~ARM@14.10.108.93.rev.vodafone.pt] entered the room.
(04:11:55) deuteron [~deuteron@124-169-190-137.dyn.iinet.net.au] entered the room.
(05:41:00) henesy: qrstuv: i'll make a more intuitive example, this isn't necessarily coupled to tables or anything
(05:41:16) henesy: basically i want go-like interfaces in this case
(05:41:28) henesy: that is you can pass in T where T is an adt type with a specific method
(05:41:45) henesy: you can do that, on a standalone function
(05:41:54) henesy: my question is whether you can do it on a polymorphic ADT function
(06:26:30) qrstuv: henesy: http://www.9paste.net/none/905-237-0546
(06:35:02) qrstuv: by the way, does anyone know john firth's description and home address?
(06:36:15) qrstuv: don't be afraid to speak up: i won't do any permanent damage to him
(06:37:08) qrstuv: just maybe crack a rib or two
(07:53:03) leetspete1: Which John Firth?
(08:04:25) qrstuv: i don't care which john firth, so long as he implemented a form of parametric polymorphism in limbo
(18:42:04) epl692 left the room (quit: Ping timeout: 246 seconds).
(21:54:24) leg [~jorge@cpe90-146-138-169.liwest.at] entered the room.
(22:58:26) cybercafe [~marx@73.96.104.231] entered the room.
(23:20:29) leg left the room (quit: Quit: Leaving.).
(23:46:32) cybercafe left the room (quit: Disconnected by services).
(23:46:33) cyber_cafe [~marx@73.96.104.231] entered the room.
(04:15:32) cyber_cafe left the room (quit: Ping timeout: 272 seconds).
(08:51:19) pbb left the room (quit: Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
(08:51:55) pbb [~quassel@pbb4.pbb.lc] entered the room.
(08:52:57) pbb left the room (quit: Client Quit).
(08:53:14) pbb [~quassel@pbb4.pbb.lc] entered the room.
(13:01:19) henesy left the room (quit: Quit: Connection closed for inactivity).
(20:54:27) cybercafe [~marx@73.96.104.183] entered the room.
(20:54:31) cybercafe left the room (quit: Disconnected by services).
(20:54:32) cyber_cafe [~marx@73.96.104.183] entered the room.
(20:55:01) cybercafe [~marx@73.96.104.183] entered the room.
(20:55:49) cyber_cafe left the room (quit: Client Quit).
(21:42:26) cybercafe left the room (quit: Ping timeout: 244 seconds).
(21:43:21) leg [~jorge@cpe90-146-138-169.liwest.at] entered the room.
(23:38:52) cybercafe [~marx@73.96.105.87] entered the room.
(23:43:35) leg left the room (quit: Quit: Leaving.).
(03:31:48) kaptin [~k@notyour.host] entered the room.
(05:20:11) ppmathis left the room (quit: Quit: No Ping reply in 180 seconds.).
(05:21:38) ppmathis [~ppmathis@telex.fra1.snapserv.link] entered the room.
(08:16:11) henesy [uid56330@gateway/web/irccloud.com/x-hgtyknoaaitghbcy] entered the room.
(09:16:32) deuteron left the room (quit: Remote host closed the connection).
(09:42:10) cybercafe left the room (quit: Ping timeout: 246 seconds).
(11:38:37) cybercafe [~marx@73.96.107.43] entered the room.
(15:49:08) deuteron [~deuteron@124-169-190-137.dyn.iinet.net.au] entered the room.