Logs on 2023-11-03 (liberachat/#haskell)
| 00:00:53 | <monochrom> | Yeah, I think the conflation came from: On platforms that ignorant people only know, between (int*) and (void*) is just coercion for example. They don't know that there could be (and were) non-identity conversions on some old platforms they don't know about. And this being the whole point why the standard is so open-ended about this. |
| 00:01:30 | <EvanR> | I allow being blown out of the water by language X which calls all their conversion functions coercions and coercing |
| 00:01:45 | <EvanR> | because why wouldn't they |
| 00:02:04 | <monochrom> | What they are really stupid about is that between int and double is already a non-identity conversion as opposed to just reusing the same bits. |
| 00:02:14 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 00:02:53 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 255 seconds) |
| 00:03:41 | <monochrom> | But more meta-ly, I am not surprised that English words are casted and/or coerced all the time. >:) |
| 00:03:55 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 00:04:26 | <EvanR> | haskell made my brain explode by having conversions called shocker... conversions, Convertible, with the convert method |
| 00:05:16 | <jackdk> | What is with Haskell using these horrible unintuitive names for things? |
| 00:05:47 | <monochrom> | Because we hate politicians and their lies. >:) |
| 00:05:54 | <monochrom> | intuitive lies! |
| 00:06:41 | <monochrom> | politicians and manager types and similar single-bit organisms |
| 00:07:43 | <juri_> | um. i'm a manager. |
| 00:07:47 | <juri_> | :) |
| 00:08:08 | <monochrom> | But I can agree that the Arrow class is not very intuitive. >:) |
| 00:08:38 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 255 seconds) |
| 00:08:44 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 00:09:04 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 00:09:35 | <juri_> | monochrom: some managers read papers all night, and write haskell until too late in the AM. ;) |
| 00:10:49 | <monochrom> | nocturnal animals :) |
| 00:12:05 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 00:15:46 | <jackdk> | I forgive Arrow for being something that someone was struggling with on the edge of their understanding. I would love to see it rebuilt on profunctor + category + additional laws |
| 00:16:12 | <monochrom> | :) |
| 00:17:31 | <monochrom> | I respect people who struggle but with the attitude "it is me who needs growth". |
| 00:17:36 | <geekosaur> | Cale wants to see it become a symmetric monoidal category |
| 00:18:11 | <geekosaur> | which is probably why nothing changes; there are multiple directions it could go and nobody has enough traction to push it |
| 00:18:33 | <monochrom> | It is the sour-grape attitude that I am against. |
| 00:18:59 | <dolio> | Also, regardless of what you do with it, would it be worth using? |
| 00:19:03 | <geekosaur> | (I am not informed enough to have an opinion about it) |
| 00:19:52 | <geekosaur> | Cale is apparently already using it (a reimplemented version as part of reflex-frp and company) |
| 00:20:25 | geekosaur | has some past discussion in his IRC logs |
| 00:20:34 | <dolio> | Yeah, that's the only example I've ever heard of, really. :) |
| 00:23:18 | <jackdk> | I don't have any opinion on Arrow = SMC vs Arrow = Category + Profunctor + Laws. I have in the past enjoyed doing DB stuff via opaleye's arrow-based interface. |
| 00:23:58 | <jackdk> | There are a few takes on arrowised FRP (yampa IIRC?) but I haven't seen any gain huge traction compared to event/behaviour FRP |
| 00:28:25 | × | phma quits (~phma@2001:5b0:211f:22a8:df61:73e6:61a7:454) (Read error: Connection reset by peer) |
| 00:28:49 | → | phma joins (~phma@host-67-44-208-69.hnremote.net) |
| 00:32:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 00:36:31 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 00:42:39 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 00:48:15 | → | Inst joins (~Inst@120.244.192.250) |
| 00:50:55 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 01:05:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 01:10:08 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:15:14 | × | gdown quits (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 01:19:58 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 01:20:47 | → | vgtw joins (~vgtw@user/vgtw) |
| 01:28:23 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 01:32:08 | → | thegman joins (~thegman@072-239-207-086.res.spectrum.com) |
| 01:32:18 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 01:32:18 | × | jinsun quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 01:32:18 | jinsun_ | is now known as jinsun |
| 01:32:22 | <thegman> | what the heck |
| 01:32:35 | <thegman> | i was trying the termonad terminal |
| 01:33:01 | <thegman> | and the executable is 130 megabytes |
| 01:34:51 | geekosaur | eyes the dependency list |
| 01:35:00 | <geekosaur> | …yeh, that's gonna be pretty big |
| 01:35:48 | <geekosaur> | haskell doesn't normally do dynamic linking except for foreign libraries, so you end up with fairly large executables |
| 01:35:59 | <thegman> | the thing is when i run file on it |
| 01:36:01 | <thegman> | says its dynamic |
| 01:36:17 | <thegman> | and ldd returns a list of libraries its linked against |
| 01:36:36 | <geekosaur> | yes, because it links dynamically to Gtk and other foreign libraries |
| 01:37:04 | <thegman> | where the heck is all the extra fluff coming from |
| 01:37:09 | <thegman> | if i strip it its 100 megabytes |
| 01:37:27 | <geekosaur> | it does not link dynamically to: aeson, lens, adjunctions, classy-prelude, constraints, containers, etc. (https://hackage.haskell.org/package/termonad-4.5.0.0/dependencies) |
| 01:37:29 | <thegman> | but thats still 3 times larger than my statically compiled kernel |
| 01:37:49 | <thegman> | is there a way to just make it only link dynamically |
| 01:38:24 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 01:38:25 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 01:38:25 | <thegman> | id prefer things to be statically linked unless they are bigger than all the information my brain will ever receive throughout my whole life |
| 01:39:50 | → | tessier joins (~treed@ip72-197-145-89.sd.sd.cox.net) |
| 01:41:06 | <geekosaur> | cabal install termonad --enable-executable-dynamic |
| 01:41:34 | <geekosaur> | probably also need --overwrite-policy=always |
| 01:43:07 | <thegman> | oh dang |
| 01:43:11 | <thegman> | now its 50 kilobytes |
| 01:43:16 | <thegman> | thats quite a range |
| 01:43:45 | <thegman> | the downside is ldd termonad | wc -l returns 217 |
| 01:43:55 | <geekosaur> | yep |
| 01:43:59 | <thegman> | huh |
| 01:44:04 | <thegman> | error loading shared libraries |
| 01:44:11 | <thegman> | libHStermonad-4.5.0.0-inplace-ghc9.2.8.so |
| 01:44:59 | <geekosaur> | o.O "inplace" should never happen with "cabal install". what version of cabal are you using and where did you get it (ghcup, system package, …)? |
| 01:45:35 | <thegman> | i didnt do cabal install though |
| 01:45:38 | <thegman> | i did cabal build |
| 01:45:39 | <thegman> | is that why |
| 01:45:42 | <geekosaur> | yes |
| 01:45:45 | <thegman> | ah |
| 01:45:53 | <geekosaur> | you have to use cabal run to run it |
| 01:47:31 | <thegman> | it runs fine now |
| 01:51:47 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 01:56:52 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:59:05 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 240 seconds) |
| 02:01:03 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Ping timeout: 240 seconds) |
| 02:01:48 | → | hammond joins (proscan@user/hammond2) |
| 02:01:58 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 02:06:36 | × | edr quits (~edr@user/edr) (Quit: Leaving) |
| 02:07:11 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 02:08:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) |
| 02:13:12 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Read error: Connection reset by peer) |
| 02:13:37 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 02:13:53 | × | ph88 quits (~ph88@ip5b40e272.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 02:15:32 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 255 seconds) |
| 02:18:33 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 02:19:40 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Read error: Connection reset by peer) |
| 02:20:06 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 02:27:10 | × | otto_s quits (~user@p5b0440a1.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 02:27:20 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 02:28:13 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 02:28:55 | → | otto_s joins (~user@p4ff27373.dip0.t-ipconnect.de) |
| 02:42:32 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 255 seconds) |
| 02:43:48 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 02:47:51 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:55:15 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:03:04 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection) |
| 03:06:00 | <Inst> | oh no, regarding |
| 03:06:41 | <Inst> | regarding NH (which really should be NeoElm), it's more that I'm interested in multiple declarations for types / newtypes |
| 03:10:03 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:10:03 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:10:03 | finn_elija | is now known as FinnElija |
| 03:12:22 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:24:14 | × | lg188 quits (~lg188@82.18.98.230) (Quit: Ping timeout (120 seconds)) |
| 03:24:49 | → | lg188 joins (~lg188@82.18.98.230) |
| 03:33:05 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 03:33:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 03:33:58 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 03:35:47 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 03:36:09 | → | infinity0 joins (~infinity0@pwned.gg) |
| 03:36:26 | <albet70> | how to construct a value which has ExceptT r (ContT r IO) a? |
| 03:37:02 | → | random-jellyfish joins (~tiber@2a02:2f04:11e:c600:196d:e443:3f12:1b34) |
| 03:37:02 | × | random-jellyfish quits (~tiber@2a02:2f04:11e:c600:196d:e443:3f12:1b34) (Changing host) |
| 03:37:02 | → | random-jellyfish joins (~tiber@user/random-jellyfish) |
| 03:37:05 | × | random-jellyfish quits (~tiber@user/random-jellyfish) (Read error: Connection reset by peer) |
| 03:37:26 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 03:37:31 | <Inst> | also cast to me, the real Haskell analogue imo is "unsafeCoerce" |
| 03:37:43 | <Inst> | https://github.com/XmacsLabs |
| 03:37:58 | <Inst> | if you're interested, that's the model / streamer doing baby rubin on Chinese equiv of youtube |
| 03:38:14 | <Inst> | very interesting project |
| 03:38:31 | <Inst> | it's a shame the most functional you'll get there is a scala enthusiast |
| 03:38:38 | <Inst> | on the team |
| 03:39:44 | <Inst> | I still haven't been able to make contact with Chinese QQ |
| 03:40:11 | <Inst> | with the Chinese Haskell QQ, would be interesting to see if they'd like to divert her, or more interestingly enough, see if she's willing to port her stuff to Youtube |
| 03:43:13 | × | td_ quits (~td@i5387092B.versanet.de) (Ping timeout: 252 seconds) |
| 03:44:29 | <jackdk> | albet70: pure |
| 03:44:48 | → | td_ joins (~td@i53870911.versanet.de) |
| 03:46:53 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 03:49:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 03:49:44 | <albet70> | jackdk , ExceptT $ (v :: ContT r IO (Either r a)) |
| 03:50:51 | <albet70> | it seems not right |
| 03:51:22 | <albet70> | ExceptT r (ContT r IO) a is not ExceptT r (ContT r IO a) |
| 03:51:49 | <Axman6> | :t ExceptT |
| 03:51:50 | <lambdabot> | m (Either e a) -> ExceptT e m a |
| 03:52:06 | <Axman6> | m ~ ContT r IO |
| 03:52:13 | × | thegeekinside quits (~thegeekin@189.141.80.123) (Ping timeout: 260 seconds) |
| 03:52:19 | <Axman6> | :t ExceptT @(ContT r IO) |
| 03:52:20 | <lambdabot> | error: parse error on input ‘@’ |
| 03:52:27 | <Axman6> | % :t ExceptT @(ContT r IO) |
| 03:52:27 | <yahb2> | <interactive>:1:11: error: ; Not in scope: type constructor or class ‘ContT’ ; ; <interactive>:1:17: error: Not in scope: type variable ‘r’ |
| 03:52:29 | <albet70> | ExceptT $ (ContT r IO) (Either r a) |
| 03:53:35 | <albet70> | how to construct a value has ContT r IO? since it has *->*, not a type |
| 03:53:40 | × | foul_owl quits (~kerry@185.216.231.181) (Ping timeout: 252 seconds) |
| 03:56:59 | <jackdk> | @untmtl ExceptT (ContT r IO) a |
| 03:56:59 | <lambdabot> | err: `ExceptT (ContT r IO) a' is not applied to enough arguments, giving `/\A. a (Either (ContT r IO) A)' |
| 03:57:09 | <albet70> | ExceptT $ContT $((Either r a) -> IO r) -> IO r? |
| 03:57:18 | <jackdk> | Missing the error param |
| 03:57:27 | <jackdk> | @unmtl ExceptT e (ContT r IO) a |
| 03:57:28 | <lambdabot> | (Either e a -> IO r) -> IO r |
| 03:58:39 | → | Square joins (~Square4@user/square) |
| 04:01:02 | <jackdk> | > :t ExcepT $ ContT $ \k -> k (Right ()) |
| 04:01:03 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 04:01:14 | <jackdk> | % :t ExceptT $ ContT $ \k -> k (Right ()) |
| 04:01:14 | <yahb2> | <interactive>:1:1: error: ; Data constructor not in scope: ExceptT :: a1 -> b ; ; <interactive>:1:11: error: ; Data constructor not in scope: ; ContT :: ((Either a0 () -> t0) -> t0) ... |
| 04:01:21 | <jackdk> | % import Control.Monad.Except |
| 04:01:21 | <yahb2> | <no output> |
| 04:01:28 | <jackdk> | % import Control.Monad.Cont |
| 04:01:28 | <yahb2> | <no output> |
| 04:01:34 | <jackdk> | % :t ExceptT $ ContT $ \k -> k (Right ()) |
| 04:01:34 | <yahb2> | ExceptT $ ContT $ \k -> k (Right ()) ; :: forall {k} {e} {r :: k} {m :: k -> *}. ExceptT e (ContT r m) () |
| 04:01:43 | <jackdk> | or just use `pure` |
| 04:06:44 | → | drewjose joins (~drewjose@129.154.40.88) |
| 04:07:09 | <EvanR> | Inst, wake me up if streamer model is doing haskell or something |
| 04:07:16 | × | nyc quits (~nyc@user/nyc) (Ping timeout: 260 seconds) |
| 04:07:40 | <Inst> | need to make contact with the QQ-based Chinese Haskell community first, see what they think |
| 04:08:10 | <Inst> | but in China, there's a story about a female English or literature graduate who joined a software firm for marketing, ended up moving into software dev, and it was a Haskell firm |
| 04:11:32 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 04:19:59 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:27:59 | <Inst> | erm, I keep on getting messages from lambdabot but I can't read them? |
| 04:34:28 | <Lycurgus> | because glyphs don't reneder in ur client or wat? |
| 04:43:39 | <Lycurgus> | *render |
| 04:45:41 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 04:50:00 | → | aforemny_ joins (~aforemny@2001:9e8:6ce4:6400:b797:ebd1:b498:8617) |
| 04:51:18 | × | aforemny quits (~aforemny@2001:9e8:6cfe:d400:32c5:cb0c:efd9:aea6) (Ping timeout: 258 seconds) |
| 04:57:07 | × | bliminse quits (~bliminse@user/bliminse) (Read error: Connection reset by peer) |
| 05:03:40 | → | bliminse joins (~bliminse@user/bliminse) |
| 05:08:05 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 05:14:56 | → | vglfr joins (~vglfr@46.96.14.220) |
| 05:25:58 | → | michalz joins (~michalz@185.246.207.222) |
| 05:26:27 | → | nyc joins (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 05:26:32 | × | nyc quits (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Changing host) |
| 05:26:32 | → | nyc joins (~nyc@user/nyc) |
| 05:32:32 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 05:33:28 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 05:35:04 | <albet70> | Inst , what's the female name? |
| 05:35:44 | <Inst> | no, every time I ask lambdabot for messages, I get a "you have no messages" |
| 05:36:04 | <albet70> | I know there's an QQ group for haskell, but I don't think it's what you talking about |
| 05:36:52 | <albet70> | actually there also is a chinese telegram group for haskell |
| 05:45:27 | <sshine> | Inst, that's a pretty cool story. |
| 05:45:36 | <sshine> | Inst, has it been recorded anywhere? |
| 05:45:46 | <Inst> | i think i found it once on baidu? |
| 05:45:47 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:46:37 | → | foul_owl joins (~kerry@174-21-66-189.tukw.qwest.net) |
| 05:47:43 | <Inst> | https://space.bilibili.com/32125090/channel/collectiondetail?sid=1000623 |
| 05:48:01 | <Inst> | 看上去已经停止了 (Seems as though she's stopped the series already, re Albet70) |
| 05:50:04 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 05:51:19 | × | tessier quits (~treed@ip72-197-145-89.sd.sd.cox.net) (Ping timeout: 264 seconds) |
| 05:52:26 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 255 seconds) |
| 05:52:59 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 05:53:49 | × | foul_owl quits (~kerry@174-21-66-189.tukw.qwest.net) (Ping timeout: 245 seconds) |
| 06:02:48 | × | vglfr quits (~vglfr@46.96.14.220) (Read error: Connection reset by peer) |
| 06:04:12 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 06:08:23 | → | foul_owl joins (~kerry@185.216.231.182) |
| 06:11:14 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 272 seconds) |
| 06:11:35 | <Inst> | There are some pretty freaky questions on Zhihu (where IIRc I got it from) |
| 06:11:43 | → | mikoto-chan joins (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 06:12:32 | <Inst> | "Girlfriend just began encountering programming, is it appropriate for her to start learning Haskell?" |
| 06:12:44 | → | danik292 joins (~danik292@78-80-16-241.customers.tmcz.cz) |
| 06:13:04 | <danik292> | Hello |
| 06:13:19 | × | danik292 quits (~danik292@78-80-16-241.customers.tmcz.cz) (Client Quit) |
| 06:13:39 | <Inst> | First response is by someone who started with SML |
| 06:14:36 | <Inst> | 正常人看到函数式语言：哇，函数式好简洁，好棒好喜欢，比命令式强多了！ |
| 06:14:36 | <Inst> | <- Normal people encountering Functional languages: "Wow!" Functional programming is so concise, so great, so loved, much better than imperative programming!" |
| 06:16:22 | <Inst> | When I discovered imperative programming: Wow! It's so easy to write high performance code! Expressivity is excellent, it's much better than functional programming!" |
| 06:17:00 | <Inst> | i.e, don't get them to start with FP unless you want them to argue with you about how C is so much better all the time |
| 06:22:52 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 06:25:03 | × | xff0x quits (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 06:25:36 | <Inst> | https://www.zhihu.com/question/368084766?utm_source=wechat_session if you want to take a look, just google translate it |
| 06:26:54 | → | xff0x joins (~xff0x@178.255.149.135) |
| 06:28:04 | × | seeg123456 quits (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 06:28:17 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 06:28:20 | → | seeg123456 joins (~seeg12345@64.176.64.83) |
| 06:31:41 | → | Lycurgus joins (~georg@li1192-118.members.linode.com) |
| 06:31:41 | × | Lycurgus quits (~georg@li1192-118.members.linode.com) (Changing host) |
| 06:31:41 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 06:31:50 | <albet70> | indeed, there are some haskell users on zhihu |
| 06:32:18 | Lycurgus | is no man of the sheeple, never argues with the ignorant masses |
| 06:35:39 | × | benjaminl quits (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 06:36:32 | <Lycurgus> | in spite of its thin substrate communism is an essentialy elitist ideology, prolly why it has done so well in zhong guo |
| 06:36:43 | <Lycurgus> | *thin substrate of democracy |
| 06:37:07 | → | vglfr joins (~vglfr@46.96.14.220) |
| 06:37:41 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 06:38:31 | <Lycurgus> | vanguards educate the masses, they don't engage them in polemics which would only drag them down to the degraded state of the latter |
| 06:39:13 | <Lycurgus> | hs as a culture is like that |
| 06:40:31 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 06:40:35 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 06:41:01 | → | rosco joins (~rosco@yp-150-69.tm.net.my) |
| 06:42:18 | → | xff0x joins (~xff0x@2405:6580:b080:900:54c4:5cc:24c8:e8b2) |
| 06:43:24 | × | vglfr quits (~vglfr@46.96.14.220) (Read error: Connection reset by peer) |
| 06:43:45 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 06:44:27 | → | elbear joins (~lucian@86.120.11.223) |
| 06:45:34 | <albet70> | a . b == id what's relationship of a and b we call? |
| 06:45:38 | → | acidjnk joins (~acidjnk@p200300d6e72b93541477e18bee9793f3.dip0.t-ipconnect.de) |
| 06:45:42 | <albet70> | isomorphic? |
| 06:45:55 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 06:47:18 | <dsal> | I'm a bit confused as to what that means. You can't compare functions. |
| 06:48:20 | <albet70> | runExceptT . ExceptT? |
| 06:48:34 | <dsal> | :t runExceptT . ExceptT |
| 06:48:35 | <lambdabot> | m (Either e a) -> m (Either e a) |
| 06:50:16 | <opqdonut> | albet70: b is the left inverse of a, a is the right inverse of b |
| 06:50:28 | <jackdk> | I think albet70 is asking about what you call it when one function "undoes" another |
| 06:50:45 | <albet70> | jackdk , yes |
| 06:50:51 | <dsal> | > let canReadShown = read . show >>= (==) in canReadShown 123 -- oh, so something like this? |
| 06:50:53 | <lambdabot> | True |
| 06:51:01 | <opqdonut> | albet70: usually the left/right part is clear from context, so you just say "inverse" |
| 06:57:01 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 06:57:32 | → | vglfr joins (~vglfr@46.96.14.220) |
| 06:57:58 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 06:59:08 | → | chomwitt joins (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) |
| 06:59:14 | → | Guest99 joins (~Guest99@2603-7000-4b42-1100-0000-0000-0000-0003.res6.spectrum.com) |
| 06:59:17 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Remote host closed the connection) |
| 07:00:09 | <Guest99> | Hello, is it possible to evaluate a region in emacs to ghci but from the text file? I mean, eval just a region not the entire file. |
| 07:00:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:03:08 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 248 seconds) |
| 07:04:01 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 07:12:51 | <rosco> | I don't use emacs, but maybe this is what you're looking for? https://www.gnu.org/software/emacs/manual/html_node/emacs/Shell.html |
| 07:15:07 | <Guest99> | No, I was looking for something like a haskell-interactive-mode-send-region so I could send a region from the text file to ghci. There must be a way to do this |
| 07:16:26 | <Guest99> | Oh, I see what you mean. Do you mean have a ghci on a regular terminal, not the haskell-interactive window, right? |
| 07:16:41 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 07:17:38 | <rosco> | Yes, but i don't think it would work since you can't give a string as parameters to ghci, or at least I don't think so. |
| 07:18:23 | <Guest99> | I won't work for multiline code without tweaking, for sure |
| 07:18:27 | <Guest99> | it* |
| 07:21:13 | × | elbear quits (~lucian@86.120.11.223) (Quit: leaving) |
| 07:21:32 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 272 seconds) |
| 07:25:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:25:54 | <Inst> | here we go, source on Chinese haskeller lady story |
| 07:25:57 | <Inst> | 我要吐个惊天大槽，你们都把安全带系好！ 有个四川大学学图形设计的很好看的妹子，进了成都一家公司当HR,招Haskell程序员，大概国内的程序狗都太挫比了大半年招不到合适的，妹子自己去去去去去当,去当Ha,Ha,Has,Has,Has,Haskel,Haskell程序员去了。 |
| 07:25:57 | <Inst> | 作者：祖与占 |
| 07:25:57 | <Inst> | 链接：https://www.zhihu.com/question/20427853/answer/60939871 |
| 07:25:57 | <Inst> | 来源：知乎 |
| 07:25:58 | <Inst> | 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 |
| 07:26:00 | <Inst> | whoops :( |
| 07:26:03 | <Inst> | https://www.zhihu.com/question/20427853/answer/60939871 |
| 07:27:21 | <Inst> | graphic designer |
| 07:28:09 | <Inst> | https://twitter.com/smallfishxy/status/510695241620271104 |
| 07:30:09 | × | vglfr quits (~vglfr@46.96.14.220) (Remote host closed the connection) |
| 07:30:36 | → | vglfr joins (~vglfr@46.96.14.220) |
| 07:30:44 | <Inst> | Majored graphic design, was hired to be HR, couldn't find any suitable Haskell programmers, and at the end, she had to learn Haskell and become one herself. |
| 07:32:05 | <albet70> | there's too few haskell jobs at China |
| 07:32:37 | <albet70> | I only heard two Chinese companies using haskell |
| 07:33:06 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 07:33:55 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 07:35:00 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 07:35:02 | × | vglfr quits (~vglfr@46.96.14.220) (Read error: Connection reset by peer) |
| 07:35:22 | → | vglfr joins (~vglfr@149.102.244.69) |
| 07:36:10 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 07:38:34 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 255 seconds) |
| 07:39:33 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) |
| 07:44:41 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:44:47 | × | vglfr quits (~vglfr@149.102.244.69) (Remote host closed the connection) |
| 07:45:22 | → | gmg joins (~user@user/gehmehgeh) |
| 07:46:03 | <Inst> | albet70: what's the other one? |
| 07:46:09 | <Inst> | I'm told EMQ still has maintained Haskell systems |
| 07:47:51 | → | vglfr joins (~vglfr@149.102.244.69) |
| 07:49:49 | × | vglfr quits (~vglfr@149.102.244.69) (Remote host closed the connection) |
| 07:50:03 | × | thegman quits (~thegman@072-239-207-086.res.spectrum.com) (Remote host closed the connection) |
| 07:50:17 | → | vglfr joins (~vglfr@149.102.244.69) |
| 07:50:37 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 07:56:04 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 07:57:49 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:59:55 | <Inst> | Standard Chartered does work in China |
| 08:00:08 | <Inst> | and Sun Yatsen / Zhongshan University isn't as shitty as I had thought |
| 08:00:20 | <Inst> | That is #10 to #5 in China, depending on year |
| 08:08:40 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 08:09:38 | → | Jackneill_ joins (~Jackneill@20014C4E1E16F000BF720022B447C186.dsl.pool.telekom.hu) |
| 08:09:46 | <[exa]> | Inst: #-offtopic |
| 08:10:27 | × | vglfr quits (~vglfr@149.102.244.69) (Remote host closed the connection) |
| 08:11:34 | → | vglfr joins (~vglfr@149.102.244.69) |
| 08:11:42 | <Inst> | ehhh, i'd argue it's still on topic, but this topic is just really depressing |
| 08:15:55 | × | vglfr quits (~vglfr@149.102.244.69) (Ping timeout: 264 seconds) |
| 08:15:55 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 08:16:01 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:16:58 | → | vglfr joins (~vglfr@46.96.14.220) |
| 08:17:36 | × | vglfr quits (~vglfr@46.96.14.220) (Read error: Connection reset by peer) |
| 08:17:50 | → | vglfr joins (~vglfr@149.102.244.69) |
| 08:18:17 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:18:35 | → | danza joins (~francesco@151.47.148.231) |
| 08:20:59 | <Guest99> | @Inst do you use Chinese characters as code? |
| 08:20:59 | <lambdabot> | No module "do you use Chinese characters as code?" loaded |
| 08:24:52 | <Lycurgus> | i first asked a chinese coder that about 30 ya and he thought it absurd then, now not so much |
| 08:25:32 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 255 seconds) |
| 08:27:00 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
| 08:29:25 | × | rosco quits (~rosco@yp-150-69.tm.net.my) (Ping timeout: 258 seconds) |
| 08:30:37 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 08:33:14 | × | xff0x quits (~xff0x@2405:6580:b080:900:54c4:5cc:24c8:e8b2) (Ping timeout: 246 seconds) |
| 08:34:53 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 08:35:25 | → | xff0x joins (~xff0x@ai101218.d.east.v6connect.net) |
| 08:35:35 | × | danza quits (~francesco@151.47.148.231) (Read error: Connection reset by peer) |
| 08:35:40 | <Inst> | hmmm, it looks like at least in 2016, the Chinese equivalent of Uber (about 1/5th their market cap) was using Haskell for backend |
| 08:35:53 | × | vglfr quits (~vglfr@149.102.244.69) (Ping timeout: 255 seconds) |
| 08:35:58 | <Inst> | albet70 |
| 08:36:16 | <Inst> | https://www.zhihu.com/question/50974923 |
| 08:36:20 | → | vglfr joins (~vglfr@46.96.14.220) |
| 08:36:35 | <Guest99> | I mean, APL uses a lot of strange characters and it's 30 yrs old |
| 08:37:07 | <Inst> | Let me go ask in Wechat whether didi is still on Haskell, or whether they ditched it ;_; |
| 08:37:10 | <Guest99> | Haskell could implement something like this now with utf8 |
| 08:38:01 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 08:38:49 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 08:38:51 | <dminuoso> | albet70: Im sure there is more companies using haskell. |
| 08:39:18 | <dminuoso> | Most companies dont go to some public website, register themselves and list all the technologies used inside. |
| 08:39:55 | × | Square quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 08:45:51 | <Inst> | why is didi's Haskell code abusing quasiquoters? |
| 08:46:05 | <Inst> | didi dache is the Chinese equiv of Uber |
| 08:47:12 | → | misterfish joins (~misterfis@46.44.172.198) |
| 08:56:27 | <Inst> | looks like I'm getting the message Didi's Haskell is either in maintenance mode or gone :( |
| 09:02:43 | → | danse-nr3 joins (~danse@151.47.176.154) |
| 09:03:08 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 248 seconds) |
| 09:03:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:05:16 | <Guest99> | you need to write a parser to use quasiquoter, I wonder if it could be improved to simplify the process |
| 09:06:17 | <Guest99> | I use it myself, but for simple contexts |
| 09:07:59 | × | kmein quits (~weechat@user/kmein) (Read error: Connection reset by peer) |
| 09:08:19 | → | kmein joins (~weechat@user/kmein) |
| 09:09:39 | → | CiaoSen joins (~Jura@2a05:5800:289:e700:664b:f0ff:fe37:9ef) |
| 09:11:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 09:12:05 | → | Pickchea joins (~private@user/pickchea) |
| 09:12:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:13:57 | → | dhil joins (~dhil@2001:8e0:2014:3100:9df7:6437:c334:376b) |
| 09:19:27 | → | chele joins (~chele@user/chele) |
| 09:25:13 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 09:27:11 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:30:17 | <albet70> | Inst , didi, uber of china, and you already found it |
| 09:30:51 | <albet70> | dminuoso , not in China mainland |
| 09:31:28 | <danse-nr3> | this one github.com/didi i guess |
| 09:32:03 | <Inst> | from Wechat: sounds like Didi dropped it |
| 09:32:17 | <Inst> | Winterland1989 was working there |
| 09:32:38 | <Inst> | he moved to EMQ, then EMQ stopped funding Haskell Foundation and reduced their Haskell operations |
| 09:34:18 | → | fendor joins (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) |
| 09:34:37 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 09:39:34 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 09:40:58 | <Inst> | looks like EMQ is still backing and developing hstreamdb |
| 09:41:35 | <Inst> | https://hstream.io |
| 09:41:42 | × | vglfr quits (~vglfr@46.96.14.220) (Remote host closed the connection) |
| 09:42:19 | → | vglfr joins (~vglfr@46.96.14.220) |
| 09:43:39 | × | vglfr quits (~vglfr@46.96.14.220) (Remote host closed the connection) |
| 09:44:17 | × | AssCrackBandit quits (~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 255 seconds) |
| 09:45:13 | → | notzmv joins (~zmv@user/notzmv) |
| 09:46:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:48:14 | <Inst> | the wechat folks are praising winterland1989, because hstreamdb is his idea and it's what he's single-handedly pushing |
| 09:48:46 | × | danse-nr3 quits (~danse@151.47.176.154) (Ping timeout: 258 seconds) |
| 09:50:07 | → | danse-nr3 joins (~danse@151.47.176.154) |
| 09:51:21 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 09:51:44 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 09:57:20 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 272 seconds) |
| 09:59:11 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 10:03:45 | → | rosco joins (~rosco@yp-150-69.tm.net.my) |
| 10:07:35 | × | CiaoSen quits (~Jura@2a05:5800:289:e700:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 10:09:13 | × | ft quits (~ft@p4fc2a529.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:10:05 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 10:12:05 | × | Guest99 quits (~Guest99@2603-7000-4b42-1100-0000-0000-0000-0003.res6.spectrum.com) (Quit: Client closed) |
| 10:13:01 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 10:14:23 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 10:15:22 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 252 seconds) |
| 10:21:18 | × | rosco quits (~rosco@yp-150-69.tm.net.my) (Remote host closed the connection) |
| 10:23:51 | × | acarrico quits (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 10:24:41 | → | acarrico joins (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 10:27:52 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 10:28:20 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 10:28:22 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 10:28:31 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 10:28:35 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 10:28:49 | → | tv joins (~tv@user/tv) |
| 10:33:35 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 10:33:37 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 258 seconds) |
| 10:36:07 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 10:41:07 | → | Inst joins (~Inst@120.244.192.250) |
| 10:41:20 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 10:41:54 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 10:42:35 | <kuribas> | What's the name for values having the same structure, but different data? |
| 10:42:44 | <kuribas> | Like ["foo", "bar", "Baz"] and [Just 1, Nothing, Just 4] |
| 10:43:16 | <kuribas> | Or map with different values, but the same keys. |
| 10:44:01 | <kuribas> | So I can zip without losing data. |
| 10:45:39 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 10:49:47 | → | arahael joins (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 10:50:04 | <TMA> | higher order type? |
| 10:50:22 | <kuribas> | I mean at value level. |
| 10:50:44 | <kuribas> | for example zip ["foo", "bar"] [1] is loosing information ("bar") |
| 10:51:10 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Ping timeout: 272 seconds) |
| 10:51:24 | → | __monty__ joins (~toonn@user/toonn) |
| 10:53:04 | <Unicorn_Princess> | kuribas: guessing, something with 'bijection' or 'homomorphism'? |
| 10:54:10 | <kuribas> | Unicorn_Princess: homomorphic? |
| 10:54:49 | <Unicorn_Princess> | ¯\_(ツ)_/¯ |
| 10:55:05 | <[Leary]> | Going by the roots, both 'isomorphic' and 'homomorphic' are correct, but perhaps we shouldn't overload them any further. I'm not aware of an established term, but I'd say "having identical functorial structure", the precise relation being fx ~ fy iff void fx = void fy. |
| 10:55:55 | → | pixelmonk joins (~pixelmonk@50.205.76.66) |
| 10:55:59 | <[Leary]> | Presuming you only need to consider Functors, that is. |
| 10:56:24 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 10:57:59 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 10:58:23 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 11:00:16 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 11:00:21 | <kuribas> | right, thanks! |
| 11:01:56 | <ncf> | i would probably say aligned, because of https://hackage.haskell.org/package/semialign |
| 11:04:12 | × | misterfish quits (~misterfis@46.44.172.198) (Ping timeout: 248 seconds) |
| 11:06:11 | <danse-nr3> | makes me think of a "fiber" (inverse image) under `length`, but not sure that is the context you want to use to interpret this case |
| 11:06:46 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 256 seconds) |
| 11:07:34 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 11:07:42 | <danse-nr3> | what is tricky in your question is that you use "structure" and "data" as if they were objective, but they are only defined by your use case there |
| 11:08:18 | <kuribas> | danse-nr3: I mean some kind of Functorial structure, like [Leary] explained. |
| 11:08:35 | <kuribas> | Which is more than "has the same lenght". |
| 11:09:10 | <kuribas> | Makes me wonder if there is a connection between Functors and zip... |
| 11:16:19 | × | danse-nr3 quits (~danse@151.47.176.154) (Ping timeout: 245 seconds) |
| 11:17:59 | <ncf> | the semialign stuff is one |
| 11:23:46 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 256 seconds) |
| 11:24:10 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 11:25:23 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 11:40:44 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 11:46:17 | → | Inst joins (~Inst@120.244.192.250) |
| 11:53:11 | <yin> | am i the only one who desperately needs a Container class for common container actions? |
| 11:55:24 | <yin> | i know why it's not trival |
| 11:55:29 | → | mmhat joins (~mmh@p200300f1c7445e07ee086bfffe095315.dip0.t-ipconnect.de) |
| 11:55:31 | × | mmhat quits (~mmh@p200300f1c7445e07ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 11:56:06 | <yin> | but without overloading functions it becomes very painful to test different structures for the same program |
| 11:57:59 | <yin> | i usually import <whatever> qualified as MyContainer but many similar functions across different containers have different names |
| 11:58:15 | → | danse-nr3 joins (~danse@151.47.176.154) |
| 11:59:43 | <yin> | the alternative is to almost make a class for each function |
| 12:01:00 | <yin> | </rant> |
| 12:03:03 | <yin> | well I just found https://hackage.haskell.org/package/ListLike-4.7.8.2/docs/Data-ListLike.html |
| 12:14:42 | × | danse-nr3 quits (~danse@151.47.176.154) (Remote host closed the connection) |
| 12:14:56 | → | lortabac joins (~lorenzo@2a01:e0a:541:b8f0:1d15:3725:d7d:b37d) |
| 12:15:06 | → | danse-nr3 joins (~danse@151.47.176.154) |
| 12:30:45 | → | htor joins (~htor@84.208.240.181) |
| 12:49:56 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 12:52:14 | × | htor quits (~htor@84.208.240.181) (Quit: zzz) |
| 12:52:14 | <danse-nr3> | just found out about https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wpartial-fields |
| 12:52:47 | <danse-nr3> | i don't use this much but it is kind of disappointing that a runtime error can be added as easily as with `data Foo = Foo { f :: Int } | Bar` |
| 12:53:19 | <danse-nr3> | gonna play with this a bit |
| 12:53:23 | <danse-nr3> | > data Foo = Foo { f :: Int } | Bar |
| 12:53:24 | <lambdabot> | <hint>:1:1: error: parse error on input ‘data’ |
| 12:53:26 | → | htor joins (~htor@84.208.240.181) |
| 12:53:36 | <danse-nr3> | % data Foo = Foo { f :: Int } | Bar |
| 12:53:37 | <yahb2> | <no output> |
| 12:53:42 | <danse-nr3> | :t f |
| 12:53:43 | <lambdabot> | FromExpr a => a |
| 12:54:06 | <danse-nr3> | FromExpr? Maybe we have some extension enabled |
| 12:54:34 | <danse-nr3> | % data Foo2 = Foo2 { f :: Int } |
| 12:54:34 | <yahb2> | <no output> |
| 12:54:37 | <danse-nr3> | :t f |
| 12:54:38 | <lambdabot> | FromExpr a => a |
| 12:55:48 | <probie> | lambdabot and yahb2 are different. lambdabot already has definitions for a lot of single letter things so you can do |
| 12:55:58 | <probie> | > foldr f [x,y] z |
| 12:56:00 | <lambdabot> | error: |
| 12:56:00 | <lambdabot> | • Couldn't match expected type ‘t0 a0’ with actual type ‘Expr’ |
| 12:56:00 | <lambdabot> | • In the third argument of ‘foldr’, namely ‘z’ |
| 12:56:09 | <probie> | > foldr f z [x, y] |
| 12:56:11 | <lambdabot> | f x (f y z) |
| 12:56:26 | <danse-nr3> | which one is closer to a vanilla ghci and what is the syntax to use it? |
| 12:56:44 | <danse-nr3> | oh i see |
| 12:56:53 | <danse-nr3> | %:t f |
| 12:57:01 | <danse-nr3> | % :t f |
| 12:57:02 | <yahb2> | f :: Foo2 -> Int |
| 12:57:07 | <danse-nr3> | thanks probie |
| 12:57:12 | <danse-nr3> | % data Foo = Foo { f :: Int } | Bar |
| 12:57:13 | <yahb2> | <no output> |
| 12:57:17 | <danse-nr3> | % :t f |
| 12:57:17 | <yahb2> | f :: Foo -> Int |
| 12:57:26 | <danse-nr3> | % f Bar |
| 12:57:26 | <yahb2> | *** Exception: No match in record selector f |
| 12:57:29 | <danse-nr3> | bang |
| 12:58:33 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (Ping timeout: 246 seconds) |
| 12:58:33 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Ping timeout: 246 seconds) |
| 12:58:54 | × | henrytill quits (e0180937c3@2604:bf00:561:2000::e8c) (Ping timeout: 246 seconds) |
| 12:59:16 | × | samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 252 seconds) |
| 12:59:16 | samhh_ | is now known as samhh |
| 12:59:32 | → | samhh_ joins (7569f027cf@2604:bf00:561:2000::e4) |
| 13:00:49 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
| 13:01:13 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 13:01:36 | → | jmcantrell joins (644f1bed9a@user/jmcantrell) |
| 13:01:51 | → | henrytill joins (e0180937c3@2604:bf00:561:2000::e8c) |
| 13:02:25 | × | danse-nr3 quits (~danse@151.47.176.154) (Read error: Connection reset by peer) |
| 13:02:37 | → | danse-nr3 joins (~danse@an-19-185-204.service.infuturo.it) |
| 13:17:10 | × | htor quits (~htor@84.208.240.181) (Quit: htor) |
| 13:17:30 | <danse-nr3> | % data S = S { f :: Int } |
| 13:17:30 | <yahb2> | <no output> |
| 13:17:44 | <danse-nr3> | % data F = FS S | B |
| 13:17:45 | <yahb2> | <no output> |
| 13:17:54 | <danse-nr3> | safer alternative i guess |
| 13:18:50 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 13:21:57 | <danse-nr3> | i guess i would forbid `data Unsafe = Unsafe { f :: Int } | Alt` from our codebase if i could |
| 13:24:00 | <danse-nr3> | % data U = U1 { f :: (), g :: () } | U2 { f :: () } |
| 13:24:00 | <yahb2> | <no output> |
| 13:24:07 | <danse-nr3> | % :t f |
| 13:24:07 | <yahb2> | f :: U -> () |
| 13:24:13 | <danse-nr3> | % :t g |
| 13:24:13 | <yahb2> | g :: U -> () |
| 13:24:26 | <danse-nr3> | % f (U1 () ()) |
| 13:24:27 | <yahb2> | () |
| 13:24:33 | <danse-nr3> | % f (U2 ()) |
| 13:24:33 | <yahb2> | () |
| 13:24:41 | <danse-nr3> | % g (U1 () ()) |
| 13:24:41 | <yahb2> | () |
| 13:24:48 | <danse-nr3> | % g (U2 ()) |
| 13:24:49 | <yahb2> | *** Exception: No match in record selector g |
| 13:25:08 | <danse-nr3> | generic accessors before the extension existed |
| 13:26:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:35:12 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 13:35:12 | <danse-nr3> | well, some proto-broken form for them anyways |
| 13:37:46 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 252 seconds) |
| 13:38:00 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 13:48:28 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:53:24 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 13:57:41 | → | edr joins (~edr@user/edr) |
| 14:01:26 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 14:05:08 | × | CO2 quits (CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.1) |
| 14:08:43 | → | CO2 joins (CO2@gateway/vpn/protonvpn/co2) |
| 14:09:20 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 14:09:48 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 14:12:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:17:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:19:25 | → | Umeaboy joins (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 14:20:26 | <Umeaboy> | Hi! I've tried to use various different versions of the ghc src.tar.xz and it still fails. |
| 14:21:59 | <Umeaboy> | https://pastebin.mozilla.org/QLBQbdAY |
| 14:22:07 | × | pixelmonk quits (~pixelmonk@50.205.76.66) (Quit: WeeChat 4.1.0) |
| 14:22:23 | <Umeaboy> | I know that it's not the full output, but I forgot to change the numbers of lines in the terminal. |
| 14:23:28 | <Umeaboy> | What have I forgotten to do? I have followed the instructions on the wiki. |
| 14:28:50 | <__monty__> | Umeaboy: If you're trying to build GHC, #ghc is the best place for questions. |
| 14:30:49 | <int-e> | hmm, hsc2hs, could be some weird locale or maybe a header file with malformed utf-8? |
| 14:31:59 | <int-e> | (the header file would probably be <time.h>) |
| 14:32:50 | × | arahael quits (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 272 seconds) |
| 14:39:15 | → | Pickchea joins (~private@user/pickchea) |
| 14:42:49 | <Umeaboy> | int-e: Is this easily solved? |
| 14:45:49 | × | fendor quits (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) (Remote host closed the connection) |
| 14:50:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:53:59 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 14:54:23 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:56:29 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 14:56:59 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 14:57:20 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:59:07 | × | mikoto-chan quits (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 15:06:38 | × | danse-nr3 quits (~danse@an-19-185-204.service.infuturo.it) (Ping timeout: 246 seconds) |
| 15:12:38 | → | danse-nr3 joins (~danse@an-19-185-204.service.infuturo.it) |
| 15:13:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:17:02 | <[exa]> | Umeaboy: what's your locale settings? ( export |grep LC_ ) |
| 15:17:17 | <[exa]> | Umeaboy: i.e., try to run with LC_ALL=C just to be triplesure |
| 15:18:09 | <int-e> | we /may/ be over the locale issue |
| 15:18:26 | <int-e> | (the discussion has continued on #ghc) |
| 15:18:31 | <[exa]> | ahh ok |
| 15:19:58 | × | Teacup quits (~teacup@user/teacup) () |
| 15:20:15 | → | Teacup joins (~teacup@user/teacup) |
| 15:21:41 | <Umeaboy> | [exa]: You're welcome to join in #ghc to discuss it further if you want. |
| 15:22:47 | <[exa]> | ah no I was trying to contribute my ¢2 here, no real idea what might be really wrong :D |
| 15:23:10 | <[exa]> | btw you have UTF in path, right? that might be worth checking for |
| 15:24:29 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:26:15 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:27:20 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 15:28:04 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 15:32:08 | × | shapr quits (~user@2600:1700:c640:3100:ec3b:814b:6065:5646) (Remote host closed the connection) |
| 15:40:08 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 15:44:58 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Remote host closed the connection) |
| 15:45:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) |
| 15:46:01 | <Umeaboy> | [exa]: https://pastebin.mozilla.org/55C3u9MV |
| 15:47:43 | <nyc> | How do I check for haddock warnings originating from a particular source file? |
| 15:50:51 | <danse-nr3> | maybe there is a way to haddock a single file, never tried |
| 15:52:10 | → | rgw joins (~R@2605:a601:a0f5:a800:ad48:522e:108:bbe8) |
| 15:52:33 | <nyc> | It's okay if it looks at more so long as I can just pick warnings and errors for one file. |
| 15:53:09 | <danse-nr3> | can't the output be grepped? Let me look at some old runs i might have ... |
| 15:53:46 | <nyc> | The format of what it outputs is odd. |
| 15:53:58 | <danse-nr3> | nope they got lost. Don't know |
| 15:57:16 | × | lortabac quits (~lorenzo@2a01:e0a:541:b8f0:1d15:3725:d7d:b37d) (Quit: WeeChat 3.5) |
| 16:00:14 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 16:12:59 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:16:22 | → | qqq joins (~qqq@92.43.167.61) |
| 16:21:29 | → | pixelmonk joins (~pixelmonk@173.46.79.26) |
| 16:22:17 | <nyc> | Invoking haddock directly instead of via cabal haddock seems relevant. |
| 16:23:00 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 16:24:09 | <Umeaboy> | It still won't build. |
| 16:25:18 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:32:04 | <[exa]> | Umeaboy: did you find where it takes the weird character? (e.g. what command it is?) |
| 16:32:52 | <[exa]> | Umeaboy: also if possible, really try without the umlaut in $PWD |
| 16:35:04 | → | ski joins (~ski@88.131.7.247) |
| 16:38:40 | haveo | is now known as haveo_ |
| 16:38:55 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 16:40:09 | × | haveo quits (~weechat@pacamara.iuwt.fr) (Client Quit) |
| 16:41:08 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 16:42:33 | <Umeaboy> | [exa]: https://pastebin.mozilla.org/3pNB4L8q |
| 16:43:02 | <Umeaboy> | I'm not making any chances besides the one you see in that output. |
| 16:47:08 | × | danse-nr3 quits (~danse@an-19-185-204.service.infuturo.it) (Remote host closed the connection) |
| 16:48:56 | <geekosaur> | 56515 is a surrogate. is something using utf16 instead of utf8? |
| 16:50:35 | <int-e> | what does `locale` say? |
| 16:52:35 | <Umeaboy> | int-e: https://pastebin.mozilla.org/KCBhum7n |
| 16:55:31 | <int-e> | So it is UTF-8 based. But then why did using C.UTF-8 make a difference earlier? |
| 16:55:44 | <int-e> | (Well I thought it did.) |
| 16:57:40 | → | danse-nr3 joins (~danse@151.47.197.13) |
| 16:58:19 | → | mikoto-chan joins (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 17:01:18 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:03:09 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:06:00 | <EvanR> | should ghc work in non utf8 locales, hypothetically |
| 17:07:02 | <EvanR> | also how would time.h be implicated in bad unicode |
| 17:11:00 | → | mechap joins (~mechap@user/mechap) |
| 17:12:08 | × | haveo_ quits (~haveo@sl35.iuwt.fr) (Quit: leaving) |
| 17:12:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 256 seconds) |
| 17:13:16 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 17:13:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:17:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 17:29:27 | <Umeaboy> | Uuuuuhm. I'm beginning to feel that this problem cannot be solved today. Am I right? |
| 17:30:39 | <Umeaboy> | hadrian won't build even with 9.6.3 from git. |
| 17:31:35 | <Umeaboy> | https://pastebin.mozilla.org/me0XejW8 |
| 17:31:39 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:31:51 | <EvanR> | I can try to carry out your build in my locale and see if it has the same problem |
| 17:32:14 | <EvanR> | if you tell me the instructions |
| 17:32:30 | <Umeaboy> | EvanR: Sure. |
| 17:32:32 | <Umeaboy> | PM? |
| 17:32:47 | <EvanR> | dunno if that's necessary |
| 17:32:54 | <Umeaboy> | OK. |
| 17:36:00 | <EvanR> | so, build hadrian, ok, cloning I guess |
| 17:36:45 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 17:36:53 | <Umeaboy> | Install ghcup and use Stack 2.11.1, HLS 2.4.0.0, Cabal 3.10.1.0, GHC 9.6.3. Install happy and alex using cabal from ghcup. Now do git clone --recursive https://github.com/ghc/ghc.git -b ghc-9.6.3-release && cd ghc/ && aclocal && ./boot && ./configure |
| 17:43:00 | × | chomwitt quits (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 17:44:41 | <EvanR> | why am I installing stack and then installing happy and alex with cabal |
| 17:44:47 | <EvanR> | globally |
| 17:45:08 | <Umeaboy> | EvanR: Because I choose to integrate Stack. |
| 17:45:22 | <EvanR> | I've never used stack really so this is uncharted territory |
| 17:45:48 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 17:47:37 | <EvanR> | cloning |
| 17:49:04 | <EvanR> | ./configureing |
| 17:49:20 | <EvanR> | Configure completed successfully. |
| 17:49:40 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 256 seconds) |
| 17:49:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:50:05 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 17:50:38 | <EvanR> | all the locale related environment variables are en_US.UTF-8 |
| 17:54:39 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 17:55:47 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 17:56:49 | → | thegman joins (~thegman@072-239-207-086.res.spectrum.com) |
| 17:57:20 | × | thegman quits (~thegman@072-239-207-086.res.spectrum.com) (Client Quit) |
| 17:59:24 | → | thegman joins (~thegman@072-239-207-086.res.spectrum.com) |
| 18:00:11 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 18:01:13 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 18:06:56 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 18:12:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Remote host closed the connection) |
| 18:16:04 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:17:05 | × | CO2 quits (CO2@gateway/vpn/protonvpn/co2) (Ping timeout: 240 seconds) |
| 18:17:29 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 18:17:37 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 18:18:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:22:47 | → | neceve joins (~neceve@user/neceve) |
| 18:25:04 | × | tomith quits (tomith@user/tomith) (Quit: tomith) |
| 18:32:09 | → | troydm joins (~troydm@user/troydm) |
| 18:32:14 | → | erty joins (~user@user/aeroplane) |
| 18:36:06 | → | Square joins (~Square@user/square) |
| 18:36:39 | → | ft joins (~ft@p4fc2a529.dip0.t-ipconnect.de) |
| 18:43:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:45:55 | × | danse-nr3 quits (~danse@151.47.197.13) (Ping timeout: 255 seconds) |
| 18:45:59 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) |
| 18:55:19 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:55:33 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 18:56:51 | → | shapr joins (~user@2600:1700:c640:3100:d4c2:10b0:ae58:c7b2) |
| 19:01:27 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 19:12:39 | → | CO2 joins (CO2@gateway/vpn/protonvpn/co2) |
| 19:19:05 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 19:20:33 | → | simendsjo joins (~user@84.209.170.3) |
| 19:23:43 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 19:39:56 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
| 19:41:24 | × | erty quits (~user@user/aeroplane) (Ping timeout: 258 seconds) |
| 19:42:24 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 19:48:22 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 19:54:53 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 19:56:45 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 19:56:45 | → | EvanR joins (~EvanR@user/evanr) |
| 20:00:58 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 20:02:34 | × | mikoto-chan quits (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 20:16:57 | × | forell_ quits (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 20:17:51 | → | forell joins (~forell@user/forell) |
| 20:20:07 | × | forell quits (~forell@user/forell) (Client Quit) |
| 20:20:57 | → | forell joins (~forell@user/forell) |
| 20:25:23 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:36:33 | → | Inst joins (~Inst@120.244.192.250) |
| 20:46:12 | → | pavonia joins (~user@user/siracusa) |
| 20:51:44 | × | ski quits (~ski@88.131.7.247) (Ping timeout: 245 seconds) |
| 21:02:49 | → | AssCrackBandit joins (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
| 21:03:08 | → | chomwitt joins (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) |
| 21:08:06 | × | simendsjo quits (~user@84.209.170.3) (Ping timeout: 255 seconds) |
| 21:11:42 | × | elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 21:19:37 | → | elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 21:22:38 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 21:25:16 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 21:29:36 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 21:40:18 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 21:40:29 | → | fendor joins (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) |
| 21:41:25 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 21:43:37 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 21:44:06 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 21:44:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:45:14 | × | zetef quits (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection) |
| 21:45:18 | × | chomwitt quits (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer) |
| 21:45:52 | → | zetef joins (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
| 21:50:29 | × | mosul quits (~mosul@user/mosul) (Remote host closed the connection) |
| 21:51:34 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:56:31 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 21:57:11 | → | Pickchea joins (~private@user/pickchea) |
| 21:58:39 | × | fendor quits (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) (Remote host closed the connection) |
| 22:01:08 | <EvanR> | the aeson Value typed used to use HashMap to represent json object. Now it's configurable. Was there any benchmark gaming to show which one is better is what situations |
| 22:01:26 | <EvanR> | I can't type |
| 22:02:09 | <EvanR> | HashMap or Map for json, who won |
| 22:07:04 | × | neceve quits (~neceve@user/neceve) (Ping timeout: 258 seconds) |
| 22:08:43 | × | malte quits (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 22:12:38 | <monochrom> | Map won the hash collision DoS argument. :) |
| 22:16:26 | ghoulguy | is now known as glguy |
| 22:18:02 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 255 seconds) |
| 22:18:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:29:11 | → | Buggys joins (Buggys@shelltalk.net) |
| 22:31:48 | → | neceve joins (~neceve@user/neceve) |
| 22:34:48 | × | dhil quits (~dhil@2001:8e0:2014:3100:9df7:6437:c334:376b) (Ping timeout: 272 seconds) |
| 22:37:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:41:38 | × | acidjnk quits (~acidjnk@p200300d6e72b93541477e18bee9793f3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:46:44 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 22:55:51 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:56:20 | × | Jackneill_ quits (~Jackneill@20014C4E1E16F000BF720022B447C186.dsl.pool.telekom.hu) (Ping timeout: 272 seconds) |
| 22:56:22 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:00:08 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 23:10:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:19:31 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 23:24:20 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 23:26:30 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 23:32:53 | → | newsham joins (~newsham@2603-800c-2c01-6825-8820-42a4-227a-4465.res6.spectrum.com) |
| 23:33:14 | <newsham> | hi. does ghc support "compiling to categories"? |
| 23:34:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 23:42:11 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 23:50:28 | × | cmtaur^ quits (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
| 23:51:36 | → | cmtaur^ joins (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
| 23:53:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
All times are in UTC on 2023-11-03.