| 2024-05-20 00:11:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 00:11:59 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 00:13:19 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 00:50:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-20 01:00:54 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-20 01:05:56 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-05-20 01:07:42 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 01:18:05 +0000 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-20 01:25:01 +0000 | yin | (~yin@user/zero) |
| 2024-05-20 01:31:49 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-05-20 01:52:11 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 01:56:33 +0000 | aforemny | (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) (Ping timeout: 255 seconds) |
| 2024-05-20 01:58:10 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 01:58:14 +0000 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) |
| 2024-05-20 02:00:02 +0000 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-20 02:00:52 +0000 | fliife | (~fliife@user/fliife) |
| 2024-05-20 02:02:05 +0000 | otto_s | (~user@p5de2f197.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-20 02:04:10 +0000 | otto_s | (~user@p5de2fafb.dip0.t-ipconnect.de) |
| 2024-05-20 02:04:53 +0000 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) (Ping timeout: 240 seconds) |
| 2024-05-20 02:05:34 +0000 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-20 02:05:44 +0000 | aforemny | (~aforemny@i59F516DC.versanet.de) |
| 2024-05-20 02:05:59 +0000 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-20 02:07:11 +0000 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-20 02:09:01 +0000 | td_ | (~td@i53870921.versanet.de) |
| 2024-05-20 02:20:08 +0000 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-05-20 02:35:48 +0000 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-05-20 02:37:23 +0000 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2024-05-20 02:39:39 +0000 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-05-20 02:41:17 +0000 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 240 seconds) |
| 2024-05-20 02:44:13 +0000 | cjb | (813b6d8c75@user/cjb) (Remote host closed the connection) |
| 2024-05-20 02:44:22 +0000 | cjb | (813b6d8c75@user/cjb) |
| 2024-05-20 02:49:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-20 03:00:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 03:01:53 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 03:05:35 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-20 03:06:04 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-20 03:06:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-05-20 03:27:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 03:27:29 +0000 | aforemny_ | (~aforemny@i59F516F9.versanet.de) |
| 2024-05-20 03:27:59 +0000 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-20 03:27:59 +0000 | aforemny | (~aforemny@i59F516DC.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-20 03:33:47 +0000 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-20 03:37:50 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-20 03:38:32 +0000 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) |
| 2024-05-20 03:40:46 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-05-20 03:55:51 +0000 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-20 04:07:35 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-05-20 04:07:50 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-05-20 04:08:21 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-05-20 04:20:24 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 04:28:35 +0000 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 04:29:27 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-20 04:31:19 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-05-20 04:42:29 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 04:53:29 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-20 05:03:20 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-20 05:05:33 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) (Quit: Leaving) |
| 2024-05-20 05:18:31 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-20 05:30:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-20 05:33:08 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 05:35:06 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-20 05:49:41 +0000 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 05:51:54 +0000 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) |
| 2024-05-20 06:31:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-20 06:32:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 06:33:30 +0000 | mailman | (~mailman@119.155.170.51) |
| 2024-05-20 06:33:41 +0000 | mailman | (~mailman@119.155.170.51) (Client Quit) |
| 2024-05-20 06:39:07 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 06:43:48 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 06:50:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) |
| 2024-05-20 06:55:47 +0000 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2024-05-20 06:56:13 +0000 | agent314 | (~quassel@121.127.44.27) |
| 2024-05-20 07:05:20 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 07:05:23 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-20 07:05:23 +0000 | agent314 | (~quassel@121.127.44.27) (Ping timeout: 264 seconds) |
| 2024-05-20 07:05:24 +0000 | agent314_ | (~quassel@184.75.215.3) |
| 2024-05-20 07:05:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-20 07:10:31 +0000 | mailman | (~mailman@103.166.150.118) |
| 2024-05-20 07:10:45 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 07:17:20 +0000 | mailman | (~mailman@103.166.150.118) (Quit: Client closed) |
| 2024-05-20 07:19:28 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 07:44:20 +0000 | yin | (~yin@user/zero) |
| 2024-05-20 07:44:41 +0000 | danse-nr3 | (~danse-nr3@151.43.97.10) |
| 2024-05-20 07:55:17 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-20 08:10:07 +0000 | Square2 | (~Square4@user/square) |
| 2024-05-20 08:19:56 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 08:21:03 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 08:24:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 08:32:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 08:45:41 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 2024-05-20 08:49:57 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 08:56:47 +0000 | PHO`_ | PHO` |
| 2024-05-20 08:59:09 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-05-20 09:00:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-20 09:01:50 +0000 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-05-20 09:01:51 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
| 2024-05-20 09:18:14 +0000 | ystael | (~ystael@user/ystael) |
| 2024-05-20 09:20:57 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-20 09:31:30 +0000 | danse-nr3 | (~danse-nr3@151.43.97.10) (Remote host closed the connection) |
| 2024-05-20 09:31:52 +0000 | danse-nr3 | (~danse-nr3@151.43.97.10) |
| 2024-05-20 09:36:00 +0000 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 260 seconds) |
| 2024-05-20 09:36:56 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
| 2024-05-20 09:38:53 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2024-05-20 09:59:24 +0000 | foul_owl | (~kerry@185.219.141.164) |
| 2024-05-20 10:01:47 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2024-05-20 10:01:53 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-20 10:30:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 10:30:57 +0000 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) |
| 2024-05-20 10:31:19 +0000 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 10:31:36 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 10:38:25 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 10:39:41 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-20 10:40:10 +0000 | <lxsameer> | hey folks, I'm looking for an open source grahp database with great support for Haskell, any suggestion? |
| 2024-05-20 10:44:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-20 10:50:35 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 10:50:59 +0000 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-20 10:57:26 +0000 | yin | (~yin@user/zero) |
| 2024-05-20 11:01:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 11:02:21 +0000 | <danse-nr3> | not sure lxsameer but you can look into hackage for graph database clients that seem well-maintained |
| 2024-05-20 11:04:20 +0000 | <lxsameer> | danse-nr3: cheers |
| 2024-05-20 11:04:54 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-20 11:05:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-05-20 11:06:22 +0000 | <danse-nr3> | v |
| 2024-05-20 11:07:49 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-20 11:16:06 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-05-20 11:19:08 +0000 | danse-nr3 | (~danse-nr3@151.43.97.10) (Ping timeout: 260 seconds) |
| 2024-05-20 11:19:29 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-20 11:21:41 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 11:28:46 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-20 11:28:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 11:29:52 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-05-20 11:34:50 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 11:39:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 11:39:39 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 11:41:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 11:41:45 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-05-20 11:42:01 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-05-20 11:55:31 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 12:16:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-20 12:18:44 +0000 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-20 12:31:41 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 12:32:52 +0000 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
| 2024-05-20 12:38:37 +0000 | agent314_ | (~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-20 12:39:05 +0000 | danse-nr3 | (~danse-nr3@151.57.192.203) |
| 2024-05-20 12:40:09 +0000 | agent314 | (~quassel@184.75.215.3) |
| 2024-05-20 12:43:51 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 12:54:18 +0000 | <markasoftware_> | is there a library providing an easy way to get a field of a Data-implementing type with the given type? If all the fields of my type have unique types, it'd be much nicer to be able to say `getField myUser :: EmailAddress` rather than either (a) having to declare it as a proper record with accessors or (b) having to destructure it |
| 2024-05-20 12:54:40 +0000 | <markasoftware_> | I know IxSet does some similar stuff internally to make `ixGen` work but I'm wondering if there's any simple standalone module for it |
| 2024-05-20 12:56:49 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-20 13:04:13 +0000 | <dmj`> | markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique. |
| 2024-05-20 13:04:30 +0000 | <dmj`> | https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html |
| 2024-05-20 13:06:51 +0000 | <dmj`> | unique within a record |
| 2024-05-20 13:11:38 +0000 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1) |
| 2024-05-20 13:12:02 +0000 | haveo | (~weechat@pacamara.iuwt.fr) |
| 2024-05-20 13:20:06 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-20 13:20:10 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-05-20 13:23:33 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 13:23:36 +0000 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 256 seconds) |
| 2024-05-20 13:25:20 +0000 | <carbolymer> | I have a function executing a callback function endlessly. The callback type should allow stopping of the processing. I'm wondering what's the best way to represent this type? e.g. https://bpa.st/N6HQ |
| 2024-05-20 13:25:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 13:25:42 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-20 13:27:38 +0000 | <ncf> | myFunction :: [Thing] ? |
| 2024-05-20 13:27:54 +0000 | <ncf> | or does reading require IO |
| 2024-05-20 13:27:59 +0000 | <carbolymer> | it does |
| 2024-05-20 13:28:28 +0000 | <carbolymer> | hmm, maybe [IO Thing] ... |
| 2024-05-20 13:29:47 +0000 | <carbolymer> | myFunction is polling some data source every 500ms, I guess it could be possible to do `[IO Thing]` ... |
| 2024-05-20 13:30:26 +0000 | <ncf> | wouldn't all the elements of the list be the same? |
| 2024-05-20 13:33:04 +0000 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2024-05-20 13:33:05 +0000 | <carbolymer> | no because those are `IO Thing`, so each element can do whatever IO action it wants |
| 2024-05-20 13:33:47 +0000 | <ncf> | but in your use case, they're all doing the same polling action, right? |
| 2024-05-20 13:35:07 +0000 | haveo | (~weechat@pacamara.iuwt.fr) |
| 2024-05-20 13:36:39 +0000 | <danse-nr3> | :t while |
| 2024-05-20 13:36:40 +0000 | <lambdabot> | error: Variable not in scope: while |
| 2024-05-20 13:36:53 +0000 | <danse-nr3> | @hoogle while |
| 2024-05-20 13:36:53 +0000 | <lambdabot> | Sound.Tidal.UI while :: Pattern Bool -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a |
| 2024-05-20 13:36:53 +0000 | <lambdabot> | Development.NSIS while :: Exp Bool -> Action () -> Action () |
| 2024-05-20 13:36:53 +0000 | <lambdabot> | Language.C.Syntax While :: Exp -> Stm -> SrcLoc -> Stm |
| 2024-05-20 13:37:05 +0000 | <ncf> | if so, you could just have poll :: IO Thing; then, given a callback :: Thing -> IO (Maybe x), you have untilJust (poll >>= callback) :: IO x |
| 2024-05-20 13:37:45 +0000 | <danse-nr3> | import Control.Monad.Extra |
| 2024-05-20 13:37:50 +0000 | <danse-nr3> | > import Control.Monad.Extra |
| 2024-05-20 13:37:52 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 2024-05-20 13:39:18 +0000 | <danse-nr3> | huh i forgot how to use the bots ... |
| 2024-05-20 13:39:24 +0000 | <danse-nr3> | % import Control.Monad.Extra |
| 2024-05-20 13:39:24 +0000 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Monad.Extra’ ; Perhaps you meant ; Control.Monad.Catch (from exceptions-0.10.5) ; Control.Monad.Error (from mtl-2.2.2... |
| 2024-05-20 13:39:48 +0000 | <ncf> | you can use /query to figure it out |
| 2024-05-20 13:41:16 +0000 | <danse-nr3> | well i was thinking of something like untilJust anyways |
| 2024-05-20 13:57:27 +0000 | <carbolymer> | yeah maybe untilJust is a good idea |
| 2024-05-20 13:59:29 +0000 | <carbolymer> | I'm wondering if there's a datatype in hackage similar to `data Stream m a = StreamT (m a) (m (Stream m a))` |
| 2024-05-20 14:00:30 +0000 | <carbolymer> | @hoogle StreamT |
| 2024-05-20 14:00:30 +0000 | <lambdabot> | Streamly type StreamT = SerialT |
| 2024-05-20 14:00:30 +0000 | <lambdabot> | Streamly.Internal.Data.Stream.Serial type StreamT = SerialT |
| 2024-05-20 14:00:30 +0000 | <lambdabot> | System.Process.Typed data StreamType |
| 2024-05-20 14:03:40 +0000 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-20 14:04:34 +0000 | yin | (~yin@user/zero) |
| 2024-05-20 14:05:44 +0000 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) () |
| 2024-05-20 14:06:04 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-20 14:06:34 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-20 14:09:54 +0000 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-20 14:20:12 +0000 | danse-nr3 | (~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds) |
| 2024-05-20 14:34:33 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 14:36:10 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-20 14:36:11 +0000 | danse-nr3 | (~danse-nr3@151.57.192.203) |
| 2024-05-20 14:36:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 14:38:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 14:42:17 +0000 | cptaffe | (~cptaffe@user/cptaffe) |
| 2024-05-20 14:48:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 14:56:17 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 14:56:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-20 14:57:49 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 15:03:49 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 15:04:25 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 15:05:07 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 15:05:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 15:11:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 15:12:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 15:14:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 15:16:43 +0000 | mikess | (~mikess@user/mikess) |
| 2024-05-20 15:37:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 16:02:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 16:07:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 16:21:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 16:22:21 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-05-20 16:27:04 +0000 | danse-nr3 | (~danse-nr3@151.57.192.203) (Read error: Connection reset by peer) |
| 2024-05-20 16:27:52 +0000 | danse-nr3 | (~danse-nr3@151.43.161.82) |
| 2024-05-20 16:28:02 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 16:35:59 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-05-20 16:36:01 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-20 16:42:35 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-05-20 16:43:36 +0000 | rvalue- | rvalue |
| 2024-05-20 16:47:57 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 16:48:55 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 255 seconds) |
| 2024-05-20 16:49:15 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2024-05-20 16:49:30 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 16:55:03 +0000 | phma_ | (~phma@host-67-44-208-139.hnremote.net) |
| 2024-05-20 16:58:05 +0000 | phma | (~phma@2001:5b0:210b:b498:a19:569a:587e:d186) (Ping timeout: 240 seconds) |
| 2024-05-20 17:03:17 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-05-20 17:03:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-20 17:06:32 +0000 | phma_ | phma |
| 2024-05-20 17:12:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 17:12:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 17:15:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 17:15:17 +0000 | danse-nr3 | (~danse-nr3@151.43.161.82) (Ping timeout: 240 seconds) |
| 2024-05-20 17:15:41 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-20 17:22:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 17:22:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-20 17:23:05 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 17:29:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-20 17:35:34 +0000 | housemate_ | (~housemate@2401:d002:b90d:1101:795a:3e19:6a0:7784) |
| 2024-05-20 17:35:41 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-05-20 17:35:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 17:37:22 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-05-20 17:37:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-20 17:37:22 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 17:37:22 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-20 17:37:51 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 17:40:16 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 17:42:40 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-20 17:43:01 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 17:43:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 17:46:13 +0000 | danse-nr3 | (~danse-nr3@151.43.161.82) |
| 2024-05-20 17:47:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 17:49:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-20 17:50:45 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 17:51:16 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-05-20 17:51:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-20 17:54:53 +0000 | danse-nr3 | (~danse-nr3@151.43.161.82) (Ping timeout: 240 seconds) |
| 2024-05-20 17:58:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-20 17:58:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 18:00:06 +0000 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-20 18:02:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-20 18:03:10 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 18:09:50 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-20 18:09:51 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-05-20 18:11:59 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-20 18:14:46 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-20 18:16:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-20 18:26:02 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 18:29:50 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-20 18:33:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-20 18:38:35 +0000 | <lxsameer> | hey folks, sorry for my uneducated question: would it be possible to use a static c++ library with Haskell instead of FFI? |
| 2024-05-20 18:39:10 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 18:41:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 18:43:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 18:43:53 +0000 | <monochrom> | I don't understand the question, especially "instead". You have to go through FFI. |
| 2024-05-20 18:46:48 +0000 | <lxsameer> | monochrom: my bad, I want to link the static lib (cpp) in the final binary and don't want to use dl_open or something to that sort |
| 2024-05-20 18:47:24 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2024-05-20 18:47:40 +0000 | <tomsmeding> | interacting with a c++ API is probably a bad idea, with name mangling and so on, but if your c++ library exposes a C interface, then that should be doable via the standard procedures |
| 2024-05-20 18:47:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 18:48:03 +0000 | <tomsmeding> | tell cabal to link in extra-libraries |
| 2024-05-20 18:48:10 +0000 | bgamari | (~bgamari@64.223.226.84) (Ping timeout: 255 seconds) |
| 2024-05-20 18:48:23 +0000 | <tomsmeding> | and then expose its functions in haskell via the FFI |
| 2024-05-20 18:48:31 +0000 | <tomsmeding> | ('foreign' declarations) |
| 2024-05-20 18:48:57 +0000 | <monochrom> | So you are just asking about static linking. I have never needed it, but I heard other people doing it. |
| 2024-05-20 18:49:44 +0000 | <lxsameer> | tomsmeding: I can do a static C lib instead of cpp. I have control over that |
| 2024-05-20 18:50:06 +0000 | <lxsameer> | monochrom: yeah I need it to be static |
| 2024-05-20 18:50:10 +0000 | <tomsmeding> | I mean, it can be implemented in C++ all you like, as long as you put the functions you want to expose in an `extern "C" { }` block |
| 2024-05-20 18:50:50 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 18:51:47 +0000 | <tomsmeding> | though being implemented in c++ means that you'll need to also (dynamically) link against the c++ standard library |
| 2024-05-20 18:52:05 +0000 | <tomsmeding> | might be as easy as also putting libstdc++ or something similar in extra-libraries |
| 2024-05-20 18:52:06 +0000 | <lxsameer> | tomsmeding: i statically link against libc++ |
| 2024-05-20 18:52:19 +0000 | bgamari | (~bgamari@64.223.238.64) |
| 2024-05-20 18:52:21 +0000 | <tomsmeding> | ... you can do that? |
| 2024-05-20 18:52:24 +0000 | <lxsameer> | in general I want a static library |
| 2024-05-20 18:52:33 +0000 | <lxsameer> | oh yeah, libc++ is pretty easy |
| 2024-05-20 18:52:39 +0000 | <tomsmeding> | I know that glibc categorically disallows that |
| 2024-05-20 18:52:39 +0000 | <lxsameer> | *static binary |
| 2024-05-20 18:52:53 +0000 | <tomsmeding> | but maybe libc++ is easier on that |
| 2024-05-20 18:52:54 +0000 | <lxsameer> | tomsmeding: yeah, i use musl as well |
| 2024-05-20 18:52:59 +0000 | <tomsmeding> | ah I see |
| 2024-05-20 18:53:14 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 18:53:21 +0000 | <lxsameer> | my aim is to write parts of my application with haskell and parts in C for interfacing with llvm |
| 2024-05-20 18:53:24 +0000 | <tomsmeding> | lxsameer: this exists https://hasufell.github.io/posts/2024-04-21-static-linking.html |
| 2024-05-20 18:53:31 +0000 | <lxsameer> | but at the end I need a static executable |
| 2024-05-20 18:53:37 +0000 | <lxsameer> | oh cool thanks |
| 2024-05-20 18:53:47 +0000 | <tomsmeding> | says nothing about c++ specifically |
| 2024-05-20 18:54:00 +0000 | <tomsmeding> | but might contain pointers to stuff you need anyway |
| 2024-05-20 18:54:04 +0000 | <monochrom> | Someone has to write the extern"C"{...} API, and Haskell FFI can only call the C API. But it can be done. |
| 2024-05-20 18:54:13 +0000 | <lxsameer> | tomsmeding: cheers, it is definitely useful |
| 2024-05-20 18:54:20 +0000 | sadome | (~sadome@182.69.179.74) |
| 2024-05-20 18:54:20 +0000 | sadome | (~sadome@182.69.179.74) (Changing host) |
| 2024-05-20 18:54:20 +0000 | sadome | (~sadome@user/sadome) |
| 2024-05-20 18:54:21 +0000 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-20 18:55:10 +0000 | <lxsameer> | monochrom: awesome |
| 2024-05-20 18:55:15 +0000 | <sclv> | bytestring is probably the best example of linking c++ and using it, but that might be dynamic. i imagine you can toss the extra libraries into the link path and settings and it should be basically ok, but Extremely not portable for building https://hackage.haskell.org/package/bytestring-0.12.1.0/bytestring.cabal |
| 2024-05-20 18:55:51 +0000 | <monochrom> | OK, writing your own C API for what's morally C++ is an uphill battle in the worst case. But I'm just a theorist. |
| 2024-05-20 18:56:26 +0000 | <tomsmeding> | llvm has a C api for some part of its API surface |
| 2024-05-20 18:56:42 +0000 | <tomsmeding> | sclv: I don't see any c++ in that cabal file, just C? |
| 2024-05-20 18:56:57 +0000 | <lxsameer> | monochrom: since I'm going to interface llvm, the c api is already there |
| 2024-05-20 18:57:10 +0000 | <tomsmeding> | lxsameer: be aware that the llvm-hs package exists |
| 2024-05-20 18:57:22 +0000 | <tomsmeding> | on github there's a branch for llvm 15 |
| 2024-05-20 18:57:31 +0000 | <lxsameer> | tomsmeding: it's old |
| 2024-05-20 18:57:44 +0000 | <tomsmeding> | 15 is still old but less old :) |
| 2024-05-20 18:58:14 +0000 | <lxsameer> | :D indeed, but i might be able to use it as a reference |
| 2024-05-20 18:58:17 +0000 | <sclv> | whoops i meant text not bytestring https://hackage.haskell.org/package/text-2.1.1/text.cabal |
| 2024-05-20 18:58:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 18:59:05 +0000 | <tomsmeding> | ah there's a nice chunk of "let's get the c++ stdlib in there the hard way" code |
| 2024-05-20 18:59:19 +0000 | <monochrom> | Interesting, simdutf.cpp. Does that mean SIMD? |
| 2024-05-20 18:59:42 +0000 | <monochrom> | Using SIMD instructions for UTF??? encoding so it is faster? |
| 2024-05-20 18:59:51 +0000 | <tomsmeding> | yes, vectorised UTF* parsing |
| 2024-05-20 19:00:01 +0000 | <monochrom> | You people are nuts. >:) |
| 2024-05-20 19:00:05 +0000 | <sclv> | https://github.com/simdutf/simdutf <-- very fast, very complicated, very c++ |
| 2024-05-20 19:00:16 +0000 | <tomsmeding> | daniel lemire stuff |
| 2024-05-20 19:01:01 +0000 | <monochrom> | Next you are going to need a high-end GPU too... |
| 2024-05-20 19:01:18 +0000 | <monochrom> | if flag(gpuutf) ... |
| 2024-05-20 19:01:57 +0000 | <tomsmeding> | I feel like the bandwidth of the data connection to a gpu is less than the speed you can get with good simd code for utf parsing |
| 2024-05-20 19:02:11 +0000 | <Rembane> | I hope someone makes science on this |
| 2024-05-20 19:02:32 +0000 | <monochrom> | "Hi I have a question. Every time I run a progrma that uses Data.Text, my GPU frame rate drops to 1 FPS. What's going on?" >:) |
| 2024-05-20 19:03:30 +0000 | <mauke> | there's potential for fusion here |
| 2024-05-20 19:03:36 +0000 | <monochrom> | "Certain version of GHC crash on Windows, when TemplateHaskell encounters C++." Hahaha template wars. |
| 2024-05-20 19:03:55 +0000 | <tomsmeding> | haha oh no |
| 2024-05-20 19:03:56 +0000 | <mauke> | hw accelerated font rendering |
| 2024-05-20 19:04:08 +0000 | <mauke> | then do your utf8 decoding in the font |
| 2024-05-20 19:04:20 +0000 | <mauke> | with ligatures of the bytes or something |
| 2024-05-20 19:04:21 +0000 | <monochrom> | Haha TIL how to say "false" in cabal prolog: build-depends: base < 0 |
| 2024-05-20 19:04:34 +0000 | <tomsmeding> | don't you have `buildable: False` |
| 2024-05-20 19:04:41 +0000 | <tomsmeding> | perhaps this cabal file predates that |
| 2024-05-20 19:07:08 +0000 | mud | (~mud@user/kadoban) |
| 2024-05-20 19:07:39 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-20 19:08:46 +0000 | <tomsmeding> | TIL this exists https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/assert.html#assertions |
| 2024-05-20 19:09:36 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-20 19:10:43 +0000 | <tomsmeding> | and it's apparently super old, judging from this comment right above 'assert': https://downloads.haskell.org/ghc/latest/docs/libraries/ghc-internal-9.1001.0-be1e/src//GHC.Intern… |
| 2024-05-20 19:10:54 +0000 | <monochrom> | Yeah GHC offered that when CallStack didn't exist back then. |
| 2024-05-20 19:11:16 +0000 | <tomsmeding> | it's vert C |
| 2024-05-20 19:11:18 +0000 | <tomsmeding> | 8very |
| 2024-05-20 19:11:21 +0000 | <tomsmeding> | *very |
| 2024-05-20 19:11:25 +0000 | <tomsmeding> | christ, I can't type any more |
| 2024-05-20 19:11:39 +0000 | <monochrom> | It's clearly inspired by C's assert. :) |
| 2024-05-20 19:16:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 19:16:14 +0000 | sam113102 | (~sam@24.157.253.231) |
| 2024-05-20 19:18:45 +0000 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 255 seconds) |
| 2024-05-20 19:18:48 +0000 | sam113102 | sam113101 |
| 2024-05-20 19:19:37 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-20 19:20:35 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-05-20 19:24:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 19:28:59 +0000 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 19:44:09 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-20 19:48:31 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 19:48:51 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-20 19:49:15 +0000 | <justsomeguy> | What's the reccomended editor setup to get autocompletion, in-line docs, and linting? |
| 2024-05-20 19:49:39 +0000 | <tomsmeding> | probably the lowest-effort option is VSCode with the Haskell plugin |
| 2024-05-20 19:50:49 +0000 | <tomsmeding> | but because most of the functionality is contained in haskell-language-server, which is an LSP server, any editor that supports LSP will work (to the extent that LSP is supported etc.) |
| 2024-05-20 19:53:13 +0000 | <justsomeguy> | VSCode works well. I was going to untangle the spaghetti code in my dotfiles to get the LSP working with vim but honestly I don't think it's worth the effort. |
| 2024-05-20 19:53:40 +0000 | tomsmeding | uses LSP with neovim's builtin LSP support; it works, but there are some rough edges sometimes |
| 2024-05-20 19:54:47 +0000 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2024-05-20 19:56:53 +0000 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 19:57:28 +0000 | <justsomeguy> | I should spend a weekend figuring out what an LSP really is and how to set it up properly. |
| 2024-05-20 19:58:45 +0000 | nickiminjaj | (~kvirc@user/laxhh) |
| 2024-05-20 19:58:57 +0000 | <geekosaur> | LSP per se is Language Server Protocol, a standard for language support services to communicate with editors. haskell-language-server is the language server for Haskell |
| 2024-05-20 19:59:15 +0000 | <geekosaur> | (there being others such as rust-analyzer) |
| 2024-05-20 19:59:28 +0000 | <tomsmeding> | justsomeguy: when you open a file in a language L in an editor, the editor spins up L's language server and tells it what file it is. Then whenever you make a change, it sends a message to the server describing the change. It then expects all the rest from the server in reply messages: diagnostics, code actions, etc. |
| 2024-05-20 19:59:56 +0000 | <monochrom> | LSP is the interface between editors and languages. So that if there are M editors and N languages, then there needs only M+N toolings rather than MxN toolings. |
| 2024-05-20 20:00:00 +0000 | <tomsmeding> | HLS in particular uses ghc as a library internally, hence it's intrinsically bound to a particular ghc version |
| 2024-05-20 20:00:30 +0000 | <tomsmeding> | look, you don't even have to do research, ask a question and you get answers in triplicate |
| 2024-05-20 20:00:38 +0000 | <justsomeguy> | :D |
| 2024-05-20 20:00:48 +0000 | <monochrom> | Recall how previously there were MxN "language plugins/modes". |
| 2024-05-20 20:00:53 +0000 | <geekosaur> | @quote antiphony |
| 2024-05-20 20:00:53 +0000 | <lambdabot> | No quotes match. My pet ferret can type better than you! |
| 2024-05-20 20:00:56 +0000 | <geekosaur> | bah |
| 2024-05-20 20:01:05 +0000 | <tomsmeding> | @quote fugue |
| 2024-05-20 20:01:06 +0000 | <lambdabot> | monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues. |
| 2024-05-20 20:01:08 +0000 | <tomsmeding> | that one? |
| 2024-05-20 20:01:10 +0000 | <monochrom> | :) |
| 2024-05-20 20:01:22 +0000 | <geekosaur> | ah yes, it's changed a few times |
| 2024-05-20 20:01:42 +0000 | fizbin__ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2024-05-20 20:02:01 +0000 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 20:02:01 +0000 | <monochrom> | We have only @remember'ed two, Cale's stereo and my fugue. |
| 2024-05-20 20:02:02 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-05-20 20:02:03 +0000 | <darkling> | Just one question: why so simple? :) |
| 2024-05-20 20:02:28 +0000 | <mauke> | I used to have 1 editor (vim) and N language plugins |
| 2024-05-20 20:02:41 +0000 | <monochrom> | But antiphony sounds like destructive interference so all answers cancel out so there is silence. >:) |
| 2024-05-20 20:03:05 +0000 | <mauke> | now I need K hls versions in addition, one for each ghc version |
| 2024-05-20 20:03:06 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-20 20:03:12 +0000 | <geekosaur> | yeh, it was a sarcastic response to a bunch of answers that contradicted each other some years back |
| 2024-05-20 20:03:20 +0000 | <monochrom> | Oh haha nice. |
| 2024-05-20 20:03:24 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2024-05-20 20:03:26 +0000 | <geekosaur> | s/response/reaction/ |
| 2024-05-20 20:04:04 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 20:04:45 +0000 | <monochrom> | Well, I may be responsible for part of that. There were a few rare times when other people said "yes" but I said "no". |
| 2024-05-20 20:05:01 +0000 | <ncf> | @where stereo |
| 2024-05-20 20:05:01 +0000 | <lambdabot> | I know nothing about stereo. |
| 2024-05-20 20:05:10 +0000 | <monochrom> | You want: |
| 2024-05-20 20:05:13 +0000 | <monochrom> | @quote stereo |
| 2024-05-20 20:05:13 +0000 | <lambdabot> | xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! |
| 2024-05-20 20:05:21 +0000 | <monochrom> | err there is another one |
| 2024-05-20 20:05:24 +0000 | <monochrom> | @quote Cale stereo |
| 2024-05-20 20:05:24 +0000 | <lambdabot> | No quotes match. Do you think like you type? |
| 2024-05-20 20:06:14 +0000 | <geekosaur> | I am pretty sure that one disappeared years ago, when someone else took over lambdabot from dons but didn't get the databases along with it |
| 2024-05-20 20:06:37 +0000 | <EvanR> | I remember that one |
| 2024-05-20 20:06:38 +0000 | <monochrom> | OK I think you can PM lambdabot and keep asking @quote stereo, there are several fun ones. But it looks like Cale's original is lost. |
| 2024-05-20 20:07:33 +0000 | <monochrom> | It was basically my fugue one with s/contrapunctual fugue/majestic stereo/ |
| 2024-05-20 20:08:12 +0000 | <tomsmeding> | that sounds familiar to even me |
| 2024-05-20 20:08:18 +0000 | <tomsmeding> | and I'm young in this channel |
| 2024-05-20 20:08:36 +0000 | <monochrom> | But I love this one: |
| 2024-05-20 20:08:37 +0000 | <monochrom> | @quote scrollback.*stereo |
| 2024-05-20 20:08:37 +0000 | <lambdabot> | hpc says: here in #haskell we are aware that reading scrollback is hard, that's why we always answer in majestic stereo |
| 2024-05-20 20:09:41 +0000 | <ski> | @quote are.in.majestic |
| 2024-05-20 20:09:41 +0000 | <lambdabot> | monochrom says: Welcome to #haskell, where @remember's are in majestic stereo! |
| 2024-05-20 20:09:49 +0000 | <monochrom> | >:) |
| 2024-05-20 20:10:01 +0000 | <Rembane> | :D |
| 2024-05-20 20:11:32 +0000 | ski | needs to get something to drink |
| 2024-05-20 20:12:32 +0000 | sayola1 | (~sayola@ip-109-42-241-204.web.vodafone.de) |
| 2024-05-20 20:12:50 +0000 | <EvanR> | the power of the dot |
| 2024-05-20 20:13:56 +0000 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Ping timeout: 252 seconds) |
| 2024-05-20 20:15:33 +0000 | <ski> | (water) |
| 2024-05-20 20:18:14 +0000 | <tomsmeding> | @quote are in majestic |
| 2024-05-20 20:18:15 +0000 | <lambdabot> | No quotes for this person. And you call yourself a Rocket Surgeon! |
| 2024-05-20 20:18:24 +0000 | <tomsmeding> | oh it's name<space>regex? |
| 2024-05-20 20:18:51 +0000 | visilii_ | (~visilii@188.254.110.134) |
| 2024-05-20 20:19:46 +0000 | <ncf> | water is good |
| 2024-05-20 20:22:04 +0000 | visilii | (~visilii@188.254.126.77) (Ping timeout: 246 seconds) |
| 2024-05-20 20:22:17 +0000 | <monochrom> | Yeah it's regex or name regex |
| 2024-05-20 20:22:58 +0000 | visilii | (~visilii@188.254.126.159) |
| 2024-05-20 20:23:26 +0000 | zetef | (~quassel@5.2.182.98) |
| 2024-05-20 20:23:55 +0000 | visilii_ | (~visilii@188.254.110.134) (Ping timeout: 272 seconds) |
| 2024-05-20 20:30:42 +0000 | Square | (~Square@user/square) |
| 2024-05-20 20:30:43 +0000 | darkling | is reminded of a conference tote bag, carried by a colleague in the neuroscience department, which read: "It's not rocket surgery!" |
| 2024-05-20 20:36:07 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-20 20:36:21 +0000 | causal | (~eric@50.35.88.207) |
| 2024-05-20 20:48:00 +0000 | agent314 | (~quassel@184.75.215.3) (Ping timeout: 260 seconds) |
| 2024-05-20 20:48:15 +0000 | agent314 | (~quassel@184.75.215.3) |
| 2024-05-20 20:49:49 +0000 | pavonia | (~user@user/siracusa) |
| 2024-05-20 20:57:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-05-20 21:07:42 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-20 21:07:55 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-20 21:09:29 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2024-05-20 21:12:16 +0000 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-20 21:17:57 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-20 21:20:00 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-20 21:22:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 21:33:37 +0000 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-05-20 21:35:06 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 255 seconds) |
| 2024-05-20 21:35:17 +0000 | Riviera | (Riviera@user/riviera) (Quit: leaving) |
| 2024-05-20 21:36:55 +0000 | housemate_ | (~housemate@2401:d002:b90d:1101:795a:3e19:6a0:7784) (Remote host closed the connection) |
| 2024-05-20 21:37:52 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 21:43:13 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2024-05-20 21:44:29 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-05-20 21:47:21 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-20 21:50:24 +0000 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-20 21:58:45 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 22:04:20 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 22:05:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 22:06:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 22:11:11 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.203) |
| 2024-05-20 22:13:41 +0000 | AlexZenon | (~alzenon@5.139.232.131) (Ping timeout: 240 seconds) |
| 2024-05-20 22:13:43 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-20 22:14:32 +0000 | <nitrix> | As someone returning to Haskell, what's the state of the ecosystem now? Are projects primarily Cabal or Stack? |
| 2024-05-20 22:14:59 +0000 | AlexNoo | (~AlexNoo@5.139.232.131) (Ping timeout: 264 seconds) |
| 2024-05-20 22:15:29 +0000 | <geekosaur> | 50-50 |
| 2024-05-20 22:15:44 +0000 | <geekosaur> | but cabal has been increasing its "market share" of late |
| 2024-05-20 22:16:57 +0000 | <glguy> | I still check that my projects build in stack but don't use it day to day |
| 2024-05-20 22:17:19 +0000 | <yin> | yeah. +ghcup -stack |
| 2024-05-20 22:17:59 +0000 | <yin> | maybe +ghcid depending on how long have you been away |
| 2024-05-20 22:19:02 +0000 | AlexZenon | (~alzenon@178.34.163.203) |
| 2024-05-20 22:19:04 +0000 | <glguy> | I like ghcid during Advent of Code but is easy enough to use these days that I don't bother in general |
| 2024-05-20 22:19:10 +0000 | <glguy> | but HLS is* |
| 2024-05-20 22:20:59 +0000 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-20 22:21:53 +0000 | euleritian | (~euleritia@dynamic-176-003-074-222.176.3.pool.telefonica.de) |
| 2024-05-20 22:22:09 +0000 | <yin> | ghcid --warnings --no-status --run --clear --no-height-limit |
| 2024-05-20 22:24:09 +0000 | <yin> | for advent of code this is what i do, and i test the sample inputs first |
| 2024-05-20 22:26:23 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-05-20 22:31:08 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-05-20 22:34:47 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds) |
| 2024-05-20 22:35:03 +0000 | aryah | (~aryah@141-138-45-48.dsl.iskon.hr) |
| 2024-05-20 22:38:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-20 22:39:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-20 22:40:11 +0000 | aryah | (~aryah@141-138-45-48.dsl.iskon.hr) (Ping timeout: 264 seconds) |
| 2024-05-20 22:41:03 +0000 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 22:53:37 +0000 | troydm | (~troydm@user/troydm) |
| 2024-05-20 22:56:29 +0000 | euleritian | (~euleritia@dynamic-176-003-074-222.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 22:56:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 23:03:11 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2024-05-20 23:04:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) (Ping timeout: 256 seconds) |
| 2024-05-20 23:06:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c) |
| 2024-05-20 23:07:57 +0000 | pdw | (~user@215.156.62.185.bridgefibre.net) (Ping timeout: 272 seconds) |
| 2024-05-20 23:09:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c) (Client Quit) |
| 2024-05-20 23:15:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-20 23:15:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b527:98ae:f93a:e494) |
| 2024-05-20 23:22:53 +0000 | nickiminjaj | (~kvirc@user/laxhh) (Quit: KVIrc 5.2.2 Quasar http://www.kvirc.net/) |
| 2024-05-20 23:29:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-20 23:31:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-20 23:32:16 +0000 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2024-05-20 23:53:10 +0000 | phma | (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-20 23:54:08 +0000 | phma | (phma@2001:5b0:210f:6338:6b26:1f57:9336:4cb3) |
| 2024-05-20 23:54:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |