Logs: freenode/#haskell
| 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.