Logs on 2022-05-19 (liberachat/#haskell)
| 00:01:30 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 00:05:50 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 00:10:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 00:16:09 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 00:19:05 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 00:21:13 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 00:23:17 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 00:23:30 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 00:23:43 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:25:14 | → | xkuru joins (~xkuru@user/xkuru) |
| 00:25:16 | <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. |
| 00:25:18 | <lambdabot> | <hint>:1:16: error: parse error on input ‘,’ |
| 00:25:24 | <exarkun> | https://wiki.haskell.org/Foldr_Foldl_Foldl' |
| 00:25:51 | <exarkun> | "may be" is pretty non-committal. is it or isn't it? |
| 00:26:09 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 00:27:00 | <Axman6> | seems like a good way to plant boobietraps in your code for others to unexpectedlt hit |
| 00:29:15 | <geekosaur> | only if it's not documented |
| 00:29:42 | <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 |
| 00:29:46 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:29:46 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:29:46 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:30:06 | <Axman6> | yeah, use types to enforce invariants |
| 00:32:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 00:32:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.5) |
| 00:33:47 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 00:36:19 | × | alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 00:36:20 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 248 seconds) |
| 00:38:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 00:45:43 | <monochrom> | I don't see why one should be commital. |
| 00:46:32 | <monochrom> | I mean to so-called "best practice" "rule of thumb" "style guide". |
| 00:49:57 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 00:51:18 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 00:54:04 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 00:56:09 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 01:04:06 | × | lainon quits (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:05:43 | → | frost joins (~frost@user/frost) |
| 01:10:48 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:20 | → | xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 01:16:54 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:07 | → | andrey__ joins (~andrey@p200300dbcf0fa900cd94bcacbcaf8e29.dip0.t-ipconnect.de) |
| 01:20:19 | × | andrey_ quits (~andrey@p200300dbcf06c3008d878644fc61df72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:22:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 01:23:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 01:23:44 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 01:27:10 | × | werneta quits (~werneta@137.79.199.110) (Ping timeout: 240 seconds) |
| 01:28:55 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 01:30:18 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 244 seconds) |
| 01:33:52 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:37:42 | × | marquis_andras quits (~marquis_a@118.208.237.82) (Remote host closed the connection) |
| 01:37:47 | → | Infinite joins (~Infinite@49.39.119.59) |
| 01:37:57 | × | benin quits (~benin@183.82.31.170) (Ping timeout: 260 seconds) |
| 01:41:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:42:14 | → | ashln joins (~ashln@98.38.236.123) |
| 01:42:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:42:34 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 01:43:42 | <ashln> | hi! how might one go about using a library from a remote git repository that is not in hackage in a cabal package? |
| 01:45:54 | <jackdk> | ashln: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-control-locations ; https://github.com/brendanhay/amazonka/discussions/716 has an example |
| 01:45:55 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 01:46:25 | <ashln> | jackdk: look at that, thanks so much! |
| 01:46:38 | <jackdk> | no worries |
| 01:46:56 | × | Infinite quits (~Infinite@49.39.119.59) (Ping timeout: 252 seconds) |
| 01:49:38 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 01:52:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 01:53:30 | → | Guest54 joins (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 01:53:31 | → | cyphase joins (~cyphase@user/cyphase) |
| 01:53:58 | <Guest54> | Hi everyone i need some help in Haskell is it the right place to ask ? |
| 01:54:03 | <jackdk> | Guest54: yes |
| 01:54:48 | <jackdk> | I'm about to head out, and it's a little quiet this time of day, but hopefully some other people are about |
| 01:54:55 | <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 ? |
| 01:54:56 | <Guest54> | The string format is : |
| 01:54:56 | <Guest54> | "43525 5 2 |
| 01:54:57 | <Guest54> | 25545 7 5 |
| 01:54:57 | <Guest54> | 7455 3 4" |
| 01:54:58 | <Guest54> | i want to get three lists. |
| 01:54:58 | <Guest54> | -The first list hold the patients ids, [43525 , 25545 , 7455] |
| 01:54:59 | <Guest54> | -The second list the times, [5, 7, 3] |
| 01:54:59 | <Guest54> | -The third list the priorities, [2, 5, 4] |
| 01:55:13 | <Axman6> | Please don't do that |
| 01:55:16 | <Axman6> | @where paste |
| 01:55:16 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 01:55:42 | <Guest54> | okey sorry i m new here so i don't know really the rules or type of questions i have to ask |
| 01:55:45 | <Guest54> | sorry abt that |
| 01:56:10 | <Axman6> | Some functions you might want to look at are: lines, words, read |
| 01:56:29 | <Guest54> | oh thanks !! i will look for that |
| 01:56:31 | <ashln> | Guest54: would you want to split by line with the `lines` function, and then apply the `words` function to each element? |
| 01:56:36 | <Axman6> | > lines "43525 5 2\n25545 7 5\n7455 3 4" |
| 01:56:38 | <lambdabot> | ["43525 5 2","25545 7 5","7455 3 4"] |
| 01:56:46 | <Axman6> | > words "7455 3 4" |
| 01:56:48 | <lambdabot> | ["7455","3","4"] |
| 01:57:06 | <Axman6> | > read "7455" :: Int |
| 01:57:08 | <lambdabot> | 7455 |
| 01:58:05 | <Axman6> | That'll get you some of the way, but what you do from there will depends on how you want to handle things |
| 01:58:13 | <Axman6> | Guest54: is this homework? |
| 01:59:14 | <Guest54> | no, Just a training exemple, as i m new to Haskell and i want to learn more about this language |
| 01:59:23 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 01:59:34 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 02:00:01 | <Axman6> | great |
| 02:00:46 | <Axman6> | well, feel free to worth through the problem here (though maybe we should move to #haskell-beginners |
| 02:00:48 | <Axman6> | ) |
| 02:00:54 | <Axman6> | work* |
| 02:01:52 | × | ashln quits (~ashln@98.38.236.123) (Ping timeout: 260 seconds) |
| 02:02:30 | → | ashln joins (~ashln@98.38.236.123) |
| 02:02:49 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:02:49 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:02:49 | finn_elija | is now known as FinnElija |
| 02:03:42 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 02:03:48 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 248 seconds) |
| 02:03:55 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 02:05:45 | <Axman6> | Guest54: another function that might be useful is transpose |
| 02:06:04 | <Axman6> | > transpose ["ABC","123","xyz"] |
| 02:06:05 | <lambdabot> | ["A1x","B2y","C3z"] |
| 02:06:56 | <Guest54> | Appreciate your help !! thanks |
| 02:07:16 | <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 |
| 02:07:22 | <Axman6> | > transpose ["ABC","12","xyz"] |
| 02:07:23 | <lambdabot> | ["A1x","B2y","Cz"] |
| 02:07:31 | <Axman6> | > transpose ["ABC","1234","xyz"] |
| 02:07:33 | <lambdabot> | ["A1x","B2y","C3z","4"] |
| 02:07:47 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 02:08:08 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 02:11:24 | <Guest54> | transpose ["43525 5 2","25545 7 5","7455 3 4"] |
| 02:11:44 | <Axman6> | need the > |
| 02:11:45 | <jackdk> | You have to start your message with `>` for lambdabot to pick it up |
| 02:11:55 | <Guest54> | > transpose ["43525 5 2","25545 7 5","7455 3 4"] |
| 02:11:57 | <lambdabot> | ["427","354","555","245","55 "," 3","57 "," 4","25"] |
| 02:12:34 | <jackdk> | > transpose [["43525", "5", "2"], ["25545", "7", "5"], ["7455", "3", "4"]] |
| 02:12:37 | <lambdabot> | [["43525","25545","7455"],["5","7","3"],["2","5","4"]] |
| 02:12:39 | <Guest54> | hmmm okey i see the function behavior |
| 02:12:43 | <Axman6> | > transpose [[1,2,3],[10,20,30],[100,200,300]] |
| 02:12:45 | <lambdabot> | [[1,10,100],[2,20,200],[3,30,300]] |
| 02:13:31 | <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 |
| 02:14:12 | <Axman6> | agreed |
| 02:15:28 | <Guest54> | do you mean create a list containing the informations of each patient after for each patient i extract the necessary information? |
| 02:16:32 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 02:17:01 | <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 |
| 02:18:38 | <Axman6> | (Whether those should be Ints or not is up to you, I just made an assumption based on the examples) |
| 02:22:01 | → | darkstardevx joins (~darkstard@50.53.212.60) |
| 02:23:06 | × | darkstardevx quits (~darkstard@50.53.212.60) (Remote host closed the connection) |
| 02:23:31 | → | darkstardevx joins (~darkstard@50.53.212.60) |
| 02:24:33 | → | stackdroid18 joins (14094@user/stackdroid) |
| 02:28:36 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 02:29:24 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 02:33:06 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 02:34:19 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 02:36:48 | × | Guest54 quits (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 02:41:07 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 02:41:07 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 02:41:07 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 02:41:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:41:46 | → | Guest54 joins (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 02:44:20 | → | bilegeek joins (~bilegeek@2600:1008:b005:b8f2:7f86:fe78:23ea:e2d3) |
| 02:53:23 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 02:54:22 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 02:55:31 | → | Infinite joins (~Infinite@49.39.122.94) |
| 03:04:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 03:15:35 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 03:19:50 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 244 seconds) |
| 03:26:02 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 03:39:52 | × | Guest54 quits (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 03:46:54 | → | nate1 joins (~nate@98.45.169.16) |
| 03:48:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 03:48:31 | → | benin joins (~benin@183.82.31.141) |
| 03:48:37 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 03:50:02 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 03:51:52 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 03:56:43 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 03:58:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 03:58:11 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 03:58:27 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 04:00:09 | × | bilegeek quits (~bilegeek@2600:1008:b005:b8f2:7f86:fe78:23ea:e2d3) (Quit: Leaving) |
| 04:01:37 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 04:02:49 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:03:01 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 04:05:43 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 04:09:16 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:10:12 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 04:11:22 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 04:15:04 | × | Infinite quits (~Infinite@49.39.122.94) (Ping timeout: 252 seconds) |
| 04:15:38 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 04:15:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 04:17:57 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 04:19:13 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 04:21:01 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:21:04 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 04:22:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:25:25 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 04:27:15 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 04:30:34 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:33:43 | → | dzdcnfzd joins (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) |
| 04:33:46 | <dzdcnfzd> | Mega type confusion |
| 04:33:47 | <dzdcnfzd> | https://hastepaste.com/view/9Ze3nM |
| 04:34:21 | <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 |
| 04:35:20 | <dzdcnfzd> | I suspect it has to do with the `nestedDef`, which is of type `FreeT LinkedMatchF Identity ()` |
| 04:35:36 | <dzdcnfzd> | But I actually cannot reason myself into why that should matter |
| 04:37:33 | → | rkrishnan joins (~user@45.127.46.15) |
| 04:38:16 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 04:40:42 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 04:40:44 | <dzdcnfzd> | Any ideas? |
| 04:41:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 04:42:23 | <dsal> | dzdcnfzd: I don't have enough context, but `n` in the type signature of `processLine` might be throwing you off. |
| 04:42:31 | <dsal> | I'd start by just not putting a type signature on that. |
| 04:42:52 | <dzdcnfzd> | I think I need it? |
| 04:42:56 | <dsal> | (also, I'd generally recommend never using `return` because it's gross and confusing, but not related to your problem) |
| 04:43:00 | <dsal> | Why would you need it? |
| 04:43:31 | <dzdcnfzd> | :t foldFreeT |
| 04:43:32 | <lambdabot> | error: |
| 04:43:32 | <lambdabot> | • Variable not in scope: foldFreeT |
| 04:43:32 | <lambdabot> | • Perhaps you meant ‘foldTree’ (imported from Data.Tree) |
| 04:43:34 | <dsal> | Or perhaps put `Identity` in place of `n` since that's the monad you're running. |
| 04:43:54 | <dsal> | :t ($>) |
| 04:43:56 | <lambdabot> | error: |
| 04:43:56 | <lambdabot> | • Variable not in scope: $> |
| 04:43:56 | <lambdabot> | • Perhaps you meant one of these: |
| 04:44:01 | <dsal> | lambdabot doesn't know enough things. |
| 04:44:02 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 04:44:30 | <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) |
| 04:44:48 | <dzdcnfzd> | That's the type signature that `processLine` has to satisfy |
| 04:52:19 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 244 seconds) |
| 04:52:51 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 04:53:27 | <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. |
| 04:53:34 | <dzdcnfzd> | Yeah |
| 04:53:41 | <dzdcnfzd> | I think I have an idea |
| 04:53:49 | <dzdcnfzd> | Free seemed like such a good idea at the time! |
| 04:54:08 | <dsal> | I've heard people say this. |
| 04:54:24 | <dzdcnfzd> | Every day my brain gets bigger and veinier trying to understand it |
| 04:54:42 | <dzdcnfzd> | Thanks for looking! |
| 04:54:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 04:54:57 | <dzdcnfzd> | Btw, the test framework you helped me put together is working great |
| 04:55:01 | <dzdcnfzd> | night! |
| 04:55:04 | <dsal> | Woo! glad I could help |
| 04:55:15 | × | dzdcnfzd quits (~dzdcnfzd@pool-108-54-250-165.nycmny.fios.verizon.net) (Quit: Client closed) |
| 04:56:08 | → | xkuru joins (~xkuru@user/xkuru) |
| 04:56:17 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 04:56:33 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:00:34 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:01:33 | → | Vajb joins (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 05:09:18 | × | dcoutts quits (~duncan@47.red-213-97-57.staticip.rima-tde.net) (Ping timeout: 276 seconds) |
| 05:14:43 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 05:21:41 | → | chomwitt joins (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 05:22:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:22:35 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 05:23:46 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:26:10 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 05:27:09 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 05:37:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 05:38:06 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:50:34 | → | coot joins (~coot@213.134.190.95) |
| 05:53:04 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 05:54:04 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 05:54:04 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds) |
| 05:54:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 05:55:04 | × | noteness quits (~noteness@user/noteness) (Ping timeout: 240 seconds) |
| 05:55:04 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 05:56:04 | → | michalz joins (~michalz@185.246.204.119) |
| 05:56:45 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 06:00:49 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 06:06:36 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 06:07:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 06:07:09 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 06:07:11 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 06:07:11 | → | noteness joins (~noteness@user/noteness) |
| 06:07:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 06:07:19 | × | benin quits (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 06:11:02 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 06:11:40 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 06:12:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:19:13 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 06:26:50 | → | dcoutts joins (~duncan@27.red-2-139-168.staticip.rima-tde.net) |
| 06:27:39 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 06:28:36 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 06:29:07 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:30:53 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 06:32:19 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:32:43 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:33:42 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 06:39:41 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:bfc1:df04:e822:f8d5) |
| 06:42:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 06:44:57 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 06:45:17 | → | odnes joins (~odnes@5-203-142-96.pat.nym.cosmote.net) |
| 06:46:10 | → | benin joins (~benin@183.82.31.141) |
| 06:46:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:46:59 | → | zeenk joins (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 06:47:35 | phma_ | is now known as phma |
| 06:48:12 | × | dcoutts quits (~duncan@27.red-2-139-168.staticip.rima-tde.net) (Ping timeout: 246 seconds) |
| 06:51:01 | → | acidjnk joins (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 06:51:21 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 276 seconds) |
| 06:57:04 | × | noteness quits (~noteness@user/noteness) (Ping timeout: 240 seconds) |
| 06:57:34 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 06:59:04 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds) |
| 06:59:04 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 06:59:25 | → | noteness joins (~noteness@user/noteness) |
| 06:59:26 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 06:59:28 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 07:00:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 07:00:24 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 07:01:00 | <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? |
| 07:02:50 | → | alp_ joins (~alp@user/alp) |
| 07:03:21 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:03:30 | <dminuoso_> | Perhaps a mode to just make unsafe behave as safe would solve my headaches. |
| 07:03:43 | <dminuoso_> | Some kind of -funsafe-as-safe |
| 07:06:26 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 07:06:41 | → | briandaed joins (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 07:08:18 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:09:10 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 07:09:39 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:10:10 | × | x88x88x quits (~x88x88x@149.28.53.172) (Remote host closed the connection) |
| 07:10:51 | <tdammers> | it probably happened due to bad naming choices and insufficient documentation of what "safe" and "unsafe" actually mean in this context |
| 07:12:46 | → | MajorBiscuit joins (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) |
| 07:15:03 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:15:42 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 07:16:40 | → | xkuru joins (~xkuru@user/xkuru) |
| 07:16:40 | → | JoL joins (jol@jol.dev) |
| 07:16:59 | → | ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 07:17:02 | × | ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 07:18:08 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:24:10 | → | ccntrq joins (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 07:24:44 | → | chele joins (~chele@user/chele) |
| 07:32:50 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:37:57 | → | x88x88x joins (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 07:38:21 | <RudraveerMandal[> | How long does the Learn You a Haskell for the greater good take |
| 07:39:36 | <dminuoso_> | Depends on your speed entirely. |
| 07:42:06 | × | chomwitt quits (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Quit: Leaving) |
| 07:43:39 | → | mmhat joins (~mmh@p200300f1c70dcf09ee086bfffe095315.dip0.t-ipconnect.de) |
| 07:44:04 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 07:46:09 | <tomsmeding> | happy birthday libera.chat :) |
| 07:48:26 | → | nate1 joins (~nate@98.45.169.16) |
| 07:53:58 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 07:56:58 | <jackdk> | how time flies |
| 07:58:06 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 08:00:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 08:00:42 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 08:03:14 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 08:03:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 08:04:21 | × | rkrishnan quits (~user@45.127.46.15) (Remote host closed the connection) |
| 08:04:42 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 08:06:00 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 08:07:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 08:09:06 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:10:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:11:42 | → | chomwitt joins (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) |
| 08:12:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 08:14:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 08:14:51 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 08:15:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:16:08 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 08:18:57 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 08:20:49 | → | bahamas joins (~lucian@86.120.77.115) |
| 08:21:08 | <bahamas> | is `type` useful for anything other than giving a shorter name to a longer type? |
| 08:21:54 | <bahamas> | I guess, String is the counterexample |
| 08:25:12 | <lortabac> | some people use it as documentation, for example: type Message = Text; type Position = (Int, Int) etc. |
| 08:25:41 | <lortabac> | personally I prefer newtypes but sometimes 'type' is enough |
| 08:25:41 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:25:42 | × | acidjnk quits (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 08:26:55 | <bahamas> | lortabac: that makes sense. I guess, if you would treat both the same, newtype is not needed |
| 08:29:37 | <kuribas> | bahamas: it is very useful, for example so you only need to change a type signature in one place. |
| 08:30:18 | <kuribas> | If you make a newtype over a transformer stack, but sometimes need to refer to the inner stack. |
| 08:30:29 | <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 |
| 08:30:40 | <kuribas> | the type synonym prevents that you need to change the type in many places. |
| 08:31:29 | <tdammers> | and, yeah, `type` serves several purposes: keeping the definition of a commonly used type in one place, documentation, readability, conciseness |
| 08:31:55 | <kuribas> | like: newtype MyStack = MyStack Inner; type MyStackInner = ReaderT Foo IO a |
| 08:34:51 | <kuribas> | It also has a danger to hide the actual types. |
| 08:35:06 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 08:35:22 | <bahamas> | kuribas: yeah, that was a source of confusion for me, at least once |
| 08:35:38 | → | titibandit joins (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 08:36:09 | <kuribas> | For example, if you have an integer representing an ID, it may be better to newtype it. |
| 08:36:17 | <bahamas> | kuribas: in your example, did you mean newtype MyStack = MyStack MystackInner? |
| 08:37:00 | <kuribas> | yes |
| 08:37:52 | <bahamas> | the piece that I'm writing targets people new to haskell. I feel this might be too much for them |
| 08:38:14 | <tdammers> | it is pretty fundamental though |
| 08:38:22 | <bahamas> | but the idea to give a shorter name to a type signature, so you only edit it in one place makes sense |
| 08:38:23 | <kuribas> | yeah, the subtilities of type/newtype/data are hard to grasp in the beginning. |
| 08:38:35 | <kuribas> | They seem rather redundant, but they really arent. |
| 08:39:00 | <tdammers> | newtype vs data is slightly redundant, and could be replaced by a single thing with some magical compiler sauce |
| 08:39:21 | <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 |
| 08:39:29 | → | dcoutts joins (~duncan@109.190.253.13) |
| 08:39:55 | <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 |
| 08:40:18 | <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 |
| 08:40:31 | <kuribas> | tdammers: then you miss out on coercing. |
| 08:40:35 | <bahamas> | tdammers: the laziness vs strictness is the only difference, right? |
| 08:40:54 | × | benin quits (~benin@183.82.31.141) (Ping timeout: 246 seconds) |
| 08:41:10 | <kuribas> | And the ability to coerce without runtime overhead. |
| 08:41:11 | <tdammers> | bahamas: no, that's really more of a consequence of newtypes not adding an additional wrapper |
| 08:41:29 | <tdammers> | coercing and newtype deriving are the main things I'm thinking of |
| 08:41:48 | → | DNH joins (~DNH@2a02:8109:b740:2c4:dd39:9f0c:3bb:b69f) |
| 08:41:49 | <kuribas> | newtype deriving is very useful. |
| 08:42:05 | <kuribas> | Also creating new newtypes just to change typeclass behaviour. |
| 08:42:29 | <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 |
| 08:42:41 | <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 |
| 08:42:57 | → | benin joins (~benin@183.82.31.141) |
| 08:43:39 | → | ubert1 joins (~Thunderbi@2a02:8109:9880:303c:55ee:3743:83d9:5725) |
| 08:43:57 | <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" |
| 08:45:27 | × | MajorBiscuit quits (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 08:48:16 | → | romesrf joins (~romes@185.5.8.134) |
| 08:49:37 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 260 seconds) |
| 08:49:37 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 08:49:44 | → | MajorBiscuit joins (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) |
| 08:50:08 | → | bahamas joins (~lucian@86.120.77.115) |
| 08:52:25 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 08:56:43 | × | DNH quits (~DNH@2a02:8109:b740:2c4:dd39:9f0c:3bb:b69f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:57:17 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 08:57:18 | <merijn> | maerwald: I have an easy solution: Just not using hlint ;) |
| 08:57:26 | <merijn> | Then it won't complain at all! |
| 08:57:40 | → | dcoutts joins (~duncan@109.190.253.13) |
| 08:57:56 | <kuribas> | yeah, hlint can be annoying. |
| 08:58:02 | <kuribas> | But you can turn of warnings you don't like. |
| 08:58:32 | <merijn> | I have just optimised to disable all warnings I don't like in one easy step, though ;) |
| 08:58:50 | <lortabac> | that warning in particular is so stupid, I don't understand why it exists |
| 08:59:32 | <merijn> | lortabac: Because hlint isn't remotely pretending to give "community consensus" recommendations |
| 08:59:56 | <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 |
| 09:00:04 | <merijn> | hlint is for giving "perfect recommendations, if your opinions are identical to Neil Mitchell" :) |
| 09:00:17 | <kuribas> | I also don't like "foo x y z = baz $ bar x y z" => "foo x y = baz . bar x y" |
| 09:00:22 | <kuribas> | the second is strictly worse. |
| 09:00:37 | <kuribas> | even "foo x = baz $ baz z" is fine IMO. |
| 09:00:39 | <merijn> | strictly worse is a big claim :p |
| 09:00:48 | <kuribas> | lazily worse then? |
| 09:01:46 | <lortabac> | (baz . bar) can have slightly better performance in many cases |
| 09:03:00 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 272 seconds) |
| 09:04:10 | → | acidjnk joins (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 09:05:30 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:06:04 | <kuribas> | how? |
| 09:07:22 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 09:07:34 | <lortabac> | (baz . bar) is (.) applied to 2 arguments, (foo x = baz (bar x)) is a lambda |
| 09:07:42 | <lortabac> | they have different runtime properties |
| 09:08:16 | [exa] | feels the magic of $ approaching |
| 09:08:25 | <kuribas> | foo is not a lambda. |
| 09:08:40 | <kuribas> | there are subtle differences between foo x = ... and foo = \x -> ... |
| 09:08:54 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 09:09:05 | <lortabac> | AFAIK they are exactly the same thing |
| 09:09:13 | <lortabac> | the first is desugared into the second |
| 09:09:27 | <kuribas> | IIRC ghc makes different optimizations for them. |
| 09:10:05 | <[exa]> | lortabac: typecheck happens before desugaring. e.g., foo= |
| 09:10:25 | <[exa]> | ...foo=\x-> ... may trigger monomorphism restriction |
| 09:12:19 | → | flounders joins (~flounders@24.246.138.231) |
| 09:12:42 | <[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) |
| 09:12:58 | <kuribas> | Also with floating up common subexpressions. |
| 09:13:23 | <kuribas> | IIRC in the lambda it would get floated up, in the function def not. |
| 09:14:11 | <lortabac> | ok I see |
| 09:15:12 | <lortabac> | anyway, my main point was that the point-free version has different runtime properties and can sometimes improve performance |
| 09:16:02 | <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. |
| 09:16:07 | <kuribas> | still I don't believe consistently writing in this style is a good idea. |
| 09:16:37 | <lortabac> | yes point-free style is annoying, especially if it's too much |
| 09:16:45 | <kuribas> | I mostly use composition in HOFs, because it's cleaner there. |
| 09:17:02 | <kuribas> | But even then, if the lambda is simpler, I use the lambda instead of point-free version. |
| 09:17:57 | → | __monty__ joins (~toonn@user/toonn) |
| 09:17:59 | <[exa]> | the point choice can nicely tell the reader the actual fact of "with how many parameters is this supposed to be used" |
| 09:18:17 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 09:18:41 | → | dcoutts joins (~duncan@109.190.253.13) |
| 09:28:13 | × | flounders quits (~flounders@24.246.138.231) (Ping timeout: 244 seconds) |
| 09:28:56 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 09:30:06 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 09:30:21 | → | flounders joins (~flounders@24.246.138.231) |
| 09:33:29 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 09:34:07 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 09:34:25 | absence_ | is now known as absence |
| 09:34:32 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 09:37:45 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 09:38:47 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 09:39:10 | → | dcoutts joins (~duncan@109.190.253.13) |
| 09:42:56 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 09:44:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 09:45:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:48:22 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:48:37 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 09:50:26 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 244 seconds) |
| 09:51:27 | × | dcoutts quits (~duncan@109.190.253.13) (Ping timeout: 260 seconds) |
| 09:53:19 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 09:58:03 | ← | retropikzel parts (9d1a4f9f46@2604:bf00:561:2000::ce) () |
| 09:59:25 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:03:16 | → | dcoutts joins (~duncan@109.190.253.13) |
| 10:03:23 | → | emliunix joins (~emliunix@8.219.136.142) |
| 10:03:56 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:04:53 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 10:05:16 | → | dcoutts joins (~duncan@109.190.253.13) |
| 10:07:32 | → | emliunix_ joins (~emliunix@8.219.136.142) |
| 10:08:24 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 10:09:06 | × | emliunix quits (~emliunix@8.219.136.142) (Remote host closed the connection) |
| 10:10:23 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 10:10:47 | → | dcoutts joins (~duncan@109.190.253.13) |
| 10:11:24 | × | flounders quits (~flounders@24.246.138.231) (Ping timeout: 272 seconds) |
| 10:12:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:12:34 | → | emliunix[m] joins (~emliunixm@2001:470:69fc:105::2:12d1) |
| 10:12:37 | → | flounders joins (~flounders@24.246.138.231) |
| 10:13:56 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 10:14:15 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 10:15:16 | × | emliunix_ quits (~emliunix@8.219.136.142) (Remote host closed the connection) |
| 10:15:34 | → | emliunix_ joins (~emliunix@8.219.136.142) |
| 10:15:56 | × | emliunix_ quits (~emliunix@8.219.136.142) (Client Quit) |
| 10:15:57 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 10:16:28 | × | xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 10:16:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:16:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:22:24 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 10:27:28 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 10:29:48 | emliunix[m] | is now known as emliunix |
| 10:33:27 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 10:44:04 | → | Infinite joins (~Infinite@49.39.126.228) |
| 10:45:23 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 10:45:46 | → | dcoutts joins (~duncan@109.190.253.13) |
| 10:46:49 | → | Everything joins (~Everythin@37.115.210.35) |
| 10:49:15 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 10:50:47 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 240 seconds) |
| 10:54:31 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:56:37 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 10:57:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 10:57:38 | × | flounders quits (~flounders@24.246.138.231) (Ping timeout: 272 seconds) |
| 10:58:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:59:23 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 10:59:47 | → | dcoutts joins (~duncan@109.190.253.13) |
| 11:03:51 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 11:04:27 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 11:05:24 | → | akegalj joins (~akegalj@89-172-103-241.adsl.net.t-com.hr) |
| 11:05:52 | × | alp_ quits (~alp@user/alp) (Ping timeout: 244 seconds) |
| 11:08:27 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Ping timeout: 260 seconds) |
| 11:11:47 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 11:16:00 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 11:19:55 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:21:18 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 11:21:35 | → | DNH joins (~DNH@2a02:8109:b740:2c4:cc9c:666b:bccd:43c8) |
| 11:22:10 | × | mstksg quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 11:24:15 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 11:25:25 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:29:07 | × | briandaed quits (~briandaed@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 244 seconds) |
| 11:32:29 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 11:32:33 | → | flounders joins (~flounders@24.246.138.231) |
| 11:32:44 | × | MajorBiscuit quits (~MajorBisc@c-001-023-059.client.tudelft.eduvpn.nl) (Ping timeout: 244 seconds) |
| 11:32:53 | → | briandaed joins (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 11:38:33 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:40:07 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 11:43:33 | → | MajorBiscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 11:44:05 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:44:33 | × | MajorBiscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Client Quit) |
| 11:44:37 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 11:45:04 | → | alp_ joins (~alp@user/alp) |
| 11:45:12 | → | ccntrq1 joins (~Thunderbi@p578bbb40.dip0.t-ipconnect.de) |
| 11:45:53 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 11:46:16 | → | dcoutts joins (~duncan@109.190.253.13) |
| 11:46:24 | × | ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 272 seconds) |
| 11:46:24 | ccntrq1 | is now known as ccntrq |
| 11:48:37 | → | bahamas joins (~lucian@84.232.141.167) |
| 11:49:53 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 11:49:57 | → | nate1 joins (~nate@98.45.169.16) |
| 11:50:16 | → | dcoutts joins (~duncan@109.190.253.13) |
| 11:54:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:54:48 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 11:58:18 | × | romesrf quits (~romes@185.5.8.134) (Ping timeout: 246 seconds) |
| 11:59:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 12:00:23 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 12:00:46 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:01:53 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 12:06:42 | × | dcoutts quits (~duncan@109.190.253.13) (Ping timeout: 246 seconds) |
| 12:09:17 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Remote host closed the connection) |
| 12:09:29 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) |
| 12:09:54 | × | Infinite quits (~Infinite@49.39.126.228) (Ping timeout: 252 seconds) |
| 12:14:23 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2054:62a8:f46a:a313) (Remote host closed the connection) |
| 12:14:51 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:16:17 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 12:17:40 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:18:32 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:19:35 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 12:19:40 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 12:19:44 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 12:20:08 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:23:50 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 12:24:44 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 12:29:13 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 12:29:40 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:32:11 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 12:32:31 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:33:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 12:36:04 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:37:14 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 12:37:38 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:41:03 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 12:41:26 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 12:43:45 | × | acidjnk quits (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:47:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:48:47 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:49:04 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 12:49:13 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:50:02 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 12:50:14 | × | dcoutts quits (~duncan@109.190.253.13) (Remote host closed the connection) |
| 12:50:36 | → | dcoutts joins (~duncan@109.190.253.13) |
| 12:53:51 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 244 seconds) |
| 12:54:30 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 13:01:02 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 13:04:18 | × | mmhat quits (~mmh@p200300f1c70dcf09ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 13:04:44 | → | alp joins (~alp@user/alp) |
| 13:06:24 | × | dcoutts quits (~duncan@109.190.253.13) (Ping timeout: 276 seconds) |
| 13:07:03 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 13:09:22 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 13:10:46 | → | Infinite joins (~Infinite@49.39.122.227) |
| 13:13:56 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 13:18:06 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 13:22:06 | → | lainon joins (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) |
| 13:23:30 | × | odnes quits (~odnes@5-203-142-96.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 13:25:40 | × | JoL quits (jol@jol.dev) (Quit: WeeChat 3.5) |
| 13:28:11 | → | bahamas joins (~lucian@84.232.141.167) |
| 13:32:05 | → | ystael joins (~ystael@user/ystael) |
| 13:32:30 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 240 seconds) |
| 13:32:32 | → | romesrf joins (~romes@2001:4c80:50:16:20da:d6f5:5d4f:c2a) |
| 13:35:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:35:54 | → | ccntrq1 joins (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 13:36:01 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 13:36:37 | × | ccntrq quits (~Thunderbi@p578bbb40.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:36:37 | ccntrq1 | is now known as ccntrq |
| 13:36:48 | × | Infinite quits (~Infinite@49.39.122.227) (Ping timeout: 252 seconds) |
| 13:41:17 | even4voi- | is now known as even4void |
| 13:41:48 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:46:07 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:46:36 | → | FilipKalan joins (~FilipKala@77.28.86.211) |
| 13:46:39 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 13:47:31 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 13:47:56 | × | FilipKalan quits (~FilipKala@77.28.86.211) (Client Quit) |
| 13:49:39 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:51:59 | → | Infinite joins (~Infinite@49.39.122.227) |
| 13:52:37 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 13:55:13 | × | akegalj quits (~akegalj@89-172-103-241.adsl.net.t-com.hr) (Quit: leaving) |
| 13:55:17 | × | xff0x quits (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 13:55:30 | → | FilipKalan joins (~FilipKala@77.28.86.211) |
| 13:57:04 | <FilipKalan> | Hello, Haskell community! 👋 |
| 13:57:04 | <FilipKalan> | It is my pleasure to invite you all to a Haskell Fireside Chat on the 25th of May at 6:00 PM, UTC. |
| 13:57:05 | <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. |
| 13:57:05 | <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! |
| 13:57:06 | <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! |
| 13:57:06 | <FilipKalan> | For details and registration check: https://hopin.com/events/haskell-advantages-community-and-ecosystem |
| 13:58:53 | × | romesrf quits (~romes@2001:4c80:50:16:20da:d6f5:5d4f:c2a) (Ping timeout: 252 seconds) |
| 13:58:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:59:33 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 14:01:26 | <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/ |
| 14:03:05 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 14:04:39 | → | bahamas joins (~lucian@84.232.141.167) |
| 14:04:52 | × | FilipKalan quits (~FilipKala@77.28.86.211) (Quit: Client closed) |
| 14:05:20 | → | romesrf joins (~romes@2001:4c80:50:16:81ba:4477:cb8a:62b5) |
| 14:06:03 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 14:08:08 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 14:08:20 | <cheater> | is there any "try haskell in browser" website that provides random numbers? |
| 14:08:20 | × | Infinite quits (~Infinite@49.39.122.227) (Ping timeout: 252 seconds) |
| 14:08:36 | <cheater> | i've tried 4 and none of them let me import System.Random |
| 14:08:42 | <cheater> | i just need pseudorandom numbers |
| 14:09:17 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 260 seconds) |
| 14:10:22 | → | FilipKalan joins (~FilipKala@77.28.86.211) |
| 14:11:42 | <geekosaur> | https://play-haskell.tomsmeding.com/play might? |
| 14:11:56 | <FilipKalan> | Thank you, merijn! I will reach them also |
| 14:12:21 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 14:13:37 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:13:37 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:13:37 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:14:25 | <cheater> | Could not find module ‘System.Random’ |
| 14:14:30 | <cheater> | :( |
| 14:14:46 | <geekosaur> | sad |
| 14:15:31 | <fendor[m]> | any nice way to convert an .lhs file to anything readable? |
| 14:15:49 | <geekosaur> | unlit is in the ghc lib directory |
| 14:15:50 | <dminuoso_> | fendor[m]: ghc brings unlit |
| 14:16:19 | <dminuoso_> | I dont think its intended for users, its what it uses internally if memory serves right |
| 14:16:30 | <geekosaur> | yes, but it's just a filter |
| 14:16:36 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 14:16:38 | <geekosaur> | unlit < foo.lhs > foo.hs |
| 14:16:52 | <dminuoso_> | Im just saying for the sake of sanity, in case there's some awkardness in its ergonomics |
| 14:18:43 | <cheater> | i'm sad bookrams didn't lift off |
| 14:18:57 | × | lainon quits (~lainon@2601:7c0:c500:4d20:a451:1d0:9f9a:2ce) (Quit: Textual IRC Client: www.textualapp.com) |
| 14:18:57 | <dminuoso_> | Are there still people writing in lhs? It's certainly an awkward thing I've never understood why people prefer it |
| 14:19:05 | <cheater> | dminuoso_: people who want the world to burn |
| 14:22:14 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 14:22:20 | <fendor[m]> | unlit removes all the comments, I want the comments though >_> |
| 14:22:36 | × | ubert1 quits (~Thunderbi@2a02:8109:9880:303c:55ee:3743:83d9:5725) (Remote host closed the connection) |
| 14:22:45 | <fendor[m]> | academia still uses lhs regularly |
| 14:22:50 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Ping timeout: 240 seconds) |
| 14:23:46 | <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. |
| 14:23:53 | <dminuoso_> | It shouldnt be more than 5-10 lines. |
| 14:24:25 | <fendor[m]> | yeah true, that should be easy enough. |
| 14:25:39 | × | FilipKalan quits (~FilipKala@77.28.86.211) (Quit: Client closed) |
| 14:26:33 | <geekosaur[m]> | sed -n 's/^>//p' |
| 14:28:00 | <fendor[m]> | that still removes the comments, right? |
| 14:30:27 | <merijn> | lhs is fine, it's just people who prefer bird tracks over the latex style who are crazy :p |
| 14:31:01 | <kuribas> | merijn: you don't like markdown? |
| 14:31:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 14:32:09 | <merijn> | Hell no |
| 14:32:12 | <merijn> | markdown is awful |
| 14:33:03 | <geekosaur> | fendor[m], what are you expecting it to do with the comments? |
| 14:35:53 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 14:37:16 | → | zaquest joins (~notzaques@5.130.79.72) |
| 14:37:51 | <fendor[m]> | geekosaur, I want to be able to read them |
| 14:38:03 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 14:38:18 | <fendor[m]> | In particular, the issue is that my tooling crashes on the syntax and the syntax highlighting becomes a hindrance |
| 14:38:51 | <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) |
| 14:39:28 | <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 |
| 14:41:10 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:42:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 14:42:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:43:30 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 246 seconds) |
| 14:43:35 | → | dcoutts joins (~duncan@213.174.99.147) |
| 14:49:21 | → | odnes joins (~odnes@5-203-142-96.pat.nym.cosmote.net) |
| 14:51:33 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:52:49 | × | DNH quits (~DNH@2a02:8109:b740:2c4:cc9c:666b:bccd:43c8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:54:53 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 14:56:32 | × | dcoutts quits (~duncan@213.174.99.147) (Ping timeout: 260 seconds) |
| 14:58:39 | → | zebrag joins (~chris@user/zebrag) |
| 15:00:04 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:01:20 | <dminuoso_> | kuribas: Its hard to like something when nobody can specify what it is. |
| 15:01:43 | <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" |
| 15:01:48 | <dminuoso_> | A brilliant specification to build a parser around. |
| 15:02:06 | × | odnes quits (~odnes@5-203-142-96.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 15:02:09 | <geekosaur> | I use markdown… but don't expect it to be parsed, only read |
| 15:02:49 | <geekosaur> | (I would hate to try to parse the document where I'm using it right now) |
| 15:04:37 | <maerwald> | dminuoso_: LOL |
| 15:04:46 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:09:24 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 15:09:26 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:bfc1:df04:e822:f8d5) (Quit: WeeChat 2.8) |
| 15:09:40 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 15:10:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:11:49 | → | DNH joins (~DNH@2a02:8109:b740:2c4:f90c:b450:1e75:d746) |
| 15:14:04 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:21:38 | → | aliosablack joins (~chomwitt@ppp-2-85-47-58.home.otenet.gr) |
| 15:22:05 | → | coot joins (~coot@213.134.190.95) |
| 15:22:12 | × | romesrf quits (~romes@2001:4c80:50:16:81ba:4477:cb8a:62b5) (Ping timeout: 260 seconds) |
| 15:23:00 | × | chomwitt quits (~chomwitt@2a02:587:dc15:4f00:5705:7cac:d13a:f9f9) (Ping timeout: 272 seconds) |
| 15:23:07 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 15:28:06 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 15:28:23 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 15:29:59 | → | Guest1357 joins (~Guest13@76.130.188.90) |
| 15:31:22 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 15:32:34 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 15:33:30 | × | sammelweis quits (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 240 seconds) |
| 15:33:58 | × | Guest1357 quits (~Guest13@76.130.188.90) (Client Quit) |
| 15:33:59 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 15:35:37 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 15:36:29 | → | odnes joins (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 15:39:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:41:03 | → | romesrf joins (~romes@2001:4c80:50:16:202d:8fad:2025:7f95) |
| 15:44:46 | → | Infinite joins (~Infinite@49.39.116.184) |
| 15:47:20 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 15:47:21 | × | DNH quits (~DNH@2a02:8109:b740:2c4:f90c:b450:1e75:d746) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:49:02 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 15:51:28 | → | nate1 joins (~nate@98.45.169.16) |
| 15:51:29 | × | Vajb quits (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 15:51:58 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:53:32 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 15:54:10 | × | romesrf quits (~romes@2001:4c80:50:16:202d:8fad:2025:7f95) (Ping timeout: 244 seconds) |
| 15:56:10 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 15:57:59 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 16:01:47 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 16:01:49 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:03:18 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:03:53 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 16:05:01 | → | Tuplanolla joins (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 16:06:17 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:06:37 | <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? |
| 16:07:14 | <geekosaur> | :t (*) |
| 16:07:15 | <lambdabot> | Num a => a -> a -> a |
| 16:08:19 | <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 |
| 16:08:51 | <geekosaur> | but then hits that error unless you turn on FlexibleContexts |
| 16:09:07 | <geekosaur> | and then would hit the nonexistence of a Num instance for lists by default |
| 16:12:37 | × | Infinite quits (~Infinite@49.39.116.184) (Quit: Client closed) |
| 16:12:37 | <justsomeguy> | Ok, interesting. I get the impression that learning about how GHC does type inference will help me puzzle out errors in the future. |
| 16:12:38 | <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 |
| 16:12:58 | <geekosaur> | :t fromInteger |
| 16:12:59 | <lambdabot> | Num a => Integer -> a |
| 16:14:07 | <geekosaur> | the behavior of numeric literals and the Num instance are documented in the Language Report; it's not a ghc-specific thing |
| 16:14:54 | × | alp quits (~alp@user/alp) (Ping timeout: 276 seconds) |
| 16:15:30 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1360006.4.1 |
| 16:15:40 | <geekosaur> | and various links from that |
| 16:16:37 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 16:16:43 | → | Infinite joins (~Infinite@49.39.116.184) |
| 16:17:51 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:22:05 | × | dons quits (~dons@user/dons) (Ping timeout: 252 seconds) |
| 16:22:11 | → | alp joins (~alp@user/alp) |
| 16:22:16 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:22:36 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 16:22:54 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 16:24:29 | <justsomeguy> | Thank you geekosaur :^) |
| 16:24:29 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:25:24 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) |
| 16:25:33 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:28:07 | → | romesrf joins (~romes@185.5.8.134) |
| 16:28:50 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) (Read error: Connection reset by peer) |
| 16:29:18 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 16:29:44 | → | dcoutts joins (~duncan@213.174.99.147) |
| 16:30:20 | → | bahamas joins (~lucian@84.232.141.167) |
| 16:30:39 | → | zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) |
| 16:33:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:33:34 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:34:48 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 246 seconds) |
| 16:37:59 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:38:45 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:52:03 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 16:53:17 | → | econo joins (uid147250@user/econo) |
| 16:55:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:02:11 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 17:04:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 17:04:58 | × | dcoutts quits (~duncan@213.174.99.147) (Ping timeout: 272 seconds) |
| 17:07:13 | → | dcoutts joins (~duncan@213.174.99.147) |
| 17:07:48 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 17:08:07 | → | bahamas joins (~lucian@84.232.141.167) |
| 17:11:27 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 17:11:52 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:12:30 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 240 seconds) |
| 17:15:41 | → | CiaoSen joins (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 17:16:43 | → | andrey_ joins (~andrey@p200300dbcf2ab900568bc1b41ab3d698.dip0.t-ipconnect.de) |
| 17:16:52 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 17:18:59 | × | andrey__ quits (~andrey@p200300dbcf0fa900cd94bcacbcaf8e29.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:19:38 | → | Infinite15 joins (~Infinite@49.39.116.184) |
| 17:20:28 | × | Infinite quits (~Infinite@49.39.116.184) (Ping timeout: 252 seconds) |
| 17:20:32 | <dminuoso_> | b |
| 17:21:11 | × | Infinite15 quits (~Infinite@49.39.116.184) (Client Quit) |
| 17:23:40 | → | Infinite joins (~Infinite@157.45.251.76) |
| 17:25:28 | × | Infinite quits (~Infinite@157.45.251.76) (Client Quit) |
| 17:28:22 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:31:48 | × | dcoutts quits (~duncan@213.174.99.147) (Ping timeout: 248 seconds) |
| 17:32:07 | × | causal quits (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 17:32:15 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 17:32:42 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 17:39:06 | × | benin quits (~benin@183.82.31.141) (Quit: The Lounge - https://thelounge.chat) |
| 17:39:24 | → | dcoutts_ joins (~duncan@185.201.63.253) |
| 17:39:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 17:40:40 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 248 seconds) |
| 17:45:15 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 17:47:43 | × | titibandit quits (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Remote host closed the connection) |
| 17:48:50 | × | dcoutts_ quits (~duncan@185.201.63.253) (Remote host closed the connection) |
| 17:49:10 | → | dcoutts_ joins (~duncan@185.201.63.253) |
| 17:54:20 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 17:56:06 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 17:56:16 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:00:28 | → | acidjnk joins (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) |
| 18:00:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 18:06:59 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 18:10:01 | <sm> | markdown is specified these days |
| 18:10:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:11:16 | × | dcoutts_ quits (~duncan@185.201.63.253) (Remote host closed the connection) |
| 18:11:40 | → | dcoutts_ joins (~duncan@185.201.63.253) |
| 18:12:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:14:05 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:18:52 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 18:20:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 18:22:19 | panda_man | is now known as koala_man |
| 18:23:51 | × | dcoutts_ quits (~duncan@185.201.63.253) (Remote host closed the connection) |
| 18:25:48 | → | bahamas joins (~lucian@84.232.141.167) |
| 18:30:28 | × | bahamas quits (~lucian@84.232.141.167) (Ping timeout: 272 seconds) |
| 18:30:34 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 18:37:42 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:38:00 | × | jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 18:41:27 | → | kuribas joins (~user@ptr-17d51eo41433e03tg8t.18120a2.ip6.access.telenet.be) |
| 18:42:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 18:44:10 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 18:45:35 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:47:19 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 18:49:10 | → | bahamas joins (~lucian@84.232.141.167) |
| 18:49:41 | × | bahamas quits (~lucian@84.232.141.167) (Client Quit) |
| 18:56:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 18:56:46 | → | cagri joins (~cagri@176.42.182.4) |
| 18:58:32 | ← | cagri parts (~cagri@176.42.182.4) (WeeChat 3.0.1) |
| 19:02:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 19:08:49 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:10:12 | → | AdamSclock joins (~adamscloc@user/AdamSclock) |
| 19:15:52 | × | ashln quits (~ashln@98.38.236.123) (Quit: Lost terminal) |
| 19:21:46 | × | AdamSclock quits (~adamscloc@user/AdamSclock) (Quit: WeeChat 3.0.1) |
| 19:27:27 | → | oo_miguel joins (~pi@77.252.47.226) |
| 19:34:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 19:35:46 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:40:15 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 19:41:35 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 19:43:26 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:43:28 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 19:51:44 | → | DNH joins (~DNH@2a02:8109:b740:2c4:a173:65fd:d2b6:ad81) |
| 19:52:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 19:52:30 | × | odnes quits (~odnes@5-203-157-247.pat.nym.cosmote.net) (Quit: Leaving) |
| 19:52:59 | → | nate1 joins (~nate@98.45.169.16) |
| 19:53:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 19:54:07 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:54:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:54:29 | × | kuribas quits (~user@ptr-17d51eo41433e03tg8t.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:54:35 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:56:05 | → | moet joins (~moet@mobile-166-170-38-26.mycingular.net) |
| 19:56:08 | × | moet quits (~moet@mobile-166-170-38-26.mycingular.net) (Client Quit) |
| 19:58:19 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:58:30 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 20:02:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 20:03:51 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:04:09 | × | ccntrq quits (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 20:04:41 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:05:21 | → | moet joins (~moet@mobile-166-170-37-248.mycingular.net) |
| 20:07:13 | → | notzmv joins (~zmv@user/notzmv) |
| 20:08:52 | × | julian quits (~julian@20.83.116.49) (Killed (NickServ (GHOST command used by tos9_!~tos9@python/site-packages/Julian))) |
| 20:09:29 | × | moet quits (~moet@mobile-166-170-37-248.mycingular.net) (Client Quit) |
| 20:10:52 | w1gz_ | is now known as w1gz |
| 20:12:06 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 20:17:38 | × | briandaed quits (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 20:19:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 20:20:26 | → | bilegeek joins (~bilegeek@2600:1008:b011:f57:4337:d420:5398:9608) |
| 20:22:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 20:23:06 | → | ubert1 joins (~Thunderbi@p200300ecdf1588d0d433d41379e29d24.dip0.t-ipconnect.de) |
| 20:23:25 | × | CiaoSen quits (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:28:01 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 20:28:16 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 20:29:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 20:33:15 | → | aish joins (~aish@2603-6000-b40a-7000-5525-a5a9-bdf5-4183.res6.spectrum.com) |
| 20:35:23 | <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? |
| 20:39:54 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 20:43:21 | <sm> | hi aish. Could you clarify the problem a bit more ? |
| 20:46:05 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 20:47:29 | → | nate1 joins (~nate@98.45.169.16) |
| 20:52:58 | → | dcoutts joins (~duncan@host86-187-171-127.range86-187.btcentralplus.com) |
| 20:53:02 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:53:17 | <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 |
| 20:53:17 | <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: |
| 20:53:18 | <aish> | https://subscription.packtpub.com/book/big_data_and_business_intelligence/9781783286331/1/ch01lvl1sec13/examining-a-json-file-with-the-aeson-package) |
| 20:53:18 | <aish> | Please let me know if you have any suggestions regarding this. |
| 20:54:30 | <aish> | I hope now my description is clarifying, please lmk if it is not. |
| 20:56:09 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:58:55 | <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 |
| 20:59:09 | → | pavonia joins (~user@user/siracusa) |
| 20:59:14 | <sm> | without a corresponding haskell data type, I meant |
| 21:01:27 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:07:15 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 21:07:32 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 21:14:26 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:19:33 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:e036:2c16:2c1b:265) (Read error: Connection reset by peer) |
| 21:21:20 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:22:46 | × | raym quits (~raym@user/raym) (Remote host closed the connection) |
| 21:22:50 | × | aish quits (~aish@2603-6000-b40a-7000-5525-a5a9-bdf5-4183.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 21:23:02 | → | raym joins (~raym@user/raym) |
| 21:24:27 | × | dcoutts quits (~duncan@host86-187-171-127.range86-187.btcentralplus.com) (Ping timeout: 260 seconds) |
| 21:24:46 | → | dcoutts joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:24:49 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 21:26:38 | × | ubert1 quits (~Thunderbi@p200300ecdf1588d0d433d41379e29d24.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 21:29:19 | × | dcoutts quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 21:30:43 | → | dcoutts joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:34:38 | × | dcoutts quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Remote host closed the connection) |
| 21:34:57 | → | dcoutts joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:36:42 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:36:57 | → | dcoutts_ joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:37:22 | × | dcoutts quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 21:40:04 | → | dcoutts__ joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:40:05 | × | dcoutts_ quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 21:42:21 | × | michalz quits (~michalz@185.246.204.119) (Remote host closed the connection) |
| 21:42:24 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 21:43:27 | → | dcoutts_ joins (~duncan@host86-187-171-127.range86-187.btcentralplus.com) |
| 21:46:01 | × | dcoutts__ quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 21:46:28 | → | dcoutts__ joins (~duncan@host86-187-227-103.range86-187.btcentralplus.com) |
| 21:48:57 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 21:49:01 | × | aliosablack quits (~chomwitt@ppp-2-85-47-58.home.otenet.gr) (Quit: Leaving) |
| 21:49:07 | × | dcoutts_ quits (~duncan@host86-187-171-127.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 21:52:44 | × | dcoutts__ quits (~duncan@host86-187-227-103.range86-187.btcentralplus.com) (Ping timeout: 244 seconds) |
| 21:55:11 | → | aish joins (~aish@2603-6000-b40a-7000-d5e8-0f8f-5baf-768b.res6.spectrum.com) |
| 21:56:04 | → | stackdroid18 joins (14094@user/stackdroid) |
| 21:56:21 | × | acidjnk quits (~acidjnk@p200300d0c7068b37705ac878646b17f4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 21:59:37 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:02:08 | → | Soanvig joins (~Soanvig@83.22.15.24.ipv4.supernova.orange.pl) |
| 22:02:24 | <jackdk> | `Value` has `FromJSON`/`ToJSON` instances, so `eitherDecode :: ByteString -> Either String Value` is a valid specialisation |
| 22:02:50 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 22:03:24 | × | Soanvig quits (~Soanvig@83.22.15.24.ipv4.supernova.orange.pl) (Client Quit) |
| 22:03:38 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:03:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 22:08:12 | × | alp quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 22:10:43 | <sm> | a little discussion of cleaning up the @where db: https://discourse.haskell.org/t/ann-haskell-links-org-searchable-links-db/4542/8 (int-e, all) |
| 22:11:30 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 22:17:38 | → | flo[m] joins (~flosansps@2001:470:69fc:105::1:c22d) |
| 22:31:02 | → | stef204 joins (~stef204@user/stef204) |
| 22:34:11 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 22:40:19 | × | zeenk quits (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 22:47:58 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 22:48:21 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 22:50:05 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 22:53:51 | → | julian joins (~julian@20.83.116.49) |
| 22:54:00 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 22:57:39 | → | stackdroid18 joins (14094@user/stackdroid) |
| 22:59:32 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 23:01:14 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:04:36 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 23:10:53 | <hpc> | imo https://haskell.org/documentation hasn't succeeded just because it takes some time to get past social inertia, and we should just stick with it |
| 23:11:14 | <hpc> | see also: all the people who are still using LYAH all these years later |
| 23:12:16 | <hpc> | it's a really good page, and i wish other languages did it that way |
| 23:13:10 | <hpc> | even on https://www.rust-lang.org/learn you have to power through the web2.0 design of changing layout on every pagedown and huge amounts of whitespace everywhere |
| 23:13:30 | <maerwald[m]> | hpc: no, because it's a dump of links |
| 23:14:05 | <maerwald[m]> | New users don't want to decide between 20 links |
| 23:14:40 | <sclv> | the main problem isn't that we have a link dump, its that we have no definitive links to highlight!! |
| 23:15:01 | <hpc> | i prefer full link dumps |
| 23:15:09 | <sclv> | its a lack of the appropriate content, not that the form in which it is linked to requires fixing per se (though if we had definitive content, it _could_ be highlighted) |
| 23:15:29 | <sclv> | but no amount of munging with links will magically create a high quality free haskell book |
| 23:15:33 | <hpc> | i hate it when i am trying to figure something out and surprise, i have to go look at this totally different thing to understand anything |
| 23:15:36 | <sclv> | we have high quality haskell books, and we have free haskell books |
| 23:15:46 | <sclv> | but beginners simply lack the combination of the two |
| 23:15:54 | <maerwald[m]> | It doesn't even describe the links |
| 23:15:59 | <hpc> | like python packages that don't link to docs, but have just barely enough in the readme to trick you into thinking they're complete |
| 23:16:09 | <hpc> | sure it does |
| 23:16:17 | <hpc> | the link text is the description |
| 23:16:34 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:16:39 | <maerwald[m]> | Not really useful. Doesn't tell me much |
| 23:16:51 | → | ashln joins (~ashln@98.38.236.123) |
| 23:17:15 | <hpc> | the descriptions even have the decency of being correct, instead of froufy nonsense like "READ THE BOOK!" |
| 23:17:19 | <maerwald[m]> | Either I want a pre-selection or I want good reason on why I click a link. It provides neither |
| 23:18:37 | × | yauhsien quits (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 23:19:10 | <hpc> | okay fine, correction on my third message: it's barely adequate by reasonable standards but still way better than the obfuscated crap that the web has become in the last decade or so |
| 23:19:16 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 272 seconds) |
| 23:19:21 | <hpc> | :P |
| 23:19:52 | <hpc> | in any event, whatever changes are made belong on that url |
| 23:20:10 | <hpc> | we don't need yet another domain to point people to |
| 23:20:38 | <hpc> | (this is also the reason i never use the reverse dep page - i can never find it because it's not part of hackage) |
| 23:23:08 | <hpc> | really, my only complaint about that page is the [$] links are mixed in with the free links |
| 23:23:29 | <hpc> | and if i was learning haskell for the first time right now, i would want them all together so i can just middle-click every single link |
| 23:23:48 | <hpc> | since i am going to be looking at all of them anyway |
| 23:24:20 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 23:24:32 | <sm> | the link search ui currently at https://haskell-links.org doesn't replace https://haskell.org/documentation (though it could) |
| 23:25:18 | <hpc> | it would have to present a good interface with javascript disabled |
| 23:25:25 | <hpc> | and it would have to present anything at all with cookies disabled |
| 23:25:32 | <hpc> | other than that, yeah |
| 23:25:42 | <sm> | that page is pretty much the first thing it links to. But as mentioned in my original comment, something more scalable than a manually/slowly-created page is needed. It doesn't have to be either or |
| 23:26:17 | <maerwald[m]> | Also, the reason people start new domains is because it's rather frustrating to contribute to haskell.org |
| 23:26:18 | <sm> | I got a request for a no-js version, and of course that's desirable, just more work. It should come soon though |
| 23:27:16 | <sm> | yeah, in my past experience (not with haskell) any friction from politics or sysadmin access hassles is a momentum and motivation killer so I just started the fast way. |
| 23:27:48 | <maerwald[m]> | Yeah, that's reasonable |
| 23:27:51 | <sm> | but in the discourse thread someone suggested links.haskell.org, which could be an option at some point if this thing succeeds |
| 23:28:50 | <sm> | it might go no further than where it is now, just a web ui for @where. Hope it goes further though, I think it can become rather impactful |
| 23:30:03 | <sm> | > I had in mind being able to also use the web UI for more efficient adding, editing and cleanup; but this raises a bunch of questions and a rather large design space of where and how data is stored and synced, which I’m very much still pondering… |
| 23:30:06 | <lambdabot> | <hint>:1:7: error: parse error on input ‘in’ |
| 23:30:35 | <maerwald[m]> | Popularity rating of links? |
| 23:30:56 | <sm> | yes, that's definitely one of the original goals |
| 23:31:08 | <sm> | that plus tagging makes this more impactful |
| 23:32:08 | <sm> | any ideas welcome. I'm currently thinking the most likely way to handle voting is require a "login with github" |
| 23:32:54 | <hpc> | for the url scheme, maybe something like https://haskell-links.org/go/docs and https://haskell-links.org/search/blahblah |
| 23:32:56 | <EvanR> | what if that's how real voting worked xD |
| 23:33:03 | <EvanR> | only people on github could vote |
| 23:33:04 | <sm> | or was that for controlling edits.. I forget |
| 23:33:05 | <hpc> | makes the urls easier to make sense of at a glance |
| 23:33:10 | <hpc> | and leaves room for other sorts of pages |
| 23:33:17 | <jackdk> | I maintain http://jackkelly.name/wiki/haskell.html as a list of "good things on particular topics", but it's opinionated personal curation |
| 23:33:26 | → | yauhsien joins (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 23:33:39 | <hpc> | https://haskell-links.org/docs looks like it's going to explain to me how the website works |
| 23:34:04 | <sm> | jackdk: it's in my "More..." list, as a potential future link source |
| 23:34:36 | <jackdk> | sweet. dunno how you keep the list under control |
| 23:34:46 | → | benin joins (~benin@183.82.31.141) |
| 23:34:49 | <sm> | hpc: I hear that, though the benefit of the custom hostname is it can be fully dedicated to this one task and provide very short low-typing mnemonic urls |
| 23:35:31 | <hpc> | people tend to read urls more often than they type them :P |
| 23:35:58 | <hpc> | also maybe in addition to tags, some ways to group results even within the search |
| 23:36:10 | <hpc> | so you get a nice section of official links, then blogs, etc |
| 23:37:30 | <sm> | this is designed for, among other things, jumping to that frequent link you remember but can't be bothered looking up for the umpteenth time. I'm sick of digging up the ghc/cabal/stack user guides, the stack/cabal scripts, the books search, etc. |
| 23:37:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 23:38:19 | <hpc> | ooh, nested link structure maybe? |
| 23:38:27 | <sm> | hpc sounds nice. There is grouping capability in the table.. just need to get tags going! |
| 23:38:35 | <hpc> | so there's not just rows for say, ghc/cabal/stack user guides |
| 23:38:41 | <hpc> | but for each of their chapters |
| 23:38:51 | <hpc> | with some awareness of that structure so it's not spammy |
| 23:39:16 | <sm> | well, if it's scalable and flexible, the sky's the limit for experimentation |
| 23:39:24 | <sm> | there's also https://haskell-links.org?advanced=1 -> column filters, for your interest |
| 23:39:53 | <maerwald[m]> | Next, compete with googles algorithm |
| 23:40:19 | <sm> | one of the obvious link source to add could be hackage packages |
| 23:41:42 | <sm> | the main blocker right now is choosing how and where data is stored and synced |
| 23:44:08 | <hpc> | when i say grouping, i mean like https://thundercloud.net/infoave/images/2016/file-explorer-options3.png how it has different collapsable sections |
| 23:44:54 | <hpc> | there'd actually be something like <h1 onclick="...">Official Docs</h1> breaking the flow of the table |
| 23:45:04 | <sm> | we need richer metadata (at least tags and votes). Those won't be stored by lambdabot (they could, but it's probably not the way to go ?). That means either sticking with the lambdabot db but augmenting it with additional data managed by the app; or switching to an app-owned db. And then should that be: individual files, one csv file, multiple csv files, sqlite, postgres.. pros and cons with all of these |
| 23:45:24 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 23:45:39 | <hpc> | yeah, it needs curration anyway to be more than a searchable link dump |
| 23:45:57 | <hpc> | sqlite is probably the best option for this |
| 23:46:16 | <hpc> | it's not a large amount of data and you can host the raw file for people to use themselves |
| 23:46:53 | <hpc> | csv gets weird to deal with once you're doing more than simple stream processing |
| 23:49:17 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 23:49:30 | × | foul_owl quits (~kerry@23.82.193.87) (Ping timeout: 246 seconds) |
| 23:49:37 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 23:50:34 | <sm> | I have enjoyed using plain text files as the storage for hledger-web, so I know how to do that. Pro: it can be exposed in github and also edited that way, providing full history and attribution - no need to build those. Con: saving edits is a bit of a pain, and it's less efficient if the data gets large. |
| 23:51:03 | × | aish quits (~aish@2603-6000-b40a-7000-d5e8-0f8f-5baf-768b.res6.spectrum.com) (Quit: Client closed) |
| 23:51:59 | <sm> | sqlite pro: scalable, powerful. Con: more opaque, have to track revisions and authors yourself if that's wanted, may or may not work as smoothly as postgres with web frameworks |
| 23:54:23 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:54:38 | <sm> | if sqlite, there's another question: read everything into memory (since this is small data), operate in memory, write the whole thing out, for convenience ? Or follow traditional db app style, using the db as working store ? |
| 23:55:06 | × | Kaiepi quits (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 23:55:37 | <jackdk> | I think your data set is small enough and contribution easy enough that you should stick with git for now |
| 23:55:49 | <hpc> | if the data's read-only while running, reading into memory seems natural |
| 23:56:01 | <hpc> | sqlite is just a shortcut at that point |
| 23:56:12 | <jackdk> | oh if you want search too, then slurp it all into sqlite on boot and just blat the server each time you deploy |
| 23:57:05 | <hpc> | if sqlite, you can save the dump instead of the db, then it's text in git again maybe |
| 23:57:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:58:06 | <hpc> | oh, another thing - the mess of links at the top of the page should just be part of the table with a non-lambdabot tag of some sort |
| 23:58:36 | <hpc> | it'll make the actual instructions easier to eyeball - i keep accidentally leaving the page while messing around with it |
All times are in UTC on 2022-05-19.