| 2022-05-19 00:00:48 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-19 00:02:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 00:02:42 +0200 | mikoto-c1 | (~mikoto-ch@84-30-69-159.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2022-05-19 00:08:25 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:b162:3ee9:4b48:2a00) (Ping timeout: 248 seconds) |
| 2022-05-19 00:10:11 +0200 | <romesrf> | ahahaha |
| 2022-05-19 00:11:23 +0200 | acidjnk | (~acidjnk@p200300d0c7068b757d0566c8380b0d79.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-19 00:12:26 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-05-19 00:13:18 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-05-19 00:16:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-19 00:16:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-19 00:22:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 00:23:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-19 00:26:14 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 00:27:39 +0200 | dagi35605 | dagit |
| 2022-05-19 00:30:20 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 00:32:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 00:36:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 00:40:22 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-19 00:42:50 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 00:44:52 +0200 | slack1256 | (~slack1256@191.126.227.77) (Ping timeout: 272 seconds) |
| 2022-05-19 00:51:24 +0200 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-05-19 00:55:26 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:f181:7a80:2e1b:312d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-19 00:56:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-19 00:57:04 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-19 00:57:04 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-19 00:57:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-19 00:58:42 +0200 | pera | (~pera@user/pera) (Ping timeout: 260 seconds) |
| 2022-05-19 01:00:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 01:02:03 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 276 seconds) |
| 2022-05-19 01:03:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 01:10:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 01:16:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 01:19:32 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 01:22:43 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-19 01:25:41 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 01:27:54 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-19 01:32:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 01:34:10 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-19 01:35:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 01:41:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 01:43:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 01:44:47 +0200 | _xor | (~xor@72.49.198.103) (Quit: bbiab) |
| 2022-05-19 01:44:57 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 248 seconds) |
| 2022-05-19 01:45:26 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 01:45:54 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 01:46:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-05-19 01:50:10 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-19 01:52:00 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-05-19 01:53:08 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 01:53:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-19 01:54:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-19 01:55:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-19 01:56:17 +0200 | mmhat | (~mmh@p200300f1c71af875ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-05-19 01:57:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 02:01:30 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-19 02:05:50 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-19 02:10:57 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-19 02:16:09 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 02:19:05 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 02:21:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-19 02:23:17 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 2022-05-19 02:23:30 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-19 02:23:43 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-19 02:25:14 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-19 02:25:16 +0200 | <exarkun> | > For that reason, it is may be good practice when writing a function which should only be applied to infinite lists to replace foldr f [] with foldr f undefined. |
| 2022-05-19 02:25:18 +0200 | <lambdabot> | <hint>:1:16: error: parse error on input ‘,’ |
| 2022-05-19 02:25:24 +0200 | <exarkun> | https://wiki.haskell.org/Foldr_Foldl_Foldl' |
| 2022-05-19 02:25:51 +0200 | <exarkun> | "may be" is pretty non-committal. is it or isn't it? |
| 2022-05-19 02:26:09 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 02:27:00 +0200 | <Axman6> | seems like a good way to plant boobietraps in your code for others to unexpectedlt hit |
| 2022-05-19 02:29:15 +0200 | <geekosaur> | only if it's not documented |
| 2022-05-19 02:29:42 +0200 | <geekosaur> | that said, I personally think if you're using lists that should be infinite, you should be using a stream type instead of a list |
| 2022-05-19 02:29:46 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-19 02:29:46 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-19 02:29:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-19 02:30:06 +0200 | <Axman6> | yeah, use types to enforce invariants |
| 2022-05-19 02:32:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 02:32:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.5) |
| 2022-05-19 02:33:47 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 2022-05-19 02:36:19 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-05-19 02:36:20 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 248 seconds) |
| 2022-05-19 02:38:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-19 02:45:43 +0200 | <monochrom> | I don't see why one should be commital. |
| 2022-05-19 02:46:32 +0200 | <monochrom> | I mean to so-called "best practice" "rule of thumb" "style guide". |
| 2022-05-19 02:49:57 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-19 02:51:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 02:54:04 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 2022-05-19 02:56:09 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 03:04:06 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-19 03:05:43 +0200 | frost | (~frost@user/frost) |
| 2022-05-19 03:10:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-19 03:14:20 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-19 03:16:54 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-19 03:18:07 +0200 | andrey__ | (~andrey@p200300dbcf0fa900cd94bcacbcaf8e29.dip0.t-ipconnect.de) |
| 2022-05-19 03:20:19 +0200 | andrey_ | (~andrey@p200300dbcf06c3008d878644fc61df72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-19 03:22:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-05-19 03:23:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 03:23:44 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 03:27:10 +0200 | werneta | (~werneta@137.79.199.110) (Ping timeout: 240 seconds) |
| 2022-05-19 03:28:55 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 03:30:18 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 244 seconds) |
| 2022-05-19 03:33:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 03:37:42 +0200 | marquis_andras | (~marquis_a@118.208.237.82) (Remote host closed the connection) |
| 2022-05-19 03:37:47 +0200 | Infinite | (~Infinite@49.39.119.59) |
| 2022-05-19 03:37:57 +0200 | benin | (~benin@183.82.31.170) (Ping timeout: 260 seconds) |
| 2022-05-19 03:41:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-19 03:42:14 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-05-19 03:42:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-19 03:42:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 03:43:42 +0200 | <ashln> | hi! how might one go about using a library from a remote git repository that is not in hackage in a cabal package? |
| 2022-05-19 03:45:54 +0200 | <jackdk> | ashln: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-con… ; https://github.com/brendanhay/amazonka/discussions/716 has an example |
| 2022-05-19 03:45:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 03:46:25 +0200 | <ashln> | jackdk: look at that, thanks so much! |
| 2022-05-19 03:46:38 +0200 | <jackdk> | no worries |
| 2022-05-19 03:46:56 +0200 | Infinite | (~Infinite@49.39.119.59) (Ping timeout: 252 seconds) |
| 2022-05-19 03:49:38 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 03:52:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 03:53:30 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-19 03:53:31 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-19 03:53:58 +0200 | <Guest54> | Hi everyone i need some help in Haskell is it the right place to ask ? |
| 2022-05-19 03:54:03 +0200 | <jackdk> | Guest54: yes |
| 2022-05-19 03:54:48 +0200 | <jackdk> | I'm about to head out, and it's a little quiet this time of day, but hopefully some other people are about |
| 2022-05-19 03:54:55 +0200 | <Guest54> | I have a given String and i want to extract some informations from this string into three lists in Haskell (id of patient, time, priority). Can someone help me to figure it out ? |
| 2022-05-19 03:54:56 +0200 | <Guest54> | The string format is : |
| 2022-05-19 03:54:56 +0200 | <Guest54> | "43525 5 2 |
| 2022-05-19 03:54:57 +0200 | <Guest54> | 25545 7 5 |
| 2022-05-19 03:54:57 +0200 | <Guest54> | 7455 3 4" |
| 2022-05-19 03:54:58 +0200 | <Guest54> | i want to get three lists. |
| 2022-05-19 03:54:58 +0200 | <Guest54> | -The first list hold the patients ids, [43525 , 25545 , 7455] |
| 2022-05-19 03:54:59 +0200 | <Guest54> | -The second list the times, [5, 7, 3] |
| 2022-05-19 03:54:59 +0200 | <Guest54> | -The third list the priorities, [2, 5, 4] |
| 2022-05-19 03:55:13 +0200 | <Axman6> | Please don't do that |
| 2022-05-19 03:55:16 +0200 | <Axman6> | @where paste |
| 2022-05-19 03:55:16 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-05-19 03:55:42 +0200 | <Guest54> | okey sorry i m new here so i don't know really the rules or type of questions i have to ask |
| 2022-05-19 03:55:45 +0200 | <Guest54> | sorry abt that |
| 2022-05-19 03:56:10 +0200 | <Axman6> | Some functions you might want to look at are: lines, words, read |
| 2022-05-19 03:56:29 +0200 | <Guest54> | oh thanks !! i will look for that |
| 2022-05-19 03:56:31 +0200 | <ashln> | Guest54: would you want to split by line with the `lines` function, and then apply the `words` function to each element? |
| 2022-05-19 03:56:36 +0200 | <Axman6> | > lines "43525 5 2\n25545 7 5\n7455 3 4" |
| 2022-05-19 03:56:38 +0200 | <lambdabot> | ["43525 5 2","25545 7 5","7455 3 4"] |
| 2022-05-19 03:56:46 +0200 | <Axman6> | > words "7455 3 4" |
| 2022-05-19 03:56:48 +0200 | <lambdabot> | ["7455","3","4"] |
| 2022-05-19 03:57:06 +0200 | <Axman6> | > read "7455" :: Int |
| 2022-05-19 03:57:08 +0200 | <lambdabot> | 7455 |
| 2022-05-19 03:58:05 +0200 | <Axman6> | That'll get you some of the way, but what you do from there will depends on how you want to handle things |
| 2022-05-19 03:58:13 +0200 | <Axman6> | Guest54: is this homework? |
| 2022-05-19 03:59:14 +0200 | <Guest54> | no, Just a training exemple, as i m new to Haskell and i want to learn more about this language |
| 2022-05-19 03:59:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 03:59:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 04:00:01 +0200 | <Axman6> | great |
| 2022-05-19 04:00:46 +0200 | <Axman6> | well, feel free to worth through the problem here (though maybe we should move to #haskell-beginners |
| 2022-05-19 04:00:48 +0200 | <Axman6> | ) |
| 2022-05-19 04:00:54 +0200 | <Axman6> | work* |
| 2022-05-19 04:01:52 +0200 | ashln | (~ashln@98.38.236.123) (Ping timeout: 260 seconds) |
| 2022-05-19 04:02:30 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-05-19 04:02:49 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-19 04:02:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-19 04:02:49 +0200 | finn_elija | FinnElija |
| 2022-05-19 04:03:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-05-19 04:03:48 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 248 seconds) |
| 2022-05-19 04:03:55 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2022-05-19 04:05:45 +0200 | <Axman6> | Guest54: another function that might be useful is transpose |
| 2022-05-19 04:06:04 +0200 | <Axman6> | > transpose ["ABC","123","xyz"] |
| 2022-05-19 04:06:05 +0200 | <lambdabot> | ["A1x","B2y","C3z"] |
| 2022-05-19 04:06:56 +0200 | <Guest54> | Appreciate your help !! thanks |
| 2022-05-19 04:07:16 +0200 | <Axman6> | this appreroach will work fine if you know that the data is always well formatted, but can lead to problems if there's any chance that some lines are missing data or have too many elements |
| 2022-05-19 04:07:22 +0200 | <Axman6> | > transpose ["ABC","12","xyz"] |
| 2022-05-19 04:07:23 +0200 | <lambdabot> | ["A1x","B2y","Cz"] |
| 2022-05-19 04:07:31 +0200 | <Axman6> | > transpose ["ABC","1234","xyz"] |
| 2022-05-19 04:07:33 +0200 | <lambdabot> | ["A1x","B2y","C3z","4"] |
| 2022-05-19 04:07:47 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-05-19 04:08:08 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-19 04:11:24 +0200 | <Guest54> | transpose ["43525 5 2","25545 7 5","7455 3 4"] |
| 2022-05-19 04:11:44 +0200 | <Axman6> | need the > |
| 2022-05-19 04:11:45 +0200 | <jackdk> | You have to start your message with `>` for lambdabot to pick it up |
| 2022-05-19 04:11:55 +0200 | <Guest54> | > transpose ["43525 5 2","25545 7 5","7455 3 4"] |
| 2022-05-19 04:11:57 +0200 | <lambdabot> | ["427","354","555","245","55 "," 3","57 "," 4","25"] |
| 2022-05-19 04:12:34 +0200 | <jackdk> | > transpose [["43525", "5", "2"], ["25545", "7", "5"], ["7455", "3", "4"]] |
| 2022-05-19 04:12:37 +0200 | <lambdabot> | [["43525","25545","7455"],["5","7","3"],["2","5","4"]] |
| 2022-05-19 04:12:39 +0200 | <Guest54> | hmmm okey i see the function behavior |
| 2022-05-19 04:12:43 +0200 | <Axman6> | > transpose [[1,2,3],[10,20,30],[100,200,300]] |
| 2022-05-19 04:12:45 +0200 | <lambdabot> | [[1,10,100],[2,20,200],[3,30,300]] |
| 2022-05-19 04:13:31 +0200 | <jackdk> | If I was doing this "for real", I would probably parse each row into a Patient record, making a `[Patient]`, then pull out the individual lists I wanted from that |
| 2022-05-19 04:14:12 +0200 | <Axman6> | agreed |
| 2022-05-19 04:15:28 +0200 | <Guest54> | do you mean create a list containing the informations of each patient after for each patient i extract the necessary information? |
| 2022-05-19 04:16:32 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 04:17:01 +0200 | <Axman6> | yeah, if you have data Patient = Patient { patientId :: Int, patientTime :: Int, patientPriority :: Int } then if you have [Patient] you can use map patientId patients to get the list of patient IDs |
| 2022-05-19 04:18:38 +0200 | <Axman6> | (Whether those should be Ints or not is up to you, I just made an assumption based on the examples) |
| 2022-05-19 04:22:01 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-05-19 04:23:06 +0200 | darkstardevx | (~darkstard@50.53.212.60) (Remote host closed the connection) |
| 2022-05-19 04:23:31 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-05-19 04:24:33 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-19 04:28:36 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 04:29:24 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 04:33:06 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-19 04:34:19 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-19 04:36:48 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-19 04:41:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 04:41:07 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-19 04:41:07 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-19 04:41:07 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-19 04:41:46 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-19 04:44:20 +0200 | bilegeek | (~bilegeek@2600:1008:b005:b8f2:7f86:fe78:23ea:e2d3) |
| 2022-05-19 04:53:23 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-19 04:54:22 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-05-19 04:55:31 +0200 | Infinite | (~Infinite@49.39.122.94) |
| 2022-05-19 05:04:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 05:15:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-05-19 05:19:50 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 244 seconds) |
| 2022-05-19 05:26:02 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-19 05:39:52 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-19 05:46:54 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 05:48:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-05-19 05:48:31 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 05:48:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 05:50:02 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-05-19 05:51:52 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-05-19 05:56:43 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-19 05:58:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 05:58:11 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 05:58:27 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-05-19 06:00:09 +0200 | bilegeek | (~bilegeek@2600:1008:b005:b8f2:7f86:fe78:23ea:e2d3) (Quit: Leaving) |
| 2022-05-19 06:01:37 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 06:02:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 06:03:01 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-19 06:05:43 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 06:09:16 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 06:10:12 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 06:11:22 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 06:15:04 +0200 | Infinite | (~Infinite@49.39.122.94) (Ping timeout: 252 seconds) |
| 2022-05-19 06:15:38 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2022-05-19 06:15:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2022-05-19 06:17:57 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 2022-05-19 06:19:13 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-05-19 06:21:01 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 06:21:04 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-19 06:22:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 06:25:25 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-19 06:27:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 06:30:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 06:33:43 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) |
| 2022-05-19 06:33:46 +0200 | <dzdcnfzd> | Mega type confusion |
| 2022-05-19 06:33:47 +0200 | <dzdcnfzd> | https://hastepaste.com/view/9Ze3nM |
| 2022-05-19 06:34:21 +0200 | <dzdcnfzd> | It is telling me that `n` is a rigid type variable but I cannot for the life of me figure out why that is the case |
| 2022-05-19 06:35:20 +0200 | <dzdcnfzd> | I suspect it has to do with the `nestedDef`, which is of type `FreeT LinkedMatchF Identity ()` |
| 2022-05-19 06:35:36 +0200 | <dzdcnfzd> | But I actually cannot reason myself into why that should matter |
| 2022-05-19 06:37:33 +0200 | rkrishnan | (~user@45.127.46.15) |
| 2022-05-19 06:38:16 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-19 06:40:42 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-05-19 06:40:44 +0200 | <dzdcnfzd> | Any ideas? |
| 2022-05-19 06:41:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-05-19 06:42:23 +0200 | <dsal> | dzdcnfzd: I don't have enough context, but `n` in the type signature of `processLine` might be throwing you off. |
| 2022-05-19 06:42:31 +0200 | <dsal> | I'd start by just not putting a type signature on that. |
| 2022-05-19 06:42:52 +0200 | <dzdcnfzd> | I think I need it? |
| 2022-05-19 06:42:56 +0200 | <dsal> | (also, I'd generally recommend never using `return` because it's gross and confusing, but not related to your problem) |
| 2022-05-19 06:43:00 +0200 | <dsal> | Why would you need it? |
| 2022-05-19 06:43:31 +0200 | <dzdcnfzd> | :t foldFreeT |
| 2022-05-19 06:43:32 +0200 | <lambdabot> | error: |
| 2022-05-19 06:43:32 +0200 | <lambdabot> | • Variable not in scope: foldFreeT |
| 2022-05-19 06:43:32 +0200 | <lambdabot> | • Perhaps you meant ‘foldTree’ (imported from Data.Tree) |
| 2022-05-19 06:43:34 +0200 | <dsal> | Or perhaps put `Identity` in place of `n` since that's the monad you're running. |
| 2022-05-19 06:43:54 +0200 | <dsal> | :t ($>) |
| 2022-05-19 06:43:56 +0200 | <lambdabot> | error: |
| 2022-05-19 06:43:56 +0200 | <lambdabot> | • Variable not in scope: $> |
| 2022-05-19 06:43:56 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2022-05-19 06:44:01 +0200 | <dsal> | lambdabot doesn't know enough things. |
| 2022-05-19 06:44:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-19 06:44:30 +0200 | <dzdcnfzd> | Ah, okay. The first argument to foldFreeT has to be a natural transformation to any monad. Its type is (forall n x . Monad n => f x -> t n x) |
| 2022-05-19 06:44:48 +0200 | <dzdcnfzd> | That's the type signature that `processLine` has to satisfy |
| 2022-05-19 06:52:19 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 244 seconds) |
| 2022-05-19 06:52:51 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 06:53:27 +0200 | <dsal> | I'm not sure I'm super helpful at this point. It's not clear to me why this should work, but I've never used free. |
| 2022-05-19 06:53:34 +0200 | <dzdcnfzd> | Yeah |
| 2022-05-19 06:53:41 +0200 | <dzdcnfzd> | I think I have an idea |
| 2022-05-19 06:53:49 +0200 | <dzdcnfzd> | Free seemed like such a good idea at the time! |
| 2022-05-19 06:54:08 +0200 | <dsal> | I've heard people say this. |
| 2022-05-19 06:54:24 +0200 | <dzdcnfzd> | Every day my brain gets bigger and veinier trying to understand it |
| 2022-05-19 06:54:42 +0200 | <dzdcnfzd> | Thanks for looking! |
| 2022-05-19 06:54:57 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-19 06:54:57 +0200 | <dzdcnfzd> | Btw, the test framework you helped me put together is working great |
| 2022-05-19 06:55:01 +0200 | <dzdcnfzd> | night! |
| 2022-05-19 06:55:04 +0200 | <dsal> | Woo! glad I could help |
| 2022-05-19 06:55:15 +0200 | dzdcnfzd | (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-05-19 06:56:08 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-19 06:56:17 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 2022-05-19 06:56:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-19 07:00:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-19 07:01:33 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 2022-05-19 07:09:18 +0200 | dcoutts | (~duncan@47.red-213-97-57.staticip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-05-19 07:14:43 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-05-19 07:21:41 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 2022-05-19 07:22:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 07:22:35 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-19 07:23:46 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 07:26:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 07:27:09 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-05-19 07:37:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 07:38:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 07:50:34 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-19 07:53:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-05-19 07:54:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-05-19 07:54:04 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds) |
| 2022-05-19 07:54:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-19 07:55:04 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 240 seconds) |
| 2022-05-19 07:55:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-05-19 07:56:04 +0200 | michalz | (~michalz@185.246.204.119) |
| 2022-05-19 07:56:45 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-19 08:00:49 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 08:06:36 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-19 08:07:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-19 08:07:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-19 08:07:11 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-19 08:07:11 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-19 08:07:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 08:07:19 +0200 | benin | (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-19 08:11:02 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 08:11:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-19 08:12:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-19 08:19:13 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-19 08:26:50 +0200 | dcoutts | (~duncan@27.red-2-139-168.staticip.rima-tde.net) |
| 2022-05-19 08:27:39 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-05-19 08:28:36 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 08:29:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 08:30:53 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-19 08:32:19 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-19 08:32:43 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-19 08:33:42 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-19 08:39:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bfc1:df04:e822:f8d5) |
| 2022-05-19 08:42:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 08:44:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 08:45:17 +0200 | odnes | (~odnes@5-203-142-96.pat.nym.cosmote.net) |
| 2022-05-19 08:46:10 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 08:46:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 08:46:59 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-19 08:47:35 +0200 | phma_ | phma |
| 2022-05-19 08:48:12 +0200 | dcoutts | (~duncan@27.red-2-139-168.staticip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2022-05-19 08:51:01 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 2022-05-19 08:51:21 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 276 seconds) |
| 2022-05-19 08:57:04 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 240 seconds) |
| 2022-05-19 08:57:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-05-19 08:59:04 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds) |
| 2022-05-19 08:59:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-05-19 08:59:25 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-19 08:59:26 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-19 08:59:28 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-19 09:00:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 09:00:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-19 09:01:00 +0200 | <dminuoso_> | 31608 unsafe ccalls on hackage, but only 9701 safe ccalls. Given that almost every single native library Ive looked at recently has unsafe usage of unsafe ccalls.. how did this happen? |
| 2022-05-19 09:02:50 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-19 09:03:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-19 09:03:30 +0200 | <dminuoso_> | Perhaps a mode to just make unsafe behave as safe would solve my headaches. |
| 2022-05-19 09:03:43 +0200 | <dminuoso_> | Some kind of -funsafe-as-safe |
| 2022-05-19 09:06:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-19 09:06:41 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-05-19 09:08:18 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-19 09:09:10 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-05-19 09:09:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-19 09:10:10 +0200 | x88x88x | (~x88x88x@149.28.53.172) (Remote host closed the connection) |
| 2022-05-19 09:10:51 +0200 | <tdammers> | it probably happened due to bad naming choices and insufficient documentation of what "safe" and "unsafe" actually mean in this context |
| 2022-05-19 09:12:46 +0200 | MajorBiscuit | (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) |
| 2022-05-19 09:15:03 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-19 09:15:42 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 09:16:40 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-19 09:16:40 +0200 | JoL | (jol@jol.dev) |
| 2022-05-19 09:16:59 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-19 09:17:02 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-05-19 09:18:08 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 09:24:10 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-19 09:24:44 +0200 | chele | (~chele@user/chele) |
| 2022-05-19 09:32:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-19 09:37:57 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-05-19 09:38:21 +0200 | <RudraveerMandal[> | How long does the Learn You a Haskell for the greater good take |
| 2022-05-19 09:39:36 +0200 | <dminuoso_> | Depends on your speed entirely. |
| 2022-05-19 09:42:06 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Quit: Leaving) |
| 2022-05-19 09:43:39 +0200 | mmhat | (~mmh@p200300f1c70dcf09ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-19 09:44:04 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-05-19 09:46:09 +0200 | <tomsmeding> | happy birthday libera.chat :) |
| 2022-05-19 09:48:26 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 09:53:58 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-05-19 09:56:58 +0200 | <jackdk> | how time flies |
| 2022-05-19 09:58:06 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-19 10:00:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-05-19 10:00:42 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 10:03:14 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-19 10:03:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-19 10:04:21 +0200 | rkrishnan | (~user@45.127.46.15) (Remote host closed the connection) |
| 2022-05-19 10:04:42 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-05-19 10:06:00 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-19 10:07:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-19 10:09:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-19 10:10:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 10:11:42 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 2022-05-19 10:12:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2022-05-19 10:14:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-19 10:14:51 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-19 10:15:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 10:16:08 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-05-19 10:18:57 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 10:20:49 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-05-19 10:21:08 +0200 | <bahamas> | is `type` useful for anything other than giving a shorter name to a longer type? |
| 2022-05-19 10:21:54 +0200 | <bahamas> | I guess, String is the counterexample |
| 2022-05-19 10:25:12 +0200 | <lortabac> | some people use it as documentation, for example: type Message = Text; type Position = (Int, Int) etc. |
| 2022-05-19 10:25:41 +0200 | <lortabac> | personally I prefer newtypes but sometimes 'type' is enough |
| 2022-05-19 10:25:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-05-19 10:25:42 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-19 10:26:55 +0200 | <bahamas> | lortabac: that makes sense. I guess, if you would treat both the same, newtype is not needed |
| 2022-05-19 10:29:37 +0200 | <kuribas> | bahamas: it is very useful, for example so you only need to change a type signature in one place. |
| 2022-05-19 10:30:18 +0200 | <kuribas> | If you make a newtype over a transformer stack, but sometimes need to refer to the inner stack. |
| 2022-05-19 10:30:29 +0200 | <tdammers> | type is really nothing more than an alias; the compiler doesn't care if you use the alias or the thing it represents. newtype, by contrast, is treated as a completely separate type by the compiler, so you can have different instances on it, and you need to explicitly convert in order to use it as the other thing |
| 2022-05-19 10:30:40 +0200 | <kuribas> | the type synonym prevents that you need to change the type in many places. |
| 2022-05-19 10:31:29 +0200 | <tdammers> | and, yeah, `type` serves several purposes: keeping the definition of a commonly used type in one place, documentation, readability, conciseness |
| 2022-05-19 10:31:55 +0200 | <kuribas> | like: newtype MyStack = MyStack Inner; type MyStackInner = ReaderT Foo IO a |
| 2022-05-19 10:34:51 +0200 | <kuribas> | It also has a danger to hide the actual types. |
| 2022-05-19 10:35:06 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 10:35:22 +0200 | <bahamas> | kuribas: yeah, that was a source of confusion for me, at least once |
| 2022-05-19 10:35:38 +0200 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-05-19 10:36:09 +0200 | <kuribas> | For example, if you have an integer representing an ID, it may be better to newtype it. |
| 2022-05-19 10:36:17 +0200 | <bahamas> | kuribas: in your example, did you mean newtype MyStack = MyStack MystackInner? |
| 2022-05-19 10:37:00 +0200 | <kuribas> | yes |
| 2022-05-19 10:37:52 +0200 | <bahamas> | the piece that I'm writing targets people new to haskell. I feel this might be too much for them |
| 2022-05-19 10:38:14 +0200 | <tdammers> | it is pretty fundamental though |
| 2022-05-19 10:38:22 +0200 | <bahamas> | but the idea to give a shorter name to a type signature, so you only edit it in one place makes sense |
| 2022-05-19 10:38:23 +0200 | <kuribas> | yeah, the subtilities of type/newtype/data are hard to grasp in the beginning. |
| 2022-05-19 10:38:35 +0200 | <kuribas> | They seem rather redundant, but they really arent. |
| 2022-05-19 10:39:00 +0200 | <tdammers> | newtype vs data is slightly redundant, and could be replaced by a single thing with some magical compiler sauce |
| 2022-05-19 10:39:21 +0200 | <bahamas> | kuribas: some of the differences are easier to grasp. at least the fact that newtype exists to give a new meaning to an existing type |
| 2022-05-19 10:39:29 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 10:39:55 +0200 | <tdammers> | as in, if you have a single constructor with a single field in your `data` type, then there isn't really any good reason why you shouldn't make it a `newtype` instead, so the compiler could just do it automatically |
| 2022-05-19 10:40:18 +0200 | <tdammers> | but I guess it's useful to make it explicit, given that newtypes are very different under the hood, and the difference sometimes matters |
| 2022-05-19 10:40:31 +0200 | <kuribas> | tdammers: then you miss out on coercing. |
| 2022-05-19 10:40:35 +0200 | <bahamas> | tdammers: the laziness vs strictness is the only difference, right? |
| 2022-05-19 10:40:54 +0200 | benin | (~benin@183.82.31.141) (Ping timeout: 246 seconds) |
| 2022-05-19 10:41:10 +0200 | <kuribas> | And the ability to coerce without runtime overhead. |
| 2022-05-19 10:41:11 +0200 | <tdammers> | bahamas: no, that's really more of a consequence of newtypes not adding an additional wrapper |
| 2022-05-19 10:41:29 +0200 | <tdammers> | coercing and newtype deriving are the main things I'm thinking of |
| 2022-05-19 10:41:48 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:dd39:9f0c:3bb:b69f) |
| 2022-05-19 10:41:49 +0200 | <kuribas> | newtype deriving is very useful. |
| 2022-05-19 10:42:05 +0200 | <kuribas> | Also creating new newtypes just to change typeclass behaviour. |
| 2022-05-19 10:42:29 +0200 | <maerwald> | data vs newtype is about signalling intent. I won't make something a newtype, that might get a second constructor sometime in the future, even if hlint constantly insists I should |
| 2022-05-19 10:42:41 +0200 | <tdammers> | but what I meant is that we could simply make it so that the compiler would see data Foo = Foo !Bar, and turn it into a newtype for you, and it would still allow coercing and newtype deriving and all that |
| 2022-05-19 10:42:57 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-19 10:43:39 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:55ee:3743:83d9:5725) |
| 2022-05-19 10:43:57 +0200 | <tdammers> | but indeed, I think it's good to keep it explicit - it's much easier to say "newtypes behave like this" than "data types behave like this iff they have only a single constructor, and that single constructor has only one field, and that field is strict" |
| 2022-05-19 10:45:27 +0200 | MajorBiscuit | (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-05-19 10:48:16 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-19 10:49:37 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 260 seconds) |
| 2022-05-19 10:49:37 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 10:49:44 +0200 | MajorBiscuit | (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) |
| 2022-05-19 10:50:08 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-05-19 10:52:25 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 10:56:43 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:dd39:9f0c:3bb:b69f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-19 10:57:17 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 10:57:18 +0200 | <merijn> | maerwald: I have an easy solution: Just not using hlint ;) |
| 2022-05-19 10:57:26 +0200 | <merijn> | Then it won't complain at all! |
| 2022-05-19 10:57:40 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 10:57:56 +0200 | <kuribas> | yeah, hlint can be annoying. |
| 2022-05-19 10:58:02 +0200 | <kuribas> | But you can turn of warnings you don't like. |
| 2022-05-19 10:58:32 +0200 | <merijn> | I have just optimised to disable all warnings I don't like in one easy step, though ;) |
| 2022-05-19 10:58:50 +0200 | <lortabac> | that warning in particular is so stupid, I don't understand why it exists |
| 2022-05-19 10:59:32 +0200 | <merijn> | lortabac: Because hlint isn't remotely pretending to give "community consensus" recommendations |
| 2022-05-19 10:59:56 +0200 | <lortabac> | it's only useful if you don't know that newtypes exist, but its usefulness is limited to the first time you encounter it |
| 2022-05-19 11:00:04 +0200 | <merijn> | hlint is for giving "perfect recommendations, if your opinions are identical to Neil Mitchell" :) |
| 2022-05-19 11:00:17 +0200 | <kuribas> | I also don't like "foo x y z = baz $ bar x y z" => "foo x y = baz . bar x y" |
| 2022-05-19 11:00:22 +0200 | <kuribas> | the second is strictly worse. |
| 2022-05-19 11:00:37 +0200 | <kuribas> | even "foo x = baz $ baz z" is fine IMO. |
| 2022-05-19 11:00:39 +0200 | <merijn> | strictly worse is a big claim :p |
| 2022-05-19 11:00:48 +0200 | <kuribas> | lazily worse then? |
| 2022-05-19 11:01:46 +0200 | <lortabac> | (baz . bar) can have slightly better performance in many cases |
| 2022-05-19 11:03:00 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-05-19 11:04:10 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 2022-05-19 11:05:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-19 11:06:04 +0200 | <kuribas> | how? |
| 2022-05-19 11:07:22 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-19 11:07:34 +0200 | <lortabac> | (baz . bar) is (.) applied to 2 arguments, (foo x = baz (bar x)) is a lambda |
| 2022-05-19 11:07:42 +0200 | <lortabac> | they have different runtime properties |
| 2022-05-19 11:08:16 +0200 | [exa] | feels the magic of $ approaching |
| 2022-05-19 11:08:25 +0200 | <kuribas> | foo is not a lambda. |
| 2022-05-19 11:08:40 +0200 | <kuribas> | there are subtle differences between foo x = ... and foo = \x -> ... |
| 2022-05-19 11:08:54 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-19 11:09:05 +0200 | <lortabac> | AFAIK they are exactly the same thing |
| 2022-05-19 11:09:13 +0200 | <lortabac> | the first is desugared into the second |
| 2022-05-19 11:09:27 +0200 | <kuribas> | IIRC ghc makes different optimizations for them. |
| 2022-05-19 11:10:05 +0200 | <[exa]> | lortabac: typecheck happens before desugaring. e.g., foo= |
| 2022-05-19 11:10:25 +0200 | <[exa]> | ...foo=\x-> ... may trigger monomorphism restriction |
| 2022-05-19 11:12:19 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-19 11:12:42 +0200 | <[exa]> | also I'd suspect a gazillion of tiny subtle differences in handling more complicated typesystem constructions where unification isn't straightforward (mainly type families and likely scoped type vars) |
| 2022-05-19 11:12:58 +0200 | <kuribas> | Also with floating up common subexpressions. |
| 2022-05-19 11:13:23 +0200 | <kuribas> | IIRC in the lambda it would get floated up, in the function def not. |
| 2022-05-19 11:14:11 +0200 | <lortabac> | ok I see |
| 2022-05-19 11:15:12 +0200 | <lortabac> | anyway, my main point was that the point-free version has different runtime properties and can sometimes improve performance |
| 2022-05-19 11:16:02 +0200 | <lortabac> | so I wouldn't say it's "strictly" better, but I agree that it's better for readability and ease of modification/debugging/etc. |
| 2022-05-19 11:16:07 +0200 | <kuribas> | still I don't believe consistently writing in this style is a good idea. |
| 2022-05-19 11:16:37 +0200 | <lortabac> | yes point-free style is annoying, especially if it's too much |
| 2022-05-19 11:16:45 +0200 | <kuribas> | I mostly use composition in HOFs, because it's cleaner there. |
| 2022-05-19 11:17:02 +0200 | <kuribas> | But even then, if the lambda is simpler, I use the lambda instead of point-free version. |
| 2022-05-19 11:17:57 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-19 11:17:59 +0200 | <[exa]> | the point choice can nicely tell the reader the actual fact of "with how many parameters is this supposed to be used" |
| 2022-05-19 11:18:17 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 11:18:41 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 11:28:13 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 244 seconds) |
| 2022-05-19 11:28:56 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-19 11:30:06 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 11:30:21 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-19 11:33:29 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-19 11:34:07 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 11:34:25 +0200 | absence_ | absence |
| 2022-05-19 11:34:32 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 11:37:45 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-19 11:38:47 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 11:39:10 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 11:42:56 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-19 11:44:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-19 11:45:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-19 11:48:22 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 11:48:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 11:50:26 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 244 seconds) |
| 2022-05-19 11:51:27 +0200 | dcoutts | (~duncan@109.190.253.13) (Ping timeout: 260 seconds) |
| 2022-05-19 11:53:19 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 11:58:03 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) () |
| 2022-05-19 11:59:25 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-19 12:03:16 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 12:03:23 +0200 | emliunix | (~emliunix@8.219.136.142) |
| 2022-05-19 12:03:56 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 12:04:53 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 12:05:16 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 12:07:32 +0200 | emliunix_ | (~emliunix@8.219.136.142) |
| 2022-05-19 12:08:24 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 12:09:06 +0200 | emliunix | (~emliunix@8.219.136.142) (Remote host closed the connection) |
| 2022-05-19 12:10:23 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 12:10:47 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 12:11:24 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 272 seconds) |
| 2022-05-19 12:12:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 12:12:34 +0200 | emliunix[m] | (~emliunixm@2001:470:69fc:105::2:12d1) |
| 2022-05-19 12:12:37 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-19 12:13:56 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-19 12:14:15 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-19 12:15:16 +0200 | emliunix_ | (~emliunix@8.219.136.142) (Remote host closed the connection) |
| 2022-05-19 12:15:34 +0200 | emliunix_ | (~emliunix@8.219.136.142) |
| 2022-05-19 12:15:56 +0200 | emliunix_ | (~emliunix@8.219.136.142) (Client Quit) |
| 2022-05-19 12:15:57 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 2022-05-19 12:16:28 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2022-05-19 12:16:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-19 12:16:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-19 12:22:24 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-05-19 12:27:28 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 12:29:48 +0200 | emliunix[m] | emliunix |
| 2022-05-19 12:33:27 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-05-19 12:44:04 +0200 | Infinite | (~Infinite@49.39.126.228) |
| 2022-05-19 12:45:23 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 12:45:46 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 12:46:49 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-05-19 12:49:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-19 12:50:47 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 240 seconds) |
| 2022-05-19 12:54:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 12:56:37 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-19 12:57:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-05-19 12:57:38 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 272 seconds) |
| 2022-05-19 12:58:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-19 12:59:23 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 12:59:47 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 13:03:51 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 13:04:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 13:05:24 +0200 | akegalj | (~akegalj@89-172-103-241.adsl.net.t-com.hr) |
| 2022-05-19 13:05:52 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-05-19 13:08:27 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 2022-05-19 13:11:47 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-19 13:16:00 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2022-05-19 13:19:55 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-19 13:21:18 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 13:21:35 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:cc9c:666b:bccd:43c8) |
| 2022-05-19 13:22:10 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-05-19 13:24:15 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-05-19 13:25:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-19 13:29:07 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 244 seconds) |
| 2022-05-19 13:32:29 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-19 13:32:33 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-19 13:32:44 +0200 | MajorBiscuit | (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-05-19 13:32:53 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-05-19 13:38:33 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 13:40:07 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 13:43:33 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-05-19 13:44:05 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-19 13:44:33 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Client Quit) |
| 2022-05-19 13:44:37 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-19 13:45:04 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-19 13:45:12 +0200 | ccntrq1 | (~Thunderbi@p578bbb40.dip0.t-ipconnect.de) |
| 2022-05-19 13:45:53 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 13:46:16 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 13:46:24 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 272 seconds) |
| 2022-05-19 13:46:24 +0200 | ccntrq1 | ccntrq |
| 2022-05-19 13:48:37 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 13:49:53 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 13:49:57 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 13:50:16 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 13:54:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 13:54:48 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-19 13:58:18 +0200 | romesrf | (~romes@185.5.8.134) (Ping timeout: 246 seconds) |
| 2022-05-19 13:59:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-05-19 14:00:23 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 14:00:46 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:01:53 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 14:06:42 +0200 | dcoutts | (~duncan@109.190.253.13) (Ping timeout: 246 seconds) |
| 2022-05-19 14:09:17 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Remote host closed the connection) |
| 2022-05-19 14:09:29 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 2022-05-19 14:09:54 +0200 | Infinite | (~Infinite@49.39.126.228) (Ping timeout: 252 seconds) |
| 2022-05-19 14:14:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Remote host closed the connection) |
| 2022-05-19 14:14:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 14:16:17 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-05-19 14:17:40 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:18:32 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 14:19:35 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-19 14:19:40 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 14:19:44 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 14:20:08 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:23:50 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-19 14:24:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 14:29:13 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 14:29:40 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:32:11 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 14:32:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 14:33:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 14:36:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 14:37:14 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 14:37:38 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:41:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-05-19 14:41:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 14:43:45 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-19 14:47:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-19 14:48:47 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-19 14:49:04 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-19 14:49:13 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 14:50:02 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 14:50:14 +0200 | dcoutts | (~duncan@109.190.253.13) (Remote host closed the connection) |
| 2022-05-19 14:50:36 +0200 | dcoutts | (~duncan@109.190.253.13) |
| 2022-05-19 14:53:51 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 244 seconds) |
| 2022-05-19 14:54:30 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-19 15:01:02 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-19 15:04:18 +0200 | mmhat | (~mmh@p200300f1c70dcf09ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-05-19 15:04:44 +0200 | alp | (~alp@user/alp) |
| 2022-05-19 15:06:24 +0200 | dcoutts | (~duncan@109.190.253.13) (Ping timeout: 276 seconds) |
| 2022-05-19 15:07:03 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-19 15:09:22 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 2022-05-19 15:10:46 +0200 | Infinite | (~Infinite@49.39.122.227) |
| 2022-05-19 15:13:56 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 15:18:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-19 15:22:06 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) |
| 2022-05-19 15:23:30 +0200 | odnes | (~odnes@5-203-142-96.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-05-19 15:25:40 +0200 | JoL | (jol@jol.dev) (Quit: WeeChat 3.5) |
| 2022-05-19 15:28:11 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 15:32:05 +0200 | ystael | (~ystael@user/ystael) |
| 2022-05-19 15:32:30 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 240 seconds) |
| 2022-05-19 15:32:32 +0200 | romesrf | (~romes@2001:4c80:50:16:20da:d6f5:5d4f:c2a) |
| 2022-05-19 15:35:09 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-19 15:35:54 +0200 | ccntrq1 | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-19 15:36:01 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-19 15:36:37 +0200 | ccntrq | (~Thunderbi@p578bbb40.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-19 15:36:37 +0200 | ccntrq1 | ccntrq |
| 2022-05-19 15:36:48 +0200 | Infinite | (~Infinite@49.39.122.227) (Ping timeout: 252 seconds) |
| 2022-05-19 15:41:17 +0200 | even4voi- | even4void |
| 2022-05-19 15:41:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-19 15:46:07 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-19 15:46:36 +0200 | FilipKalan | (~FilipKala@77.28.86.211) |
| 2022-05-19 15:46:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-19 15:47:31 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 15:47:56 +0200 | FilipKalan | (~FilipKala@77.28.86.211) (Client Quit) |
| 2022-05-19 15:49:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-19 15:51:59 +0200 | Infinite | (~Infinite@49.39.122.227) |
| 2022-05-19 15:52:37 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-19 15:55:13 +0200 | akegalj | (~akegalj@89-172-103-241.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-05-19 15:55:17 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 2022-05-19 15:55:30 +0200 | FilipKalan | (~FilipKala@77.28.86.211) |
| 2022-05-19 15:57:04 +0200 | <FilipKalan> | Hello, Haskell community! 👋 |
| 2022-05-19 15:57:04 +0200 | <FilipKalan> | It is my pleasure to invite you all to a Haskell Fireside Chat on the 25th of May at 6:00 PM, UTC. |
| 2022-05-19 15:57:05 +0200 | <FilipKalan> | The aim of this event is to put the language on the map, to discuss its advantages, its ecosystem, and most importantly the Haskell community. |
| 2022-05-19 15:57:05 +0200 | <FilipKalan> | The guest speaker will be Andres Löh, a Haskell Consultant with over 20 years of experience in the field, and you'll have the chance to ask him questions! |
| 2022-05-19 15:57:06 +0200 | <FilipKalan> | The session will be online and the registration is free, so if this is something you'd find interesting I encourage you to join us! |
| 2022-05-19 15:57:06 +0200 | <FilipKalan> | For details and registration check: https://hopin.com/events/haskell-advantages-community-and-ecosystem |
| 2022-05-19 15:58:53 +0200 | romesrf | (~romes@2001:4c80:50:16:20da:d6f5:5d4f:c2a) (Ping timeout: 252 seconds) |
| 2022-05-19 15:58:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 15:59:33 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-19 16:01:26 +0200 | <merijn> | FilipKalan: Might want to advertise that in Haskell Weekly too next time (since I didn't see it in today/last weeks) https://haskellweekly.news/ |
| 2022-05-19 16:03:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-05-19 16:04:39 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 16:04:52 +0200 | FilipKalan | (~FilipKala@77.28.86.211) (Quit: Client closed) |
| 2022-05-19 16:05:20 +0200 | romesrf | (~romes@2001:4c80:50:16:81ba:4477:cb8a:62b5) |
| 2022-05-19 16:06:03 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-05-19 16:08:08 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-05-19 16:08:20 +0200 | <cheater> | is there any "try haskell in browser" website that provides random numbers? |
| 2022-05-19 16:08:20 +0200 | Infinite | (~Infinite@49.39.122.227) (Ping timeout: 252 seconds) |
| 2022-05-19 16:08:36 +0200 | <cheater> | i've tried 4 and none of them let me import System.Random |
| 2022-05-19 16:08:42 +0200 | <cheater> | i just need pseudorandom numbers |
| 2022-05-19 16:09:17 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 260 seconds) |
| 2022-05-19 16:10:22 +0200 | FilipKalan | (~FilipKala@77.28.86.211) |
| 2022-05-19 16:11:42 +0200 | <geekosaur> | https://play-haskell.tomsmeding.com/play might? |
| 2022-05-19 16:11:56 +0200 | <FilipKalan> | Thank you, merijn! I will reach them also |
| 2022-05-19 16:12:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2022-05-19 16:13:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-19 16:13:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-19 16:13:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-19 16:14:25 +0200 | <cheater> | Could not find module ‘System.Random’ |
| 2022-05-19 16:14:30 +0200 | <cheater> | :( |
| 2022-05-19 16:14:46 +0200 | <geekosaur> | sad |
| 2022-05-19 16:15:31 +0200 | <fendor[m]> | any nice way to convert an .lhs file to anything readable? |
| 2022-05-19 16:15:49 +0200 | <geekosaur> | unlit is in the ghc lib directory |
| 2022-05-19 16:15:50 +0200 | <dminuoso_> | fendor[m]: ghc brings unlit |
| 2022-05-19 16:16:19 +0200 | <dminuoso_> | I dont think its intended for users, its what it uses internally if memory serves right |
| 2022-05-19 16:16:30 +0200 | <geekosaur> | yes, but it's just a filter |
| 2022-05-19 16:16:36 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-19 16:16:38 +0200 | <geekosaur> | unlit < foo.lhs > foo.hs |
| 2022-05-19 16:16:52 +0200 | <dminuoso_> | Im just saying for the sake of sanity, in case there's some awkardness in its ergonomics |
| 2022-05-19 16:18:43 +0200 | <cheater> | i'm sad bookrams didn't lift off |
| 2022-05-19 16:18:57 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-19 16:18:57 +0200 | <dminuoso_> | Are there still people writing in lhs? It's certainly an awkward thing I've never understood why people prefer it |
| 2022-05-19 16:19:05 +0200 | <cheater> | dminuoso_: people who want the world to burn |
| 2022-05-19 16:22:14 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-05-19 16:22:20 +0200 | <fendor[m]> | unlit removes all the comments, I want the comments though >_> |
| 2022-05-19 16:22:36 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:55ee:3743:83d9:5725) (Remote host closed the connection) |
| 2022-05-19 16:22:45 +0200 | <fendor[m]> | academia still uses lhs regularly |
| 2022-05-19 16:22:50 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 240 seconds) |
| 2022-05-19 16:23:46 +0200 | <dminuoso_> | fendor[m]: I guess you can simply write your own program that removes every line that doesnt start with >, but puts out the tail of each line that does. |
| 2022-05-19 16:23:53 +0200 | <dminuoso_> | It shouldnt be more than 5-10 lines. |
| 2022-05-19 16:24:25 +0200 | <fendor[m]> | yeah true, that should be easy enough. |
| 2022-05-19 16:25:39 +0200 | FilipKalan | (~FilipKala@77.28.86.211) (Quit: Client closed) |
| 2022-05-19 16:26:33 +0200 | <geekosaur[m]> | sed -n 's/^>//p' |
| 2022-05-19 16:28:00 +0200 | <fendor[m]> | that still removes the comments, right? |
| 2022-05-19 16:30:27 +0200 | <merijn> | lhs is fine, it's just people who prefer bird tracks over the latex style who are crazy :p |
| 2022-05-19 16:31:01 +0200 | <kuribas> | merijn: you don't like markdown? |
| 2022-05-19 16:31:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-19 16:32:09 +0200 | <merijn> | Hell no |
| 2022-05-19 16:32:12 +0200 | <merijn> | markdown is awful |
| 2022-05-19 16:33:03 +0200 | <geekosaur> | fendor[m], what are you expecting it to do with the comments? |
| 2022-05-19 16:35:53 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-19 16:37:16 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-19 16:37:51 +0200 | <fendor[m]> | geekosaur, I want to be able to read them |
| 2022-05-19 16:38:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-05-19 16:38:18 +0200 | <fendor[m]> | In particular, the issue is that my tooling crashes on the syntax and the syntax highlighting becomes a hindrance |
| 2022-05-19 16:38:51 +0200 | <fendor[m]> | additionally, they use latex for comments, in a perfect world I want that to be properly rendered (or transformed to haddock which is not possible) |
| 2022-05-19 16:39:28 +0200 | <fendor[m]> | but I just realised, the .lhs files are basically the paper plus some implementation details (meaning, quite literally the paper) so maybe Ill just read the paper directly instead of the source code |
| 2022-05-19 16:41:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 16:42:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-19 16:42:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 16:43:30 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 246 seconds) |
| 2022-05-19 16:43:35 +0200 | dcoutts | (~duncan@213.174.99.147) |
| 2022-05-19 16:49:21 +0200 | odnes | (~odnes@5-203-142-96.pat.nym.cosmote.net) |
| 2022-05-19 16:51:33 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-19 16:52:49 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:cc9c:666b:bccd:43c8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-19 16:54:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-19 16:56:32 +0200 | dcoutts | (~duncan@213.174.99.147) (Ping timeout: 260 seconds) |
| 2022-05-19 16:58:39 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-19 17:00:04 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-19 17:01:20 +0200 | <dminuoso_> | kuribas: Its hard to like something when nobody can specify what it is. |
| 2022-05-19 17:01:43 +0200 | <dminuoso_> | But I guess someone will point out "markdown is like porn, its hard to describe what it is but you know when you see it" |
| 2022-05-19 17:01:48 +0200 | <dminuoso_> | A brilliant specification to build a parser around. |
| 2022-05-19 17:02:06 +0200 | odnes | (~odnes@5-203-142-96.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 2022-05-19 17:02:09 +0200 | <geekosaur> | I use markdown… but don't expect it to be parsed, only read |
| 2022-05-19 17:02:49 +0200 | <geekosaur> | (I would hate to try to parse the document where I'm using it right now) |
| 2022-05-19 17:04:37 +0200 | <maerwald> | dminuoso_: LOL |
| 2022-05-19 17:04:46 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-19 17:09:24 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-05-19 17:09:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:bfc1:df04:e822:f8d5) (Quit: WeeChat 2.8) |
| 2022-05-19 17:09:40 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-05-19 17:10:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 17:11:49 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:f90c:b450:1e75:d746) |
| 2022-05-19 17:14:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-19 17:21:38 +0200 | aliosablack | (~chomwitt@ppp-2-85-47-58.home.otenet.gr) |
| 2022-05-19 17:22:05 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-19 17:22:12 +0200 | romesrf | (~romes@2001:4c80:50:16:81ba:4477:cb8a:62b5) (Ping timeout: 260 seconds) |
| 2022-05-19 17:23:00 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Ping timeout: 272 seconds) |
| 2022-05-19 17:23:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-19 17:28:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2022-05-19 17:28:23 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-19 17:29:59 +0200 | Guest1357 | (~Guest13@76.130.188.90) |
| 2022-05-19 17:31:22 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-19 17:32:34 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-19 17:33:30 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-19 17:33:58 +0200 | Guest1357 | (~Guest13@76.130.188.90) (Client Quit) |
| 2022-05-19 17:33:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-19 17:35:37 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-19 17:36:29 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-19 17:39:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 17:41:03 +0200 | romesrf | (~romes@2001:4c80:50:16:202d:8fad:2025:7f95) |
| 2022-05-19 17:44:46 +0200 | Infinite | (~Infinite@49.39.116.184) |
| 2022-05-19 17:47:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-05-19 17:47:21 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:f90c:b450:1e75:d746) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-19 17:49:02 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-19 17:51:28 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 17:51:29 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 2022-05-19 17:51:58 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-19 17:53:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-05-19 17:54:10 +0200 | romesrf | (~romes@2001:4c80:50:16:202d:8fad:2025:7f95) (Ping timeout: 244 seconds) |
| 2022-05-19 17:56:10 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-19 17:57:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-19 18:01:47 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-19 18:01:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-19 18:03:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 18:03:53 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-19 18:05:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-19 18:06:17 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-05-19 18:06:37 +0200 | <justsomeguy> | I have this expression [1,2,3,4,5] * 1. Since the * function takes two arguments of the same type, and [1,2,3,4,5] and 1 have different arguments, I get a type error. The error is Non type-variable argument in the constraint: Num [a]. I understand the "non type-variable argument" part, but what's this about a constraint? |
| 2022-05-19 18:07:14 +0200 | <geekosaur> | :t (*) |
| 2022-05-19 18:07:15 +0200 | <lambdabot> | Num a => a -> a -> a |
| 2022-05-19 18:08:19 +0200 | <geekosaur> | basically, instead of simply failing it as incompatible types, ghc tries to promote 1 (numeric literals are wrapped in fromInteger or fromRational by the compiler) to the type of the other parameter |
| 2022-05-19 18:08:51 +0200 | <geekosaur> | but then hits that error unless you turn on FlexibleContexts |
| 2022-05-19 18:09:07 +0200 | <geekosaur> | and then would hit the nonexistence of a Num instance for lists by default |
| 2022-05-19 18:12:37 +0200 | Infinite | (~Infinite@49.39.116.184) (Quit: Client closed) |
| 2022-05-19 18:12:37 +0200 | <justsomeguy> | Ok, interesting. I get the impression that learning about how GHC does type inference will help me puzzle out errors in the future. |
| 2022-05-19 18:12:38 +0200 | <geekosaur> | Num is involved twice: once as a constraint on the type of (*), and a second time as a constraint on the type of fromInteger |
| 2022-05-19 18:12:58 +0200 | <geekosaur> | :t fromInteger |
| 2022-05-19 18:12:59 +0200 | <lambdabot> | Num a => Integer -> a |
| 2022-05-19 18:14:07 +0200 | <geekosaur> | the behavior of numeric literals and the Num instance are documented in the Language Report; it's not a ghc-specific thing |
| 2022-05-19 18:14:54 +0200 | alp | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-05-19 18:15:30 +0200 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1360006.4.1 |
| 2022-05-19 18:15:40 +0200 | <geekosaur> | and various links from that |
| 2022-05-19 18:16:37 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-19 18:16:43 +0200 | Infinite | (~Infinite@49.39.116.184) |
| 2022-05-19 18:17:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-19 18:22:05 +0200 | dons | (~dons@user/dons) (Ping timeout: 252 seconds) |
| 2022-05-19 18:22:11 +0200 | alp | (~alp@user/alp) |
| 2022-05-19 18:22:16 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-19 18:22:36 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-19 18:22:54 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-19 18:24:29 +0200 | <justsomeguy> | Thank you geekosaur :^) |
| 2022-05-19 18:24:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-19 18:25:24 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) |
| 2022-05-19 18:25:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-19 18:28:07 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-19 18:28:50 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) (Read error: Connection reset by peer) |
| 2022-05-19 18:29:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-05-19 18:29:44 +0200 | dcoutts | (~duncan@213.174.99.147) |
| 2022-05-19 18:30:20 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 18:30:39 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) |
| 2022-05-19 18:33:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 18:33:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-19 18:34:48 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 246 seconds) |
| 2022-05-19 18:37:59 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-19 18:38:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-19 18:52:03 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-19 18:53:17 +0200 | econo | (uid147250@user/econo) |
| 2022-05-19 18:55:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-19 19:02:11 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 19:04:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-05-19 19:04:58 +0200 | dcoutts | (~duncan@213.174.99.147) (Ping timeout: 272 seconds) |
| 2022-05-19 19:07:13 +0200 | dcoutts | (~duncan@213.174.99.147) |
| 2022-05-19 19:07:48 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-19 19:08:07 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 19:11:27 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-19 19:11:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 19:12:30 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 240 seconds) |
| 2022-05-19 19:15:41 +0200 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-19 19:16:43 +0200 | andrey_ | (~andrey@p200300dbcf2ab900568bc1b41ab3d698.dip0.t-ipconnect.de) |
| 2022-05-19 19:16:52 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 19:18:59 +0200 | andrey__ | (~andrey@p200300dbcf0fa900cd94bcacbcaf8e29.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-19 19:19:38 +0200 | Infinite15 | (~Infinite@49.39.116.184) |
| 2022-05-19 19:20:28 +0200 | Infinite | (~Infinite@49.39.116.184) (Ping timeout: 252 seconds) |
| 2022-05-19 19:20:32 +0200 | <dminuoso_> | b |
| 2022-05-19 19:21:11 +0200 | Infinite15 | (~Infinite@49.39.116.184) (Client Quit) |
| 2022-05-19 19:23:40 +0200 | Infinite | (~Infinite@157.45.251.76) |
| 2022-05-19 19:25:28 +0200 | Infinite | (~Infinite@157.45.251.76) (Client Quit) |
| 2022-05-19 19:28:22 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-19 19:31:48 +0200 | dcoutts | (~duncan@213.174.99.147) (Ping timeout: 248 seconds) |
| 2022-05-19 19:32:07 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-19 19:32:15 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-05-19 19:32:42 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-05-19 19:39:06 +0200 | benin | (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-19 19:39:24 +0200 | dcoutts_ | (~duncan@185.201.63.253) |
| 2022-05-19 19:39:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 19:40:40 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 248 seconds) |
| 2022-05-19 19:45:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 19:47:43 +0200 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Remote host closed the connection) |
| 2022-05-19 19:48:50 +0200 | dcoutts_ | (~duncan@185.201.63.253) (Remote host closed the connection) |
| 2022-05-19 19:49:10 +0200 | dcoutts_ | (~duncan@185.201.63.253) |
| 2022-05-19 19:54:20 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-05-19 19:56:06 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-05-19 19:56:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 20:00:28 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 2022-05-19 20:00:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-05-19 20:06:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-19 20:10:01 +0200 | <sm> | markdown is specified these days |
| 2022-05-19 20:10:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 20:11:16 +0200 | dcoutts_ | (~duncan@185.201.63.253) (Remote host closed the connection) |
| 2022-05-19 20:11:40 +0200 | dcoutts_ | (~duncan@185.201.63.253) |
| 2022-05-19 20:12:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-05-19 20:14:05 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-19 20:18:52 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-05-19 20:20:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2022-05-19 20:22:19 +0200 | panda_man | koala_man |
| 2022-05-19 20:23:51 +0200 | dcoutts_ | (~duncan@185.201.63.253) (Remote host closed the connection) |
| 2022-05-19 20:25:48 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 20:30:28 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 272 seconds) |
| 2022-05-19 20:30:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-19 20:37:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-19 20:38:00 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2022-05-19 20:41:27 +0200 | kuribas | (~user@ptr-17d51eo41433e03tg8t.18120a2.ip6.access.telenet.be) |
| 2022-05-19 20:42:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 20:44:10 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 20:45:35 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-05-19 20:47:19 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-19 20:49:10 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-19 20:49:41 +0200 | bahamas | (~lucian@84.232.141.167) (Client Quit) |
| 2022-05-19 20:56:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 20:56:46 +0200 | cagri | (~cagri@176.42.182.4) |
| 2022-05-19 20:58:32 +0200 | cagri | (~cagri@176.42.182.4) (WeeChat 3.0.1) |
| 2022-05-19 21:02:36 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-19 21:08:49 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 21:10:12 +0200 | AdamSclock | (~adamscloc@user/AdamSclock) |
| 2022-05-19 21:15:52 +0200 | ashln | (~ashln@98.38.236.123) (Quit: Lost terminal) |
| 2022-05-19 21:21:46 +0200 | AdamSclock | (~adamscloc@user/AdamSclock) (Quit: WeeChat 3.0.1) |
| 2022-05-19 21:27:27 +0200 | oo_miguel | (~pi@77.252.47.226) |
| 2022-05-19 21:34:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 21:35:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 21:40:15 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-19 21:41:35 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-05-19 21:43:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 21:43:28 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-19 21:51:44 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:a173:65fd:d2b6:ad81) |
| 2022-05-19 21:52:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-19 21:52:30 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-19 21:52:59 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 21:53:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 21:54:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-05-19 21:54:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-19 21:54:29 +0200 | kuribas | (~user@ptr-17d51eo41433e03tg8t.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-05-19 21:54:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-05-19 21:56:05 +0200 | moet | (~moet@mobile-166-170-38-26.mycingular.net) |
| 2022-05-19 21:56:08 +0200 | moet | (~moet@mobile-166-170-38-26.mycingular.net) (Client Quit) |
| 2022-05-19 21:58:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-19 21:58:30 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-05-19 22:02:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-19 22:03:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-19 22:04:09 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-05-19 22:04:41 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-19 22:05:21 +0200 | moet | (~moet@mobile-166-170-37-248.mycingular.net) |
| 2022-05-19 22:07:13 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-19 22:08:52 +0200 | julian | (~julian@20.83.116.49) (Killed (NickServ (GHOST command used by tos9_!~tos9@python/site-packages/Julian))) |
| 2022-05-19 22:09:29 +0200 | moet | (~moet@mobile-166-170-37-248.mycingular.net) (Client Quit) |
| 2022-05-19 22:10:52 +0200 | w1gz_ | w1gz |
| 2022-05-19 22:12:06 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-19 22:17:38 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-05-19 22:19:15 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-19 22:20:26 +0200 | bilegeek | (~bilegeek@2600:1008:b011:f57:4337:d420:5398:9608) |
| 2022-05-19 22:22:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-19 22:23:06 +0200 | ubert1 | (~Thunderbi@p200300ecdf1588d0d433d41379e29d24.dip0.t-ipconnect.de) |
| 2022-05-19 22:23:25 +0200 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-19 22:28:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-05-19 22:28:16 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-05-19 22:29:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-19 22:33:15 +0200 | aish | (~aish@2603-6000-b40a-7000-5525-a5a9-bdf5-4183.res6.spectrum.com) |
| 2022-05-19 22:35:23 +0200 | <aish> | Hi, I am new to haskell, I am struggling with solving one problem using haskell. How could we use anonymous JSON file (read the file) and use it in scotty API ? Please message me if you have idea to solve this solution, I would really appreciate your help. Also, is this possible? |
| 2022-05-19 22:39:54 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-19 22:43:21 +0200 | <sm> | hi aish. Could you clarify the problem a bit more ? |
| 2022-05-19 22:46:05 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-19 22:47:29 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-19 22:52:58 +0200 | dcoutts | (~duncan@host86-187-171-127.range86-187.btcentralplus.com) |
| 2022-05-19 22:53:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-19 22:53:17 +0200 | <aish> | Hi sm, I have written a simple web service using SCOTTY that responds to various HTTP request types (GET, POST, DELETE). I created an API for handling different kinds of requests using SCOTTY. I want to make something like Json-server (https://www.npmjs.com/package/json-server) . About this project, One thing I am uncertain about is, how to take an |
| 2022-05-19 22:53:17 +0200 | <aish> | anonymous JSON object and utilise its data in ScottyM. Also is it possible to read any JSON file data in haskell without predefined data type? (as to parse a JSON file data, it required me to keep predefined data type for corresponding particular json file using AESON. I followed this snippet: |
| 2022-05-19 22:53:18 +0200 | <aish> | https://subscription.packtpub.com/book/big_data_and_business_intelligence/9781783286331/1/ch01lvl1…) |
| 2022-05-19 22:53:18 +0200 | <aish> | Please let me know if you have any suggestions regarding this. |
| 2022-05-19 22:54:30 +0200 | <aish> | I hope now my description is clarifying, please lmk if it is not. |
| 2022-05-19 22:56:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-19 22:58:55 +0200 | <sm> | answering the read any json file part - yes you can read json into generic "Value" (IIRC) objects with a corresponding haskell data type. I believe that lower-level api exists within the aeson library |
| 2022-05-19 22:59:09 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-19 22:59:14 +0200 | <sm> | without a corresponding haskell data type, I meant |
| 2022-05-19 23:01:27 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-19 23:07:15 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-19 23:07:32 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-05-19 23:14:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-05-19 23:19:33 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) (Read error: Connection reset by peer) |
| 2022-05-19 23:21:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-19 23:22:46 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-05-19 23:22:50 +0200 | aish | (~aish@2603-6000-b40a-7000-5525-a5a9-bdf5-4183.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2022-05-19 23:23:02 +0200 | raym | (~raym@user/raym) |
| 2022-05-19 23:24:27 +0200 | dcoutts | (~duncan@host86-187-171-127.range86-187.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-05-19 23:24:46 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:24:49 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-19 23:26:38 +0200 | ubert1 | (~Thunderbi@p200300ecdf1588d0d433d41379e29d24.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-05-19 23:29:19 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-05-19 23:30:43 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:34:38 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Remote host closed the connection) |
| 2022-05-19 23:34:57 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:36:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-19 23:36:57 +0200 | dcoutts_ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:37:22 +0200 | dcoutts | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-05-19 23:40:04 +0200 | dcoutts__ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:40:05 +0200 | dcoutts_ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-05-19 23:42:21 +0200 | michalz | (~michalz@185.246.204.119) (Remote host closed the connection) |
| 2022-05-19 23:42:24 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 2022-05-19 23:43:27 +0200 | dcoutts_ | (~duncan@host86-187-171-127.range86-187.btcentralplus.com) |
| 2022-05-19 23:46:01 +0200 | dcoutts__ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-05-19 23:46:28 +0200 | dcoutts__ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 2022-05-19 23:48:57 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-19 23:49:01 +0200 | aliosablack | (~chomwitt@ppp-2-85-47-58.home.otenet.gr) (Quit: Leaving) |
| 2022-05-19 23:49:07 +0200 | dcoutts_ | (~duncan@host86-187-171-127.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-05-19 23:52:44 +0200 | dcoutts__ | (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-05-19 23:55:11 +0200 | aish | (~aish@2603-6000-b40a-7000-d5e8-0f8f-5baf-768b.res6.spectrum.com) |
| 2022-05-19 23:56:04 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-19 23:56:21 +0200 | acidjnk | (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-19 23:59:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |