Logs: freenode/#haskell
| 2021-03-21 12:53:35 | <dementorr> | 2) pass the map to creator (like creator myMap id = do ...) |
| 2021-03-21 12:53:35 | <dementorr> | 3) when I later use my myMap, if creator was passed it will get it |
| 2021-03-21 12:53:47 | <dementorr> | Is that okay? |
| 2021-03-21 12:55:01 | <ski> | it's probably better to not define `myMap' at the top-level of a module, but rather make it inside of `main' (or some action you call from that, or whatever your starting point is) |
| 2021-03-21 12:55:13 | <ski> | otherwise, it sounds fine |
| 2021-03-21 12:56:03 | <dementorr> | ski: Okay thanks! I'll try it now. |
| 2021-03-21 12:56:32 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 240 seconds) |
| 2021-03-21 12:57:11 | <hololeap> | don't get too attached to the notion of your IORef being "global". |
| 2021-03-21 12:58:10 | → | coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-21 12:58:27 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2021-03-21 13:02:44 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-21 13:02:59 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-21 13:04:01 | <ski> | (btw, "global" can mean several different things. e.g. it could mean that the scope is global, meaning module-level, could be accessed by any other code importing that module. or, for state, it can mean that changes persist, survive, to be picked up by later executions) |
| 2021-03-21 13:06:43 | → | ShalokShalom joins (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) |
| 2021-03-21 13:06:52 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488) |
| 2021-03-21 13:07:14 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-21 13:08:29 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-03-21 13:09:17 | × | curl quits (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed) |
| 2021-03-21 13:10:03 | × | idhugo__ quits (~idhugo@87-49-146-176-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-21 13:11:17 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-21 13:12:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7956:c631:2eb4:a488) (Ping timeout: 264 seconds) |
| 2021-03-21 13:13:45 | → | gitgood joins (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) |
| 2021-03-21 13:14:16 | × | ShalokShalom quits (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) (Quit: Connection closed) |
| 2021-03-21 13:15:18 | → | ShalokShalom joins (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) |
| 2021-03-21 13:17:16 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-21 13:19:47 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-21 13:20:28 | × | haskell_newbie quits (~haskellne@111.119.187.43) (Ping timeout: 245 seconds) |
| 2021-03-21 13:26:21 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-21 13:28:18 | → | tsaka__ joins (~torstein@ppp-94-65-45-45.home.otenet.gr) |
| 2021-03-21 13:29:01 | → | hexagenic joins (~mattias@81-224-107-147-no71.tbcn.telia.com) |
| 2021-03-21 13:29:12 | × | xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-03-21 13:29:29 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-03-21 13:30:11 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-03-21 13:31:05 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-21 13:34:09 | × | ShalokShalom quits (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) (Ping timeout: 256 seconds) |
| 2021-03-21 13:34:25 | → | RandomArcher joins (~isho@90.153.186.32) |
| 2021-03-21 13:35:23 | <maralorn> | jackdk: Thank you. |
| 2021-03-21 13:35:39 | <maralorn> | I will have a second look at the documentation to see where I overlooked thas. |
| 2021-03-21 13:37:04 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-21 13:38:17 | × | coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-21 13:39:33 | × | frozenErebus quits (~frozenEre@94.129.70.18) (Ping timeout: 264 seconds) |
| 2021-03-21 13:41:27 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-03-21 13:45:35 | × | RandomArcher quits (~isho@90.153.186.32) (Quit: Konversation terminated!) |
| 2021-03-21 13:45:59 | → | RandomArcher joins (~RandomArc@90.153.186.32) |
| 2021-03-21 13:51:02 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-21 13:53:21 | × | drbean quits (~drbean@TC210-63-209-99.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 2021-03-21 13:53:44 | → | augnun joins (~augnun@2804:14c:658b:41bb:600:c14b:1892:9aca) |
| 2021-03-21 13:54:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959874ac6c8157d63e67.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-03-21 13:56:45 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-21 13:57:08 | → | frozenErebus joins (~frozenEre@94.129.70.18) |
| 2021-03-21 13:58:59 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-21 13:59:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-21 13:59:57 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2021-03-21 14:03:27 | → | vincenzopalazzo joins (~vincenzop@host-79-30-9-166.retail.telecomitalia.it) |
| 2021-03-21 14:03:44 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-03-21 14:06:00 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-21 14:06:30 | → | mastarija joins (~mastarija@31.217.19.201) |
| 2021-03-21 14:06:49 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-21 14:10:09 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds) |
| 2021-03-21 14:10:09 | × | Guest82011 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 2021-03-21 14:11:10 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-21 14:11:17 | → | ajc1 joins (~ajc@69.231.232.79) |
| 2021-03-21 14:11:18 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 246 seconds) |
| 2021-03-21 14:11:55 | × | ajc1 quits (~ajc@69.231.232.79) (Client Quit) |
| 2021-03-21 14:12:56 | × | augnun quits (~augnun@2804:14c:658b:41bb:600:c14b:1892:9aca) (Ping timeout: 240 seconds) |
| 2021-03-21 14:13:06 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-21 14:13:12 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 2021-03-21 14:13:41 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-21 14:15:43 | × | m1dnight_ quits (~m1dnight@78-22-9-5.access.telenet.be) (Quit: WeeChat 2.4) |
| 2021-03-21 14:15:44 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-21 14:16:04 | → | Lycurgus joins (~niemand@98.4.116.165) |
| 2021-03-21 14:17:40 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds) |
| 2021-03-21 14:17:48 | → | m1dnight_ joins (~m1dnight@78-22-9-5.access.telenet.be) |
| 2021-03-21 14:18:14 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-21 14:20:24 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-21 14:20:24 | <Philonous> | I'm trying to bind to a rust library. Whenever I call some of the functions, I'm getting »internal error: ASSERTION FAILED: file rts/Capability.c, line 207«. This is both with ghc 8.8.4 and 8.10.4. I've had little luck googling the issue. Is there some known hoops to jump through when binding to rust that I might be missing? |
| 2021-03-21 14:21:25 | <Lycurgus> | you know ur in #haskell, right? |
| 2021-03-21 14:22:13 | <Lycurgus> | why would rust be different from other things that aren't hs? |
| 2021-03-21 14:22:39 | → | timCF joins (~i.tkachuk@m91-129-99-43.cust.tele2.ee) |
| 2021-03-21 14:22:55 | <maralorn> | Seemed like a quite haskelly question to me.^^ |
| 2021-03-21 14:23:07 | <Lycurgus> | anyway looks like an easy permissions snag |
| 2021-03-21 14:23:28 | <Lycurgus> | or other config snag |
| 2021-03-21 14:24:13 | → | wonko7 joins (~wonko7@45.15.17.60) |
| 2021-03-21 14:24:36 | <Lycurgus> | i'd be surprised if reading line 207 didn advance the matter |
| 2021-03-21 14:25:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-21 14:25:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-21 14:25:55 | <hpc> | are the functions you're calling in rust using the C calling convention? |
| 2021-03-21 14:26:19 | <timCF> | Hello! Is there real term called "partial application"? I saw it used in cases where output of the function is the other function. Naming is a bit misleading, because of "partial function" definition - which is function defined not for all possible arguments. So "partial application" sound like "partial function" has been applied, but it's completely different. |
| 2021-03-21 14:26:21 | × | RandomArcher quits (~RandomArc@90.153.186.32) (Ping timeout: 246 seconds) |
| 2021-03-21 14:27:42 | <Logio> | "partial application" and "partial function" are unrelated terms indeed |
| 2021-03-21 14:27:52 | <maralorn> | timCF: Yeah, partial application and partial function are totally independent concepts. |
| 2021-03-21 14:28:05 | <Lycurgus> | 'cept for bein pieces parts |
| 2021-03-21 14:30:08 | <maralorn> | partial application just means, that you can apply one argument to a function and get a function which only expects the missing arguments back. |
| 2021-03-21 14:30:12 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-21 14:30:34 | → | rond_ joins (594021ff@89-64-33-255.dynamic.chello.pl) |
| 2021-03-21 14:30:52 | <Philonous> | Lycurgus, Yes, I'm trying to call from Haskell into a Rust library. "rts/Capabilitiy.c" is part of Ghc |
| 2021-03-21 14:31:08 | <maralorn> | timCF: But you are right, that the Haskell Type System does not make a difference between a function that takes two arguments and a function that takes one argument and returns a function that accepts another argument. |
| 2021-03-21 14:31:16 | <Philonous> | hpc, Yes. I've tried calling it from a simple C program, it works without problems. |
| 2021-03-21 14:32:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-21 14:33:06 | <Lycurgus> | what was goin on in Capability.c around line 207? |
All times are in UTC.