Logs: liberachat/#haskell
| 2021-07-20 15:06:33 | → | azeem joins (~azeem@62.19.104.241) |
| 2021-07-20 15:10:42 | × | azeem quits (~azeem@62.19.104.241) (Ping timeout: 240 seconds) |
| 2021-07-20 15:13:22 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-20 15:13:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 15:15:13 | → | azeem joins (~azeem@62.19.104.241) |
| 2021-07-20 15:16:29 | → | gehn joins (~gehn@user/gehn) |
| 2021-07-20 15:22:23 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-20 15:22:54 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-20 15:23:27 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-20 15:24:00 | × | azeem quits (~azeem@62.19.104.241) (Ping timeout: 255 seconds) |
| 2021-07-20 15:24:34 | → | azeem joins (~azeem@176.200.211.15) |
| 2021-07-20 15:27:37 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-20 15:28:00 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 2021-07-20 15:30:53 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-20 15:32:31 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-20 15:34:31 | × | argento quits (~argent0@168-227-96-26.ptr.westnet.com.ar) (Ping timeout: 268 seconds) |
| 2021-07-20 15:34:49 | → | sergio812 joins (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 2021-07-20 15:35:15 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 15:35:41 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 15:36:06 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-20 15:36:26 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-20 15:36:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-20 15:37:26 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-20 15:38:59 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-20 15:40:41 | × | arjun quits (~Srain@user/arjun) (Remote host closed the connection) |
| 2021-07-20 15:44:15 | × | curiousgay quits (~curiousga@77-120-144-167.kha.volia.net) (Remote host closed the connection) |
| 2021-07-20 15:44:38 | → | curiousgay joins (~curiousga@77-120-144-167.kha.volia.net) |
| 2021-07-20 15:45:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 15:46:56 | → | econo joins (uid147250@user/econo) |
| 2021-07-20 15:47:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 15:49:48 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-20 15:50:28 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2021-07-20 15:50:50 | <sergio812> | Hello there, |
| 2021-07-20 15:50:57 | <sergio812> | I'm trying to link a proprietary C++-based library using FFI, and I run into some difficulties (I've never used Haskell's FFI before). |
| 2021-07-20 15:51:05 | <sergio812> | I have a "C-only" small example with 3 small files (".c", ".h" and ".hs") that works fine. |
| 2021-07-20 15:51:09 | ← | gehn parts (~gehn@user/gehn) (Leaving) |
| 2021-07-20 15:51:14 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-20 15:51:17 | <sergio812> | But my "C++ via C" small example with 5 small files (".c", ".h", ".cpp", ".hpp" and ".hs") doesn't work (link error). |
| 2021-07-20 15:51:23 | <sergio812> | Even though small (41 lines for the 5 files), I'm not sure sending this on IRC is appropriate... |
| 2021-07-20 15:51:29 | <sergio812> | How/where can I do ask for help? |
| 2021-07-20 15:51:45 | <geekosaur> | reddit might work better |
| 2021-07-20 15:52:00 | × | azeem quits (~azeem@176.200.211.15) (Ping timeout: 258 seconds) |
| 2021-07-20 15:52:00 | → | argento joins (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-07-20 15:52:19 | → | azeem joins (~azeem@176.200.211.15) |
| 2021-07-20 15:53:01 | <sergio812> | Thanks |
| 2021-07-20 15:53:27 | → | Null_A joins (~null_a@2601:645:8700:2290:f559:df0a:6e82:e360) |
| 2021-07-20 15:54:10 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 15:54:25 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-20 15:55:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-20 15:58:18 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-20 15:59:12 | × | azeem quits (~azeem@176.200.211.15) (Read error: Connection reset by peer) |
| 2021-07-20 15:59:13 | → | lbseale__ joins (~lbseale@user/ep1ctetus) |
| 2021-07-20 15:59:20 | lbseale__ | is now known as lbseale |
| 2021-07-20 15:59:25 | → | azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) |
| 2021-07-20 16:02:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 16:02:44 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-07-20 16:03:58 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2021-07-20 16:09:02 | <zzz> | how can i ask for the type of a function applied to a specific type, like when we write `a ~ Bool` or whatever? |
| 2021-07-20 16:09:26 | <zzz> | i think i've seen it |
| 2021-07-20 16:09:30 | <zzz> | but am not sure |
| 2021-07-20 16:10:46 | <Taneb> | You could give it a type signature, like ((==) :: Bool -> Bool -> Bool), or you could use the TypeApplications extension, like ((==) @Bool) |
| 2021-07-20 16:10:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-20 16:11:47 | × | dunkeln quits (~dunkeln@188.71.231.232) (Ping timeout: 245 seconds) |
| 2021-07-20 16:14:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 16:14:52 | <zzz> | how about asking ghc for the class instance of a type? |
| 2021-07-20 16:15:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-20 16:15:30 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 16:16:21 | → | h98 joins (~h98@187.83.249.216.dyn.smithville.net) |
| 2021-07-20 16:16:57 | <zzz> | i got it. bad memory today |
| 2021-07-20 16:17:05 | <zzz> | thanks anyway |
| 2021-07-20 16:18:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-20 16:19:34 | → | dunkeln_ joins (~dunkeln@188.71.231.232) |
| 2021-07-20 16:19:58 | × | slycelote quits (~slycelote@user/slycelote) (Quit: Leaving) |
| 2021-07-20 16:20:56 | × | zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 2021-07-20 16:22:59 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-07-20 16:23:51 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-20 16:26:18 | → | sedeki joins (~textual@user/sedeki) |
| 2021-07-20 16:30:02 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-20 16:31:44 | × | adinf quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Ping timeout: 256 seconds) |
| 2021-07-20 16:32:13 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-20 16:35:27 | × | fendor quits (~fendor@91.141.52.148.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-20 16:36:38 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-20 16:38:23 | → | fendor joins (~fendor@91.141.52.148.wireless.dyn.drei.com) |
| 2021-07-20 16:38:38 | × | motherfs1 quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 2021-07-20 16:39:40 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-20 16:41:51 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 16:43:00 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-20 16:43:55 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-20 16:45:02 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-20 16:45:08 | × | L29Ah quits (~L29Ah@user/l29ah) (Quit: Gateway shutdown) |
| 2021-07-20 16:47:14 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-20 16:48:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 16:49:00 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-07-20 16:49:45 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2021-07-20 16:51:21 | <dminuoso> | zzz: f (undefined :: T) :: _ |
| 2021-07-20 16:53:06 | → | adinf joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-07-20 16:55:22 | → | metaweta joins (~metaweta@166.70.31.28) |
| 2021-07-20 16:55:50 | <metaweta> | A directed multigraph is a pair of sets E,V with maps s,t:E->V. I can implement that with a MultiParamTypeClass. The box product of two such graphs has vertices V1 x V2, horizontal edges V1 x E2 and vertical edges E1 x V2. How would you write the box product as a type constructor? |
| 2021-07-20 16:56:22 | <metaweta> | Or is there a better way? |
| 2021-07-20 16:57:30 | × | azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Ping timeout: 240 seconds) |
All times are in UTC.