Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-30 20:15:09 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-30 20:17:08 ezrakilt_ joins (~ezrakilty@97-113-35-199.tukw.qwest.net)
2021-03-30 20:17:51 × hyiltiz_ quits (~quassel@31.220.5.250) (Ping timeout: 245 seconds)
2021-03-30 20:18:12 × idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-03-30 20:18:56 × ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 252 seconds)
2021-03-30 20:19:31 <maerwald> unlimited tuples
2021-03-30 20:19:44 hyiltiz joins (~quassel@31.220.5.250)
2021-03-30 20:19:44 × hyiltiz quits (~quassel@31.220.5.250) (Changing host)
2021-03-30 20:19:45 hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2021-03-30 20:20:39 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-03-30 20:20:51 <maerwald> make them syntax sugar for heterogenous SLists
2021-03-30 20:21:27 jakalx joins (~jakalx@base.jakalx.net)
2021-03-30 20:22:26 × borne quits (~fritjof@83.135.92.162) (Ping timeout: 246 seconds)
2021-03-30 20:22:26 × mawk quits (mawk@serveur.io) (Ping timeout: 246 seconds)
2021-03-30 20:24:39 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
2021-03-30 20:25:58 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-30 20:29:44 × AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9)
2021-03-30 20:30:26 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-30 20:30:26 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-30 20:30:29 AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9)
2021-03-30 20:32:13 <tomsmeding> SList?
2021-03-30 20:32:33 × CatWithMoustache quits (~CatWithMo@gateway/tor-sasl/catwithmoustache) (Remote host closed the connection)
2021-03-30 20:32:39 <tomsmeding> isn't a heterogenuous SList really a HList?
2021-03-30 20:32:54 CatWithMoustache joins (~CatWithMo@gateway/tor-sasl/catwithmoustache)
2021-03-30 20:34:35 × ezrakilt_ quits (~ezrakilty@97-113-35-199.tukw.qwest.net) (Remote host closed the connection)
2021-03-30 20:37:42 × nuncanada quits (~dude@179.235.160.168) (Quit: Leaving)
2021-03-30 20:38:38 × rodriga quits (~quassel@134.204.25.66) (Ping timeout: 240 seconds)
2021-03-30 20:40:09 Alleria joins (~textual@mskresolve-a.mskcc.org)
2021-03-30 20:40:32 Alleria is now known as Guest13757
2021-03-30 20:42:22 <masterplain> sorry monochrom I got kicked out many times again and again
2021-03-30 20:42:59 <masterplain> I'm the guy that has been programming with a functional language for a while but was looking for a reference on good functional design patterns to write better code
2021-03-30 20:43:12 <masterplain> thanks for sharing fsharpforfunandprofit<3  it looks good
2021-03-30 20:43:27 dumptruckman_ joins (~dumptruck@li1287-148.members.linode.com)
2021-03-30 20:43:50 <masterplain> with an OOP kind of background, I was hoping to get something with use cases or "when you're doing this, consider doing this instead"
2021-03-30 20:44:13 <masterplain> but something that goes beyond the basic fp ideas that Ive been picking up on the way
2021-03-30 20:45:51 × dumptruckman quits (dumptruckm@2600:3c02::f03c:91ff:fe6e:2cfd) (Quit: ZNC - http://znc.in)
2021-03-30 20:45:51 dumptruckman_ is now known as dumptruckman
2021-03-30 20:46:00 × Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-03-30 20:47:10 × Erutuon_ quits (~Erutuon@97-116-16-233.mpls.qwest.net) (Ping timeout: 252 seconds)
2021-03-30 20:47:11 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 268 seconds)
2021-03-30 20:47:31 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds)
2021-03-30 20:49:20 elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-30 20:49:39 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds)
2021-03-30 20:50:03 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c108:ff87:d06f:ca72) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-30 20:51:50 Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-30 20:51:59 × malumore quits (~malumore@151.62.126.249) (Remote host closed the connection)
2021-03-30 20:52:57 _d0t joins (void@gateway/vpn/mullvad/d0t/x-89419360)
2021-03-30 20:53:06 <_d0t> ohai! How do I disable a plugin in HLS?
2021-03-30 20:54:09 ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-03-30 20:55:49 × Sornaensis quits (~Sornaensi@79.142.232.102) (Ping timeout: 268 seconds)
2021-03-30 20:57:12 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-03-30 20:57:26 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-03-30 20:57:43 nbloomf joins (~nbloomf@2600:1700:ad14:3020:c108:ff87:d06f:ca72)
2021-03-30 20:57:47 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-30 20:58:08 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-30 20:59:23 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c108:ff87:d06f:ca72) (Client Quit)
2021-03-30 21:00:16 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-03-30 21:00:18 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds)
2021-03-30 21:00:58 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2021-03-30 21:02:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-03-30 21:03:58 nbloomf joins (~nbloomf@2600:1700:ad14:3020:c108:ff87:d06f:ca72)
2021-03-30 21:05:25 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-30 21:07:59 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-30 21:08:53 Tops21 joins (~Tobias@dyndsl-095-033-026-062.ewe-ip-backbone.de)
2021-03-30 21:09:56 stree joins (~stree@68.36.8.116)
2021-03-30 21:10:59 Tops22 joins (~Tobias@dyndsl-095-033-026-062.ewe-ip-backbone.de)
2021-03-30 21:11:25 ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-03-30 21:11:57 zephyz joins (zephyz@gateway/vpn/privateinternetaccess/zephyz)
2021-03-30 21:12:01 × enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-30 21:12:18 × Tops2 quits (~Tobias@dyndsl-095-033-026-062.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-03-30 21:12:26 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-03-30 21:14:38 × Tops21 quits (~Tobias@dyndsl-095-033-026-062.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-03-30 21:15:58 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds)
2021-03-30 21:17:41 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-30 21:18:50 Tene joins (~tene@poipu/supporter/slacker/tene)
2021-03-30 21:20:43 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-30 21:21:25 cawfee joins (chiya@2406:3003:2077:2341::babe)
2021-03-30 21:21:50 <zephyz> anyone have any pointer or guide to cross compiling with GHC? I want to compile my library for an ARM platform and expose it as a C FFI using my x86 computer
2021-03-30 21:22:04 ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-03-30 21:22:46 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c108:ff87:d06f:ca72) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-30 21:23:48 dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-30 21:24:07 RamZess joins (a5e15ade@165.225.90.222)
2021-03-30 21:25:15 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-30 21:27:31 <sshine> zephyz, did you read https://gitlab.haskell.org/ghc/ghc/-/wikis/cross-compilation yet?
2021-03-30 21:27:37 <zephyz> Yes
2021-03-30 21:28:10 <RamZess> Hello ppl, I'm tring to compile a code with "inline-c" package. TH code contains C++. I've got an error "Couldn't match expected type ‘CInt’ with actual type ‘CBool’". But I'm sure that callling c++ method has a parameter of type "bool". It looks for like "inline-c" uses somehow a C style parameter recognition: uses int instead of bool like
2021-03-30 21:28:11 <RamZess> old good c. Any suggestions how to fix it?
2021-03-30 21:29:52 <tefter> C doesn't have CInt neither CBool
2021-03-30 21:30:28 <RamZess> tefer, "inline-c" translate c "int" into haskell CInt
2021-03-30 21:31:07 <tefter> so that inline-c figures that and generate code
2021-03-30 21:31:19 <tefter> I guess Haskell code
2021-03-30 21:31:23 <RamZess> and should translate corresponding C++ bool into CBool, but it gives me an error
2021-03-30 21:31:40 <RamZess> "inline-C" is a quasiquoter
2021-03-30 21:32:30 <tefter> well error is quite simple function that has CBool as parameter is called with CInt
2021-03-30 21:32:43 <tefter> you dind't wrote that?
2021-03-30 21:33:54 <edwardk> RamZess: you need to set up your context with the type mapping you want
2021-03-30 21:34:19 borne joins (~fritjof@200116b864cfc800f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-30 21:34:20 <edwardk> RamZess: its fairly involved to customize it, but most of the common mappings can be accessed easily
2021-03-30 21:34:35 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-30 21:34:54 <edwardk> 9the problem comes down to the fact that which dialect of c you are working in tends to have different conventions about how to handle boolean like results

All times are in UTC.