| 2021-12-17 00:02:16 +0100 | chomwitt | (~chomwitt@2a02:587:dc19:a500:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-12-17 00:02:26 +0100 | <geekosaur> | yeh. or "why is this file missing?" |
| 2021-12-17 00:02:56 +0100 | michalz | (~michalz@185.246.204.104) (Remote host closed the connection) |
| 2021-12-17 00:07:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Ping timeout: 240 seconds) |
| 2021-12-17 00:08:10 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 00:08:27 +0100 | nighmi | (~felix@55d4f4c1.access.ecotel.net) |
| 2021-12-17 00:08:28 +0100 | <Axman6> | Sgeo_: implementing instance Monad Const is an interesting exercise |
| 2021-12-17 00:10:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-17 00:13:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 00:15:16 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3) |
| 2021-12-17 00:15:27 +0100 | sm | leaves stack.yaml alone, uses a custom hie.yaml to make hls use a different one, and adds local convenience aliases like |
| 2021-12-17 00:15:27 +0100 | sm | alias stack810="stack --stack-yaml stack*8*10*.yaml" |
| 2021-12-17 00:15:27 +0100 | sm | alias stack90="stack --stack-yaml stack*9*0*.yaml" |
| 2021-12-17 00:15:39 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2021-12-17 00:16:10 +0100 | Vajb | (~Vajb@2001:999:62:f3d1:4390:fbed:1f9b:9d03) |
| 2021-12-17 00:20:09 +0100 | nighmi | (~felix@55d4f4c1.access.ecotel.net) (Quit: WeeChat 3.3) |
| 2021-12-17 00:21:18 +0100 | mason0 | (~bc8147f2@cerf.good1.com) |
| 2021-12-17 00:25:40 +0100 | mmhat | (~mmh@55d46fe9.access.ecotel.net) (Quit: WeeChat 3.3) |
| 2021-12-17 00:26:17 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 00:28:15 +0100 | max22- | (~maxime@2a01cb0883359800e979b10b27a72e14.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-12-17 00:29:31 +0100 | <janus> | sm: what's the rationale for the wildcard if you only support one minor release per major version? |
| 2021-12-17 00:29:32 +0100 | Vajb | (~Vajb@2001:999:62:f3d1:4390:fbed:1f9b:9d03) (Read error: Connection reset by peer) |
| 2021-12-17 00:29:59 +0100 | <sm> | janus: just to adapt to the filename conventions in different projects |
| 2021-12-17 00:30:17 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-12-17 00:30:23 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-17 00:33:42 +0100 | TranquilEcho | (~grom@user/tranquilecho) |
| 2021-12-17 00:34:22 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 00:34:50 +0100 | son0p | (~ff@2800:484:1d81:b700:d40b:900:b387:320) (Ping timeout: 260 seconds) |
| 2021-12-17 00:37:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 00:39:31 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2021-12-17 00:39:55 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) |
| 2021-12-17 00:42:32 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2021-12-17 00:43:57 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-12-17 00:46:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Ping timeout: 240 seconds) |
| 2021-12-17 00:47:01 +0100 | Jing | (~hedgehog@2604:a840:3::103e) (Remote host closed the connection) |
| 2021-12-17 00:47:41 +0100 | Jing | (~hedgehog@2604:a840:3::103e) |
| 2021-12-17 00:47:49 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-17 00:52:17 +0100 | <hololeap> | mapFunction :: (Bounded k, Enum k, Ord k) => Map k v -> Maybe (k -> v) |
| 2021-12-17 00:52:41 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 00:52:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-17 00:53:02 +0100 | <Axman6> | returns Nothing if any k isn't present? |
| 2021-12-17 00:53:31 +0100 | <hololeap> | this is supposed to create a function from k to v, only if all the keys ([minBound..maxBound]) are present, but I can't think of how to implement it |
| 2021-12-17 00:53:40 +0100 | <Axman6> | this feels like such a scala thing to do, IIRC Maps are PartialFunctions |
| 2021-12-17 00:55:07 +0100 | <Axman6> | hololeap: it feels like using memo-trie could help a lot |
| 2021-12-17 00:55:53 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2021-12-17 00:55:55 +0100 | <hololeap> | the idea is that you're searching a problem space and building up this map as you go, and once you have it completed, you can get a complete function from it |
| 2021-12-17 00:56:14 +0100 | <Axman6> | also if Data.Map exposes its constructors, you could build an expression that does a binary search from the map's structure after validating all elements |
| 2021-12-17 00:56:25 +0100 | <monochrom> | Use "keys" to get the keys present, compare with [minBound..maxBound]. |
| 2021-12-17 00:57:32 +0100 | <Axman6> | also, justified containers might be relevant |
| 2021-12-17 00:57:52 +0100 | <hololeap> | ok, yeah I was trying to do something fancy using Map.lookup and the Maybe monad |
| 2021-12-17 01:01:06 +0100 | iqubic | (~user@2601:602:9502:c70:c1df:76dd:a2c3:7b85) (Remote host closed the connection) |
| 2021-12-17 01:01:30 +0100 | <Axman6> | mapFunction Tip = Nothing; mapFunction (Bin k a l r) = .... and this is where I get stuck :P |
| 2021-12-17 01:02:06 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 01:05:09 +0100 | <hololeap> | (a -> b -> m c) -> a -> m (b -> c) -- this might not be possible in general |
| 2021-12-17 01:05:16 +0100 | bens_ | bens |
| 2021-12-17 01:05:21 +0100 | <Axman6> | mapFunction Tip = Nothing; mapFunction (Bin k a l r) = Just (\k' -> case compare k' k of EQ -> a; LT -> (case mapFunction l of Just f -> f k'; Nothing -> error "Not total!";) GT -> (case mapFunction r of Just f -> f k'; Nothing -> error "Not total!")) |
| 2021-12-17 01:05:36 +0100 | <Axman6> | yeah I think it's not |
| 2021-12-17 01:05:46 +0100 | <monochrom> | Ugh, I'm a moron. (\m -> size m == fromEnum maxBound - fromEnum minBound) is your O(1)-time completion test. |
| 2021-12-17 01:06:24 +0100 | <Axman6> | https://hackage.haskell.org/package/justified-containers-0.3.0.0/docs/Data-Map-Justified.html might help though |
| 2021-12-17 01:06:29 +0100 | <hololeap> | oh, good idea |
| 2021-12-17 01:06:55 +0100 | <Axman6> | since you can produce Key for every Bounded value |
| 2021-12-17 01:07:28 +0100 | <hololeap> | Axman6: thanks, I'll check it out |
| 2021-12-17 01:08:11 +0100 | <geekosaur> | missing +1 there, monochrom? |
| 2021-12-17 01:11:04 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3) |
| 2021-12-17 01:12:09 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) |
| 2021-12-17 01:12:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-17 01:18:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-17 01:18:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-17 01:18:32 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-17 01:20:13 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 01:21:04 +0100 | jeetelongname | (~jeet@88-111-159-26.dynamic.dsl.as9105.com) |
| 2021-12-17 01:28:02 +0100 | wrengr | (~wrengr@34.133.83.34.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2021-12-17 01:29:53 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 2021-12-17 01:30:34 +0100 | <monochrom> | Oh oops haha dammit. |
| 2021-12-17 01:35:45 +0100 | <geekosaur> | amn fenceposts get you every time :) |
| 2021-12-17 01:35:52 +0100 | <geekosaur> | *damn |
| 2021-12-17 01:36:32 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 01:39:42 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 01:43:44 +0100 | <Axman6> | hololeap: you could also something using general comgining stuff in Data.Map.Internal: https://hackage.haskell.org/package/containers-0.6.5.1/docs/Data-Map-Internal.html#g:13 I feel like if you can zip with (map (,()) [minBound..maxBound]) you should be able to build up something |
| 2021-12-17 01:43:47 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2021-12-17 01:48:17 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-12-17 01:49:45 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-12-17 01:50:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-169.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-12-17 01:57:46 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 02:01:02 +0100 | ubert | (~Thunderbi@p200300ecdf1abb0334f3944fefcb567c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-17 02:01:10 +0100 | pfurla | (~pfurla@177.25.182.217) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-12-17 02:02:27 +0100 | pfurla | (~pfurla@2804:18:5827:38:45d9:640:f63d:c384) |
| 2021-12-17 02:02:48 +0100 | Guest45 | (~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) |
| 2021-12-17 02:06:36 +0100 | acidjnk | (~acidjnk@p200300d0c7271e22d5fcf408496a0722.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-12-17 02:07:19 +0100 | <mason0> | can one use opencv in haskell? bindings on hackage have not been updated since 2018, and status says: All reported builds failed as of 2018-01-02 [all 1 reports] |
| 2021-12-17 02:07:27 +0100 | <mason0> | https://hackage.haskell.org/package/opencv |
| 2021-12-17 02:08:59 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 02:10:01 +0100 | Guest45 | (~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) (Ping timeout: 256 seconds) |
| 2021-12-17 02:11:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-12-17 02:12:02 +0100 | <sm> | mason0: a large package untouched since 2018 usually means you'll have to do some fixup work. You could try installing it with cabal. It's likely to have fewest problems with the mainstream GHC version of 2018 (GHC 8.6 probably) |
| 2021-12-17 02:12:57 +0100 | shapr | (~user@12.5.211.156) (Ping timeout: 240 seconds) |
| 2021-12-17 02:13:11 +0100 | <sm> | it also has a stack.yaml in the git repo, so "stack install" inside that repo has a pretty good chance of working |
| 2021-12-17 02:13:16 +0100 | <Axman6> | Builds that depend on C libraries almost alwasyy fail because hackage won't have them installed |
| 2021-12-17 02:13:27 +0100 | <Axman6> | always* |
| 2021-12-17 02:13:41 +0100 | <sm> | and you'll certainly need to install the C libs first, which the docs might cover |
| 2021-12-17 02:15:05 +0100 | shapr | (~user@12.5.211.156) |
| 2021-12-17 02:17:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-12-17 02:18:08 +0100 | jeetelongname | intguage |
| 2021-12-17 02:19:57 +0100 | intguage | intgauge |
| 2021-12-17 02:21:36 +0100 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-12-17 02:21:57 +0100 | emf | (~emf@2620:10d:c091:480::1:7a0e) (Ping timeout: 240 seconds) |
| 2021-12-17 02:22:38 +0100 | emf | (~emf@2620:10d:c091:480::1:7a0e) |
| 2021-12-17 02:23:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-12-17 02:25:32 +0100 | <mason0> | I am getting errors, but it is unrelated to haskell source. " The pkg-config package 'opencv' version >=3.0.0 is required but it could not be found.". should I install it manually? does it ship with opencv? |
| 2021-12-17 02:25:50 +0100 | <mason0> | https://paste.tomsmeding.com/ES1acnLq |
| 2021-12-17 02:26:04 +0100 | <Axman6> | Did you install opencv? |
| 2021-12-17 02:26:05 +0100 | <mason0> | I have pkg-config version 0.28, that I installed god knows when |
| 2021-12-17 02:26:17 +0100 | <Axman6> | no haskell tools install C libraries for you |
| 2021-12-17 02:26:45 +0100 | <mason0> | yes I have it installed, and it works fine in C++ (Visual Studio) |
| 2021-12-17 02:27:13 +0100 | <geekosaur> | uh |
| 2021-12-17 02:27:21 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 02:27:29 +0100 | <Axman6> | is this on windows? |
| 2021-12-17 02:27:34 +0100 | <mason0> | yes |
| 2021-12-17 02:27:54 +0100 | emf | (~emf@2620:10d:c091:480::1:7a0e) (Read error: Connection reset by peer) |
| 2021-12-17 02:27:55 +0100 | <geekosaur> | those libraries won't be usable by ghc |
| 2021-12-17 02:27:57 +0100 | <Axman6> | then I have no idea |
| 2021-12-17 02:28:22 +0100 | <mason0> | geekosaur, I need opencv compiled with ghc? |
| 2021-12-17 02:28:23 +0100 | <geekosaur> | you will need to install the mingw opencv libraries |
| 2021-12-17 02:28:27 +0100 | <mason0> | s/ghc/gcc |
| 2021-12-17 02:28:45 +0100 | emf | (~emf@2620:10d:c091:480::1:7a0e) |
| 2021-12-17 02:28:57 +0100 | <mason0> | that's surprising. doesn't opencv ship with .dll libraries, which should be usable from any compiler? |
| 2021-12-17 02:29:04 +0100 | <Axman6> | Windows is a second class citizen when it comes to software development |
| 2021-12-17 02:29:04 +0100 | <mason0> | I'll check |
| 2021-12-17 02:29:08 +0100 | Guest45 | (~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) |
| 2021-12-17 02:29:28 +0100 | Guest45 | (~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) (Client Quit) |
| 2021-12-17 02:29:30 +0100 | <mason0> | Axman6, well, I have no issues at all with running opencv in C++, or python |
| 2021-12-17 02:29:35 +0100 | <geekosaur> | hm, looks like there might not be a package and you'll have to build it for mingw |
| 2021-12-17 02:29:50 +0100 | <geekosaur> | right, but those will be native windows libraries, not mingw |
| 2021-12-17 02:30:05 +0100 | <geekosaur> | as yet ghc on windows requires mingw and does not build fully natively |
| 2021-12-17 02:30:56 +0100 | <geekosaur> | https://www.google.com/search?q=mingw+opencv+install&oq=mingw+opencv&aqs=chrome.1.69i57j0i22i30l9.… both text and youtube videos on how to install opencv for mingw |
| 2021-12-17 02:31:22 +0100 | <geekosaur> | you can skip the part about installing mingw since the ghc install will already have installed mingw |
| 2021-12-17 02:32:41 +0100 | earendel | (uid498179@user/earendel) |
| 2021-12-17 02:32:41 +0100 | earendel | (uid498179@user/earendel) (Client Quit) |
| 2021-12-17 02:33:49 +0100 | earendel | (uid498179@user/earendel) |
| 2021-12-17 02:34:55 +0100 | earendel | (uid498179@user/earendel) (Client Quit) |
| 2021-12-17 02:35:55 +0100 | <mason0> | I'll give it a try, but I'm not hoping for much. I had very bad experience compiling open source projects in windows with mingw. it seems like everything has to match exactly for it to work. but fingers crossed still |
| 2021-12-17 02:37:08 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2021-12-17 02:37:37 +0100 | deadmarshal | (~deadmarsh@95.38.228.81) (Ping timeout: 240 seconds) |
| 2021-12-17 02:37:51 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 02:41:50 +0100 | abrantesasf | (~abrantesa@187.36.170.211) |
| 2021-12-17 02:45:10 +0100 | <mason0> | question: OpenCV-4.5.2\opencv\build\x64\vc15\bin has a bunch of dll files, opencv_world452.dll, opencv_videoio_msmf452_64.dll, etc. so why would ghc need version of opencv compiled with mingw, when library is dynamically linked? |
| 2021-12-17 02:46:19 +0100 | <geekosaur> | because they're linked against the vc15 runtime instead of the mingw runtime. things like memory allocation will fail very badly if some things are using the vc++ allocator and others the mingw one |
| 2021-12-17 02:47:09 +0100 | <geekosaur> | (worse if something allocates via one and frees via the other; the app will crash) |
| 2021-12-17 02:47:25 +0100 | intgauge | jeetelongname |
| 2021-12-17 02:47:51 +0100 | jeetelongname | (~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Quit: bye gamers) |
| 2021-12-17 02:48:44 +0100 | <mason0> | hmmm |
| 2021-12-17 02:48:47 +0100 | <mason0> | " You can use the same dll with different compilers with varying degrees of success. You'll need either a .def file or to use calls such as LoadLibrary/GetProcAddress to do so. The self-hosting version of mingw32 provides better support of Visual C++ binary compatibility. You can use certain libraries built with Visual C++ with this version of mingw32 without having to rebuild them using mingw and vice versa." |
| 2021-12-17 02:49:27 +0100 | <geekosaur> | "certain libraries" |
| 2021-12-17 02:49:34 +0100 | <sm> | moving development into WSL (and using the thing that bridges VS in there) could be another option |
| 2021-12-17 02:49:41 +0100 | <geekosaur> | I guess you can try it, but if it breaks you get to keep all the pieces |
| 2021-12-17 02:51:38 +0100 | <yushyin> | you also need to somehow tinker with pkgconf so it can find the lib paths |
| 2021-12-17 02:53:14 +0100 | <geekosaur> | that's perhaps the easiest part, you find the lib and include paths, then look at existing *.pc files to see how to specify them to pkg-config |
| 2021-12-17 02:54:26 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 02:59:01 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-12-17 03:05:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 03:07:23 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-17 03:07:24 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-12-17 03:07:56 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-12-17 03:08:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 03:21:44 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 03:32:26 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection) |
| 2021-12-17 03:37:01 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2021-12-17 03:37:01 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 03:38:34 +0100 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-12-17 03:39:29 +0100 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-12-17 03:42:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 03:49:11 +0100 | shapr | (~user@12.5.211.156) (Remote host closed the connection) |
| 2021-12-17 03:50:02 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-12-17 03:50:25 +0100 | pepeiborra | (sid443799@ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-12-17 03:50:36 +0100 | shapr | (~user@12.5.211.156) |
| 2021-12-17 03:53:34 +0100 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2021-12-17 03:53:37 +0100 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2021-12-17 03:55:10 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 03:56:11 +0100 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-12-17 03:56:11 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-12-17 03:56:11 +0100 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-12-17 03:56:36 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-12-17 03:57:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-12-17 03:58:13 +0100 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2021-12-17 03:58:26 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
| 2021-12-17 03:59:22 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2021-12-17 03:59:23 +0100 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2021-12-17 04:00:03 +0100 | xff0x | (~xff0x@port-92-195-102-89.dynamic.as20676.net) (Ping timeout: 256 seconds) |
| 2021-12-17 04:01:11 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 04:02:00 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:ef54:b4c:2c82:74c7) |
| 2021-12-17 04:05:52 +0100 | earendel | (uid498179@user/earendel) |
| 2021-12-17 04:06:24 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-17 04:06:24 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-17 04:06:24 +0100 | finn_elija | FinnElija |
| 2021-12-17 04:06:57 +0100 | shapr | (~user@12.5.211.156) (Ping timeout: 240 seconds) |
| 2021-12-17 04:08:05 +0100 | shapr | (~user@12.5.211.156) |
| 2021-12-17 04:09:36 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-12-17 04:12:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-17 04:16:28 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-17 04:19:38 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-17 04:19:45 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 04:21:02 +0100 | jespada | (~jespada@87.74.33.157) (Ping timeout: 240 seconds) |
| 2021-12-17 04:22:40 +0100 | jespada | (~jespada@87.74.33.157) |
| 2021-12-17 04:23:17 +0100 | td_ | (~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 240 seconds) |
| 2021-12-17 04:25:14 +0100 | td_ | (~td@94.134.91.242) |
| 2021-12-17 04:27:37 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-17 04:27:37 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-17 04:27:37 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-17 04:28:15 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 04:28:24 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 04:32:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-17 04:36:57 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-12-17 04:38:00 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 04:38:32 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-17 04:38:47 +0100 | tom_ | (~tom@host86-151-99-97.range86-151.btcentralplus.com) |
| 2021-12-17 04:40:49 +0100 | abrantesasf | (~abrantesa@187.36.170.211) (Remote host closed the connection) |
| 2021-12-17 04:43:14 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-12-17 04:45:02 +0100 | zincy | (~tom@2a00:23c8:970c:4801:f5c6:93c3:2f5e:e0) (Ping timeout: 268 seconds) |
| 2021-12-17 04:46:10 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 04:54:47 +0100 | <Axman6> | How di you figure out what roles type variables should have? I have newtype HandlerRef f m b a = HandlerRef (MutVar (PrimState m) (Maybe (f a -> b -> m ()))) and want to be able to coerce MutVar (PrimState m) (Maybe (f a -> b -> m ())) into Handler f m b a |
| 2021-12-17 04:54:47 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 04:54:52 +0100 | <Axman6> | do* |
| 2021-12-17 04:57:11 +0100 | <Axman6> | Actually, I think I don't really care, just doing Handler <$> newMutVar Nothing is enough for me |
| 2021-12-17 05:02:05 +0100 | juhp | (~juhp@128.106.188.82) |
| 2021-12-17 05:03:37 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2021-12-17 05:05:02 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) (Ping timeout: 260 seconds) |
| 2021-12-17 05:11:26 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 05:12:18 +0100 | <glguy> | Axman6: you decide if invariants of behavior would break if someone coerced that thing |
| 2021-12-17 05:12:39 +0100 | <glguy> | Like a Set or Map relies on the Ord instance chosen. If someone coerced it they'd likely end up with an invalid value |
| 2021-12-17 05:12:40 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-17 05:12:45 +0100 | <Axman6> | it's not even exposed |
| 2021-12-17 05:14:17 +0100 | featurebug | (~featurebu@49.205.122.91) (Ping timeout: 256 seconds) |
| 2021-12-17 05:18:47 +0100 | jinsun__ | (~quassel@user/jinsun) |
| 2021-12-17 05:18:57 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-17 05:19:27 +0100 | qrpnxz | (~qrpnxz@user/qrpnxz) |
| 2021-12-17 05:23:49 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-12-17 05:30:02 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-17 05:30:34 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) |
| 2021-12-17 05:32:25 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-12-17 05:32:54 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-12-17 05:35:15 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds) |
| 2021-12-17 05:37:01 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 240 seconds) |
| 2021-12-17 05:38:37 +0100 | jkaye | (~jkaye@2601:281:8300:7530:d672:a7f5:a798:3393) (Ping timeout: 240 seconds) |
| 2021-12-17 05:38:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 05:38:51 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 05:39:35 +0100 | puke | (~puke@user/puke) (Quit: puke) |
| 2021-12-17 05:41:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-12-17 05:42:03 +0100 | shapr | (~user@12.5.211.156) (Ping timeout: 256 seconds) |
| 2021-12-17 05:44:12 +0100 | juhp | (~juhp@128.106.188.82) |
| 2021-12-17 05:48:38 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Reconnecting) |
| 2021-12-17 05:48:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-12-17 05:48:53 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-12-17 05:48:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 05:49:00 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-12-17 05:50:37 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 240 seconds) |
| 2021-12-17 05:51:30 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 05:52:41 +0100 | <albet70> | in python, def f(): n=-1, def inner(x): n++, doSomething return inner, f2 = f(), map(f2, [0,1,2]) this f2 do different behavior on different elements, how haskell can do this? |
| 2021-12-17 05:52:49 +0100 | <EvanR> | it's interesting to keep copying my AoC file to the next day, delete things that are likely useless, and see what the import list converges to xD |
| 2021-12-17 05:52:56 +0100 | <Sgeo_> | In van Laarhoven representation, options are (Functor f) => (a -> f b) -> s -> f t, right? Does the (a -> f b) type have a name? |
| 2021-12-17 05:53:03 +0100 | <Sgeo_> | *optics not options |
| 2021-12-17 05:53:13 +0100 | <EvanR> | speaking of convergence |
| 2021-12-17 05:53:41 +0100 | <albet70> | inner will apply on [0,1,2] by map, but inner change itself after every call |
| 2021-12-17 05:54:11 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) |
| 2021-12-17 05:54:17 +0100 | <EvanR> | if the function ends up being stateful, then you can't do it in haskell |
| 2021-12-17 05:54:39 +0100 | <EvanR> | if the function keeps a state but ends up being pure after all, you can potentially do it in haskell |
| 2021-12-17 05:55:08 +0100 | <EvanR> | usually you just pass in the state that it needs |
| 2021-12-17 05:55:37 +0100 | <lyxia> | Sgeo_: Star in the profunctors library |
| 2021-12-17 05:56:56 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 05:57:53 +0100 | <Sgeo_> | So how badly am I abusing terminology to say something like "An optic takes a star as an argument and returns a star"? |
| 2021-12-17 05:59:12 +0100 | <dsal> | NoStarIsType |
| 2021-12-17 05:59:39 +0100 | <lyxia> | Nobody will understand that |
| 2021-12-17 05:59:59 +0100 | <Sgeo_> | Is there a word I can use correctly in that context? |
| 2021-12-17 06:00:06 +0100 | <lyxia> | function is good |
| 2021-12-17 06:01:25 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-17 06:12:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 06:15:41 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-12-17 06:19:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 06:21:03 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 06:23:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-17 06:25:49 +0100 | zzz | (~z@user/zero) |
| 2021-12-17 06:27:32 +0100 | zero | (~z@user/zero) (Ping timeout: 240 seconds) |
| 2021-12-17 06:27:32 +0100 | zzz | zero |
| 2021-12-17 06:29:14 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-17 06:29:14 +0100 | zzz | (~z@user/zero) |
| 2021-12-17 06:29:55 +0100 | juhp | (~juhp@128.106.188.82) |
| 2021-12-17 06:31:25 +0100 | <jackdk> | isn't it `type Optic p f s t a b = forall p f. (p a (f b)) -> p s (f t)`? |
| 2021-12-17 06:31:37 +0100 | <zzz> | Graphs: fgl vs containers ? |
| 2021-12-17 06:31:55 +0100 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2021-12-17 06:31:55 +0100 | zzz | zero |
| 2021-12-17 06:33:45 +0100 | <zero> | which should i choose for performance? |
| 2021-12-17 06:34:12 +0100 | <zero> | (sorry, i'm zzz) |
| 2021-12-17 06:35:32 +0100 | <zero> | iirc fgl is more elegant, right? |
| 2021-12-17 06:35:59 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-12-17 06:38:21 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) |
| 2021-12-17 06:48:43 +0100 | <EvanR> | I typed `main' in ghci to get my AoC answer, waited about 12 seconds, cancelled it. Compiled -O2, answer was instant xD |
| 2021-12-17 06:48:55 +0100 | <EvanR> | big diff |
| 2021-12-17 06:54:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 06:57:44 +0100 | <EvanR> | an infinity percent increase in performance |
| 2021-12-17 06:57:44 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 06:59:07 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-17 07:01:47 +0100 | cheater | (~Username@user/cheater) |
| 2021-12-17 07:03:17 +0100 | <Axman6> | @hoogle Kliesli |
| 2021-12-17 07:03:17 +0100 | <lambdabot> | No results found |
| 2021-12-17 07:03:22 +0100 | <Axman6> | @hoogle Kleisli |
| 2021-12-17 07:03:22 +0100 | <lambdabot> | Control.Arrow newtype Kleisli m a b |
| 2021-12-17 07:03:22 +0100 | <lambdabot> | Control.Arrow Kleisli :: (a -> m b) -> Kleisli m a b |
| 2021-12-17 07:03:22 +0100 | <lambdabot> | BasePrelude newtype Kleisli (m :: Type -> Type) a b |
| 2021-12-17 07:03:43 +0100 | <Axman6> | @hoogle Star |
| 2021-12-17 07:03:44 +0100 | <lambdabot> | Language.Haskell.Exts Star :: Token |
| 2021-12-17 07:03:44 +0100 | <lambdabot> | Language.Haskell.Exts.Lexer Star :: Token |
| 2021-12-17 07:03:44 +0100 | <lambdabot> | Data.Profunctor newtype Star f d c |
| 2021-12-17 07:03:56 +0100 | <Axman6> | Is there a difference between those two? |
| 2021-12-17 07:04:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-12-17 07:14:14 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-12-17 07:15:40 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 07:19:17 +0100 | benin | (~benin@183.82.204.250) (Ping timeout: 240 seconds) |
| 2021-12-17 07:25:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 07:28:44 +0100 | <int-e> | > unwords $ map (\x -> printf "%.2f" (197-x/34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225] |
| 2021-12-17 07:28:46 +0100 | <lambdabot> | "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91" |
| 2021-12-17 07:36:21 +0100 | benin | (~benin@183.82.27.121) |
| 2021-12-17 07:37:08 +0100 | <EvanR> | who needs santabot when you have that oneliner |
| 2021-12-17 07:37:32 +0100 | <Axman6> | what's it calculating again? |
| 2021-12-17 07:39:00 +0100 | <EvanR> | 197 is the size of the leaderboard (+1? -1?), 34 is number of stars |
| 2021-12-17 07:40:00 +0100 | <EvanR> | so it's 197 - average points per star |
| 2021-12-17 07:40:32 +0100 | <Axman6> | I've never done AoC so don't know what most of that means... |
| 2021-12-17 07:40:44 +0100 | <EvanR> | yeah... |
| 2021-12-17 07:41:20 +0100 | <Axman6> | what are points and stars measuring? |
| 2021-12-17 07:41:36 +0100 | <dsal> | Hey, 3.15. That's pi |
| 2021-12-17 07:41:44 +0100 | Axman6 | glares |
| 2021-12-17 07:42:00 +0100 | <Axman6> | > foldMap (\x -> printf "%.2f " (197-x/34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225] |
| 2021-12-17 07:42:01 +0100 | <lambdabot> | error: |
| 2021-12-17 07:42:01 +0100 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M880356195839... |
| 2021-12-17 07:42:01 +0100 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2021-12-17 07:42:16 +0100 | <Axman6> | > foldMap (\x -> printf "%.2f " (197-x/34) :: String) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225] |
| 2021-12-17 07:42:18 +0100 | <lambdabot> | "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91 " |
| 2021-12-17 07:42:25 +0100 | <xerox> | cute |
| 2021-12-17 07:42:33 +0100 | <EvanR> | each day of december has a puzzle with two parts, solving a part awards a star |
| 2021-12-17 07:43:12 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 07:43:13 +0100 | <EvanR> | you get N points for solving it the fastest |
| 2021-12-17 07:43:25 +0100 | <EvanR> | N-1 for solving it second fastest, etc |
| 2021-12-17 07:43:56 +0100 | pfurla_ | (~pfurla@177.25.180.238) |
| 2021-12-17 07:44:10 +0100 | Sofia1000 | (~Sofia1000@122-59-18-247-adsl.sparkbb.co.nz) |
| 2021-12-17 07:44:21 +0100 | <EvanR> | so there are points, and stars, they are independent, I dunno what int-e is doing xD |
| 2021-12-17 07:44:47 +0100 | pfurla | (~pfurla@2804:18:5827:38:45d9:640:f63d:c384) (Ping timeout: 252 seconds) |
| 2021-12-17 07:45:28 +0100 | sleblanc | (~sleblanc@user/sleblanc) |
| 2021-12-17 07:46:00 +0100 | <Axman6> | haha, loving going from "I can explain this" to "I don't what this is doing". I feel like going the other way is a little more common |
| 2021-12-17 07:48:40 +0100 | michalz | (~michalz@185.246.204.104) |
| 2021-12-17 07:48:54 +0100 | mason0 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2021-12-17 07:52:01 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 07:54:59 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2021-12-17 07:58:00 +0100 | phma | (phma@2001:5b0:210d:8c38:983f:1c01:826:33cd) (Read error: Connection reset by peer) |
| 2021-12-17 07:59:26 +0100 | bliminse | (~bliminse@host86-186-4-210.range86-186.btcentralplus.com) (Quit: leaving) |
| 2021-12-17 07:59:31 +0100 | phma | (~phma@host-67-44-208-223.hnremote.net) |
| 2021-12-17 07:59:56 +0100 | <int-e> | Axman6: x/34 is the average score per star; the score and ranks are related by score + rank = N+1. N is currently 196. |
| 2021-12-17 08:00:16 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-17 08:00:20 +0100 | <int-e> | (but only for people who have all 34 stars) |
| 2021-12-17 08:01:39 +0100 | chele | (~chele@user/chele) |
| 2021-12-17 08:03:19 +0100 | featurebug | (~featurebu@49.205.122.91) (Read error: Connection reset by peer) |
| 2021-12-17 08:04:18 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 08:05:39 +0100 | <glguy> | int-e: you might have to update your calculations. I kicked off 7 people from the list of people who haven't done a start in 2019-2021; we're down to 190 |
| 2021-12-17 08:07:22 +0100 | <int-e> | > map (subtract (6*34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225] |
| 2021-12-17 08:07:23 +0100 | <lambdabot> | [6387,6370,6313,6236,6164,6164,6163,6138,6064,6021] |
| 2021-12-17 08:07:54 +0100 | <int-e> | > unwords $ map (\x -> printf "%.2f" (191-x/34)) [6387,6370,6313,6236,6164,6164,6163,6138,6064,6021] |
| 2021-12-17 08:07:56 +0100 | <lambdabot> | "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91" |
| 2021-12-17 08:08:41 +0100 | bliminse | (~bliminse@host86-186-4-210.range86-186.btcentralplus.com) |
| 2021-12-17 08:09:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 08:09:19 +0100 | <int-e> | glguy: I did check the total when I copied those numbers. |
| 2021-12-17 08:09:36 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 08:10:24 +0100 | earendel | (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
| 2021-12-17 08:11:23 +0100 | <g> | I removed people based on seeing your numbers indicating it was nearly full |
| 2021-12-17 08:12:13 +0100 | <int-e> | yeah, but as explained, or at least pointed out, before that doesn't affect the average rank of people who have all stars |
| 2021-12-17 08:14:58 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-12-17 08:15:54 +0100 | nek0 | (~nek0@nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2021-12-17 08:18:56 +0100 | <Sofia1000> | I'm thinking a bit about bidirectional parsing/using optics and isomorphisms to make parser-printer pairs. Does anyone know of what the "state of the art" is regarding libraries and/or literature in this field? |
| 2021-12-17 08:20:43 +0100 | <Sofia1000> | "bidirectional" is probably a bad word here as it also applies to parsers that work from both ends? |
| 2021-12-17 08:22:59 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds) |
| 2021-12-17 08:24:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 08:25:08 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) |
| 2021-12-17 08:25:10 +0100 | nek0 | (~nek0@nek0.eu) |
| 2021-12-17 08:29:39 +0100 | <int-e> | Sofia1000: "reversible" and "invertible" are maybe less misleading |
| 2021-12-17 08:31:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-17 08:31:12 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2021-12-17 08:32:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:986f:7ac8:d5bc:582b) |
| 2021-12-17 08:33:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc75:5436:188a:4913) (Ping timeout: 240 seconds) |
| 2021-12-17 08:34:59 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 08:36:29 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-17 08:37:02 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-17 08:42:24 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 08:43:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-17 08:52:09 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 09:00:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 09:02:39 +0100 | featurebug | (~featurebu@49.205.122.91) (Ping timeout: 256 seconds) |
| 2021-12-17 09:06:48 +0100 | jinsun__ | jinsun |
| 2021-12-17 09:09:55 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 09:11:11 +0100 | yuri_ | (~yuri@176.59.54.239) |
| 2021-12-17 09:14:14 +0100 | vpan | (~0@212.117.1.172) |
| 2021-12-17 09:16:05 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) (Ping timeout: 252 seconds) |
| 2021-12-17 09:16:54 +0100 | <hololeap> | is there any semantic/logical difference to where you place ReaderT on a transformer stack? |
| 2021-12-17 09:20:21 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) |
| 2021-12-17 09:21:13 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 09:24:45 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds) |
| 2021-12-17 09:28:18 +0100 | haskell_Noob | (~haskell_N@2601:602:880:90f0:f1b3:862d:7429:edae) |
| 2021-12-17 09:28:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 09:31:42 +0100 | <haskell_Noob> | Have you used the book "Haskell School of music"? |
| 2021-12-17 09:31:54 +0100 | <haskell_Noob> | Wondering if it is okay for learning haskell |
| 2021-12-17 09:34:51 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) |
| 2021-12-17 09:37:13 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2021-12-17 09:40:39 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-12-17 09:43:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 09:44:57 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 09:48:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-12-17 09:51:36 +0100 | acidjnk | (~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) |
| 2021-12-17 09:52:00 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-17 09:52:06 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-12-17 09:54:33 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) |
| 2021-12-17 09:54:53 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-12-17 09:55:20 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-12-17 09:55:41 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 09:55:58 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 09:56:05 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-12-17 09:56:26 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-12-17 09:59:37 +0100 | deadmarshal | (~deadmarsh@95.38.229.88) (Ping timeout: 240 seconds) |
| 2021-12-17 09:59:51 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 10:00:09 +0100 | ocramz[m] | (~ocramzmat@2001:470:69fc:105::1:35b0) (Quit: You have been kicked for being idle) |
| 2021-12-17 10:00:17 +0100 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) |
| 2021-12-17 10:04:25 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2021-12-17 10:06:12 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2021-12-17 10:07:26 +0100 | adamse | (sid72084@user/adamse) |
| 2021-12-17 10:07:46 +0100 | haskell_Noob | (~haskell_N@2601:602:880:90f0:f1b3:862d:7429:edae) (Quit: Client closed) |
| 2021-12-17 10:07:56 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2021-12-17 10:13:24 +0100 | alx741 | (~alx741@181.199.42.79) |
| 2021-12-17 10:16:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 10:17:43 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-12-17 10:17:43 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-12-17 10:17:46 +0100 | allbery_b | geekosaur |
| 2021-12-17 10:18:04 +0100 | thevishy | (~Nishant@2405:201:f005:c007:4c69:b93c:3bc3:9ff2) |
| 2021-12-17 10:18:18 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-17 10:19:57 +0100 | yuri_ | (~yuri@176.59.54.239) (Remote host closed the connection) |
| 2021-12-17 10:21:47 +0100 | Guest6696 | (~Guest66@82.158.147.37.dyn.user.ono.com) |
| 2021-12-17 10:21:56 +0100 | Guest6696 | (~Guest66@82.158.147.37.dyn.user.ono.com) () |
| 2021-12-17 10:23:07 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 2021-12-17 10:23:47 +0100 | puke | (~puke@user/puke) |
| 2021-12-17 10:24:59 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-17 10:27:38 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-17 10:30:46 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-17 10:31:54 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2021-12-17 10:34:02 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 240 seconds) |
| 2021-12-17 10:34:50 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Remote host closed the connection) |
| 2021-12-17 10:36:09 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2021-12-17 10:39:34 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 10:41:19 +0100 | <dminuoso> | Wow, that's certainly an intriguing book. |
| 2021-12-17 10:41:33 +0100 | <dminuoso> | First I've heard about it, after a mediocre skim it looks fairly well written. |
| 2021-12-17 10:41:44 +0100 | <dminuoso> | But I cant attest to the pedagogic quality of it just yet. |
| 2021-12-17 10:42:19 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-12-17 10:43:09 +0100 | <dminuoso> | But I guess, Paul Hudak knew his stuff. |
| 2021-12-17 10:45:35 +0100 | son0p | (~ff@2800:484:1d81:b700:d40b:900:b387:320) |
| 2021-12-17 10:47:13 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-12-17 10:48:59 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:7f37:d4df:3b9c:eeaa) |
| 2021-12-17 10:50:17 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::745c) (Ping timeout: 240 seconds) |
| 2021-12-17 10:51:16 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) |
| 2021-12-17 10:51:43 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-17 10:51:43 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 10:53:00 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-12-17 10:53:03 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-12-17 10:54:08 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-17 10:54:23 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-12-17 10:55:54 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 10:55:59 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2021-12-17 10:57:50 +0100 | kuribas | (~user@ptr-25vy0i9b9kj79kkp4jg.18120a2.ip6.access.telenet.be) |
| 2021-12-17 10:58:40 +0100 | <kuribas> | ugh, idris is spoiling haskell for me. |
| 2021-12-17 10:58:53 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection) |
| 2021-12-17 10:59:02 +0100 | <kuribas> | For example, in my database library, I am generating the types for the rows and tables from the information schema. |
| 2021-12-17 10:59:16 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
| 2021-12-17 10:59:18 +0100 | <kuribas> | In idris, I can just write a function which takes the information schema and generates a constraint. |
| 2021-12-17 10:59:43 +0100 | <hololeap> | % traverse Just [] |
| 2021-12-17 10:59:43 +0100 | <yahb> | hololeap: Just [] |
| 2021-12-17 11:00:58 +0100 | <c_wraith> | from this single data point, I infer traverse == id |
| 2021-12-17 11:02:15 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-17 11:02:53 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2021-12-17 11:03:18 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-12-17 11:03:19 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 11:04:13 +0100 | <hololeap> | % traverse (const Nothing) [] |
| 2021-12-17 11:04:13 +0100 | <yahb> | hololeap: Just [] |
| 2021-12-17 11:04:39 +0100 | <hololeap> | hm why didn't I expect it to function like that |
| 2021-12-17 11:04:45 +0100 | <c_wraith> | Oh no, my inference has failed! |
| 2021-12-17 11:05:18 +0100 | <c_wraith> | hololeap: because you didn't think about what the function is applied to - you just know it says "const Nothing" |
| 2021-12-17 11:05:41 +0100 | <hololeap> | I halfway expected both to be Nothing :) |
| 2021-12-17 11:06:04 +0100 | <hololeap> | but that would only make sense for Alternatives |
| 2021-12-17 11:06:09 +0100 | <c_wraith> | nah. Traversable requires them to be both be Just [], actually |
| 2021-12-17 11:06:19 +0100 | <c_wraith> | otherwise the reduction to Functor wouldn't work |
| 2021-12-17 11:07:45 +0100 | <c_wraith> | the base case has to be traverse _ [] = pure [] |
| 2021-12-17 11:08:39 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
| 2021-12-17 11:09:54 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
| 2021-12-17 11:10:03 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 11:16:39 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-12-17 11:17:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2021-12-17 11:17:17 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 11:19:29 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-12-17 11:21:56 +0100 | <kuribas> | hololeap: if you have nothing, then nothing can go wrong :) |
| 2021-12-17 11:22:41 +0100 | mmhat | (~mmh@55d47b0f.access.ecotel.net) |
| 2021-12-17 11:23:21 +0100 | <kuribas> | hololeap: traverse means, apply the effect for all elements. In the case of maybe you can think of Nothing as "abort". |
| 2021-12-17 11:23:35 +0100 | <kuribas> | If there are no elements, there is nothing to abort. |
| 2021-12-17 11:31:22 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-17 11:32:57 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-12-17 11:35:16 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 11:35:32 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 11:39:48 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
| 2021-12-17 11:40:51 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-17 11:42:51 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 245 seconds) |
| 2021-12-17 11:44:10 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 11:45:32 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-17 11:46:53 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) |
| 2021-12-17 11:48:04 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) |
| 2021-12-17 11:50:05 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 11:51:46 +0100 | kranius | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 268 seconds) |
| 2021-12-17 11:54:48 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-17 11:55:04 +0100 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-12-17 11:57:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds) |
| 2021-12-17 11:59:59 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-12-17 12:02:10 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 12:02:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 12:05:38 +0100 | __monty__ | (~toonn@user/toonn) |
| 2021-12-17 12:11:48 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 12:13:02 +0100 | adamse | (sid72084@user/adamse) () |
| 2021-12-17 12:13:17 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-17 12:17:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds) |
| 2021-12-17 12:21:21 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Quit: Leaving) |
| 2021-12-17 12:21:59 +0100 | pfurla_ | (~pfurla@177.25.180.238) (Quit: gone to sleep. ZZZzzz…) |
| 2021-12-17 12:23:40 +0100 | pfurla | (~pfurla@2804:18:5807:4d59:a1e7:4024:a3de:5934) |
| 2021-12-17 12:26:24 +0100 | kranius_ | (~kranius@222.186.245.213.rev.sfr.net) |
| 2021-12-17 12:26:28 +0100 | pfurla | (~pfurla@2804:18:5807:4d59:a1e7:4024:a3de:5934) (Client Quit) |
| 2021-12-17 12:26:42 +0100 | MoC | (~moc@user/moc) |
| 2021-12-17 12:27:42 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) |
| 2021-12-17 12:28:06 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 12:29:23 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 268 seconds) |
| 2021-12-17 12:31:11 +0100 | kranius_ | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2021-12-17 12:35:06 +0100 | jippiedoe | (~david@2a02-a44c-e14e-1-f428-d80d-a3b7-b894.fixed6.kpn.net) |
| 2021-12-17 12:39:30 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-12-17 12:39:53 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-17 12:45:17 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 2021-12-17 12:48:23 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3) |
| 2021-12-17 12:49:08 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-12-17 12:49:56 +0100 | <jackdk> | Sofia1000: I had a crack at combining parser/printers by generalising applicative/divisible into a monoidal class at http://jackkelly.name/blog/archives/2020/08/19/abstracting_over_applicative_alternative_divisible_… - there are links to some papers at teh bottom of the post |
| 2021-12-17 12:50:08 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2021-12-17 12:50:22 +0100 | <jackdk> | I know NorfairKing was playing in this space recently, by looking at the invariant typeclass |
| 2021-12-17 12:51:38 +0100 | <jackdk> | when next I get time, I intend to look at using profunctors from a to a instead , and using the stuff in product-profunctors to do applicative-ish things. This looks more promising than trying to keep parser/printer on the same type variable |
| 2021-12-17 12:51:39 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-17 12:51:49 +0100 | <jackdk> | dunno how close this is to the actual state of the art, however. |
| 2021-12-17 12:52:43 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 12:54:48 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9919:8af:7ea1:90e8) |
| 2021-12-17 13:00:00 +0100 | pfurla_ | (~pfurla@2804:14d:5c81:4104:458c:8ad1:f96b:dd37) |
| 2021-12-17 13:03:14 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9919:8af:7ea1:90e8) (Ping timeout: 252 seconds) |
| 2021-12-17 13:03:46 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) |
| 2021-12-17 13:03:49 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2021-12-17 13:03:51 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-12-17 13:07:38 +0100 | acidjnk | (~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-17 13:09:17 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:ef54:b4c:2c82:74c7) (Ping timeout: 252 seconds) |
| 2021-12-17 13:10:06 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:4ca1:6d3c:51c2:5c97) |
| 2021-12-17 13:10:39 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 13:15:43 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2021-12-17 13:19:22 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2021-12-17 13:20:07 +0100 | featurebug108 | (~featurebu@49.205.122.91) |
| 2021-12-17 13:20:07 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 13:20:29 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2021-12-17 13:21:03 +0100 | featurebug | (~featurebu@49.205.122.91) (Ping timeout: 256 seconds) |
| 2021-12-17 13:21:51 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-12-17 13:26:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-17 13:27:27 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 13:28:37 +0100 | featurebug108 | (~featurebu@49.205.122.91) (Ping timeout: 240 seconds) |
| 2021-12-17 13:32:21 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 13:32:47 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2021-12-17 13:33:04 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2021-12-17 13:37:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-12-17 13:38:12 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 13:38:39 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 13:38:39 +0100 | phma | (~phma@host-67-44-208-223.hnremote.net) (Read error: Connection reset by peer) |
| 2021-12-17 13:39:17 +0100 | featurebug | (~featurebu@49.205.122.91) (Ping timeout: 240 seconds) |
| 2021-12-17 13:39:35 +0100 | phma | (phma@2001:5b0:210b:d6b8:694b:ba82:ab88:1eae) |
| 2021-12-17 13:41:14 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-12-17 13:42:11 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 13:43:23 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 268 seconds) |
| 2021-12-17 13:43:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-12-17 13:45:25 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 13:45:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 13:47:29 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 13:47:29 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 13:49:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-12-17 13:51:25 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2021-12-17 13:53:46 +0100 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-12-17 13:55:34 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-17 13:57:31 +0100 | <dminuoso> | Is there a quick way to turn a Word64 into [Word8] or ByteString? |
| 2021-12-17 13:58:14 +0100 | <hpc> | unsafeCoerce |
| 2021-12-17 13:58:17 +0100 | <dminuoso> | Heh. |
| 2021-12-17 13:58:20 +0100 | Everything | (~Everythin@37.115.210.35) () |
| 2021-12-17 13:58:38 +0100 | <dminuoso> | Guess cant get faster than essentially a nop. |
| 2021-12-17 13:59:40 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-12-17 13:59:47 +0100 | <hpc> | something with its Bits instance is probably best? |
| 2021-12-17 14:00:38 +0100 | <hpc> | do shifting and truncating to split it into octets |
| 2021-12-17 14:00:47 +0100 | <dminuoso> | yeah that's what Im doing right now. |
| 2021-12-17 14:01:02 +0100 | <dminuoso> | Just a bit of manual unsafeShiftR |
| 2021-12-17 14:01:11 +0100 | <dminuoso> | plus fromIntegral |
| 2021-12-17 14:01:51 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-17 14:02:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:05:08 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 14:05:35 +0100 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 2021-12-17 14:05:44 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 14:07:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 14:07:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:12:45 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 14:12:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 14:13:12 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:14:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 14:14:53 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 14:15:27 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds) |
| 2021-12-17 14:16:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-12-17 14:18:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds) |
| 2021-12-17 14:22:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 14:23:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:24:42 +0100 | <kuribas> | If you want to support any kind, you need to use a kind-variable, right? |
| 2021-12-17 14:24:43 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-12-17 14:26:00 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 14:27:47 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-17 14:28:02 +0100 | pfurla_ | (~pfurla@2804:14d:5c81:4104:458c:8ad1:f96b:dd37) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-12-17 14:28:12 +0100 | <kuribas> | Or does ghc infer a kind variable for phantom types? |
| 2021-12-17 14:29:30 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:2d64:c4c8:c5aa:ebd7) |
| 2021-12-17 14:30:53 +0100 | <kuribas> | hmm, it seems, so. Proxy doesn't have a kind signature. |
| 2021-12-17 14:31:00 +0100 | <kuribas> | @k Proxy |
| 2021-12-17 14:31:00 +0100 | <lambdabot> | Maybe you meant: karma karma+ karma- karma-all keal kind v @ ? . |
| 2021-12-17 14:31:05 +0100 | <kuribas> | @kind Proxy |
| 2021-12-17 14:31:06 +0100 | <lambdabot> | k -> * |
| 2021-12-17 14:31:20 +0100 | <kuribas> | lambdabot: I didn't |
| 2021-12-17 14:31:39 +0100 | <int-e> | kuribas: be kind |
| 2021-12-17 14:32:04 +0100 | kranius_ | (~kranius@222.186.245.213.rev.sfr.net) |
| 2021-12-17 14:32:05 +0100 | <kuribas> | int-e: what kind? |
| 2021-12-17 14:32:21 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 14:32:26 +0100 | <int-e> | the good kind, of course |
| 2021-12-17 14:34:25 +0100 | neverfindme | (~hayden@158.123.160.43) |
| 2021-12-17 14:36:37 +0100 | kranius_ | (~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2021-12-17 14:39:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-17 14:39:59 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:40:54 +0100 | <dminuoso> | kuribas: No, just having PolyKinds enabled is enough. |
| 2021-12-17 14:41:09 +0100 | <dminuoso> | % :set -XPolyKinds |
| 2021-12-17 14:41:09 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:41:18 +0100 | <dminuoso> | % data MyTagged s a = MyTagged a |
| 2021-12-17 14:41:18 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:41:20 +0100 | <dminuoso> | % :k MyTagged |
| 2021-12-17 14:41:20 +0100 | <yahb> | dminuoso: k -> * -> * |
| 2021-12-17 14:41:22 +0100 | <kuribas> | dminuoso: right, thanks! |
| 2021-12-17 14:41:37 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 2021-12-17 14:41:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 14:41:53 +0100 | <dminuoso> | kuribas: Keep in mind that, perhaps surprisingly, this will also demand PolyKinds in usage sites. |
| 2021-12-17 14:42:15 +0100 | <kuribas> | Does Proxy require PolyKinds? |
| 2021-12-17 14:42:17 +0100 | <dminuoso> | In my case I just wanted to use symbols, but really didnt feel like plugging PolyKinds in everywhere, so I made my own version of Tagged instead. :) |
| 2021-12-17 14:42:27 +0100 | namkeleser | (~namkelese@101.179.128.103) |
| 2021-12-17 14:43:47 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 14:43:48 +0100 | <dminuoso> | kuribas: If you want to use non-* types, yes. |
| 2021-12-17 14:43:55 +0100 | <dminuoso> | % :set -XNoPolyKinds |
| 2021-12-17 14:43:55 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:43:58 +0100 | <dminuoso> | % import Data.Proxy |
| 2021-12-17 14:43:58 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:44:02 +0100 | <dminuoso> | % :set -XDataKinds |
| 2021-12-17 14:44:02 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:44:02 +0100 | pavonia | (~user@user/siracusa) |
| 2021-12-17 14:44:07 +0100 | <dminuoso> | % Proxy :: Proxy "" |
| 2021-12-17 14:44:07 +0100 | <yahb> | dminuoso: Proxy |
| 2021-12-17 14:44:09 +0100 | <dminuoso> | Uh. |
| 2021-12-17 14:44:17 +0100 | <dminuoso> | No idea what wrath of extensions allowed this. |
| 2021-12-17 14:44:30 +0100 | <dminuoso> | perhaps PolyKinds is implied by something else? |
| 2021-12-17 14:44:42 +0100 | <kuribas> | doesn't non-* types imply PolyKinds? |
| 2021-12-17 14:44:46 +0100 | <dminuoso> | No |
| 2021-12-17 14:44:50 +0100 | <dminuoso> | % :set -XNoTypeInType |
| 2021-12-17 14:44:50 +0100 | <yahb> | dminuoso: |
| 2021-12-17 14:44:51 +0100 | <kuribas> | ah right |
| 2021-12-17 14:44:53 +0100 | <dminuoso> | % Proxy :: Proxy "" |
| 2021-12-17 14:44:53 +0100 | <yahb> | dminuoso: Proxy |
| 2021-12-17 14:45:15 +0100 | <dminuoso> | Although, perhaps this behavior changed in more recent GHC versions |
| 2021-12-17 14:45:39 +0100 | <dminuoso> | It would be really nice, because its super odd and frustrating to demand PolyKinds just to use kind polymorphic things with non-* types |
| 2021-12-17 14:46:30 +0100 | <dminuoso> | kuribas: So in my GHC version the above errors, but if I made some type like `data Foo (s :: Symbol) a = ...` you only need DataKinds to make use of this. |
| 2021-12-17 14:46:39 +0100 | jinsun__ | (~quassel@user/jinsun) |
| 2021-12-17 14:47:39 +0100 | <kuribas> | right |
| 2021-12-17 14:48:37 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-17 14:48:37 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2021-12-17 14:49:40 +0100 | <kuribas> | is there a library with Const and Identity as type families instead of functors? |
| 2021-12-17 14:49:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-12-17 14:50:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:51:35 +0100 | dsrt^ | (~dsrt@wsip-98-188-240-142.mc.at.cox.net) (Remote host closed the connection) |
| 2021-12-17 14:52:53 +0100 | <lortabac> | kuribas: until we get unsaturated type families, it wouldn't be very useful |
| 2021-12-17 14:53:02 +0100 | <kuribas> | why not? |
| 2021-12-17 14:53:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-12-17 14:53:37 +0100 | <kuribas> | I cannot use "type family Identity :: k -> k where Identity a = a"? |
| 2021-12-17 14:54:05 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
| 2021-12-17 14:54:13 +0100 | <lortabac> | you can define it, but can you do anything useful with it? |
| 2021-12-17 14:54:45 +0100 | <kuribas> | If I have a record, data MyRecord f = {foo :: f Int, bar :: f String} |
| 2021-12-17 14:54:54 +0100 | <kuribas> | Then MyRecord Identity is just the fields. |
| 2021-12-17 14:55:05 +0100 | <lortabac> | what would the kind of 'f' be? |
| 2021-12-17 14:55:37 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-17 14:55:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 14:56:04 +0100 | <geekosaur> | kuribas, but you can't write `MyRecord Identity` currently because all uses of type families have to be saturated and that isn't |
| 2021-12-17 14:56:17 +0100 | <geekosaur> | you can't defer it to the use site like you can with type aliases |
| 2021-12-17 14:56:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 14:56:44 +0100 | <kuribas> | oh, like a Rank n type family? |
| 2021-12-17 14:57:08 +0100 | <kuribas> | lortabac: (k -> k) ? |
| 2021-12-17 14:57:38 +0100 | <lortabac> | hence my comment about unsaturated type families |
| 2021-12-17 14:58:08 +0100 | <kuribas> | So I should give up this experiment, and use idris instead? |
| 2021-12-17 14:58:15 +0100 | <lortabac> | the best thing you can do at the moment is using some defunctionalization framework, such as singletons or first-class-families |
| 2021-12-17 14:58:32 +0100 | <lortabac> | or wait until UnsaturatedTypeFamilies is implemented |
| 2021-12-17 14:59:53 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 14:59:57 +0100 | jippiedoe | (~david@2a02-a44c-e14e-1-f428-d80d-a3b7-b894.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 15:00:23 +0100 | <kuribas> | I'd like to stay clear of singletons... |
| 2021-12-17 15:00:27 +0100 | <lortabac> | https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0242-unsaturated-type-familie… |
| 2021-12-17 15:00:44 +0100 | <lortabac> | apparently the proposal has been accepted, so there is hope |
| 2021-12-17 15:01:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 15:01:36 +0100 | <kuribas> | Otherwise I'll stick with functors... |
| 2021-12-17 15:01:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:02:58 +0100 | <kuribas> | That means more unwrapping, but I suppose that's ok... |
| 2021-12-17 15:05:17 +0100 | fef | (~thedawn@user/thedawn) |
| 2021-12-17 15:05:58 +0100 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2021-12-17 15:07:15 +0100 | xsperry | (~xs@user/xsperry) |
| 2021-12-17 15:07:40 +0100 | acidjnk | (~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) |
| 2021-12-17 15:07:54 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
| 2021-12-17 15:09:04 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 15:12:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-17 15:12:20 +0100 | neverfindme | (~hayden@158.123.160.43) (Quit: Leaving) |
| 2021-12-17 15:12:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:20:40 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-12-17 15:22:19 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-17 15:23:12 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:23:57 +0100 | featurebug | (~featurebu@49.205.122.91) (Ping timeout: 240 seconds) |
| 2021-12-17 15:26:35 +0100 | <kuribas> | Does it work with GADTs? |
| 2021-12-17 15:26:48 +0100 | <kuribas> | like "MyRecord Expr" where Expr is a GADT? |
| 2021-12-17 15:27:39 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 15:28:49 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-12-17 15:32:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-17 15:32:56 +0100 | neverfindme | (~hayden@158.123.160.43) |
| 2021-12-17 15:33:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:34:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-17 15:34:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-17 15:34:57 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-17 15:36:11 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 15:36:44 +0100 | jkaye | (~jkaye@2601:281:8300:7530:e699:4743:67a2:216e) |
| 2021-12-17 15:38:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 15:39:12 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:39:57 +0100 | namkeleser | (~namkelese@101.179.128.103) |
| 2021-12-17 15:43:23 +0100 | max22- | (~maxime@2a01cb0883359800039072edde530579.ipv6.abo.wanadoo.fr) |
| 2021-12-17 15:43:29 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 15:44:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-17 15:44:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:47:15 +0100 | jinsun | (~quassel@user/jinsun) |
| 2021-12-17 15:47:37 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-12-17 15:48:48 +0100 | jinsun___ | (~quassel@user/jinsun) |
| 2021-12-17 15:49:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 15:49:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:50:09 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-17 15:50:13 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 2021-12-17 15:50:37 +0100 | jinsun__ | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-17 15:51:14 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 15:51:14 +0100 | coolnickname | (uid531864@user/coolnickname) |
| 2021-12-17 15:51:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-17 15:51:37 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2021-12-17 15:53:56 +0100 | shapr | (~user@12.5.211.156) |
| 2021-12-17 15:54:30 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 15:55:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-17 15:55:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 15:55:57 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 2021-12-17 15:56:56 +0100 | namkeleser | (~namkelese@101.179.128.103) (Quit: Client closed) |
| 2021-12-17 16:00:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 16:00:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 16:01:26 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 252 seconds) |
| 2021-12-17 16:03:47 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 16:03:48 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 16:04:03 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 16:05:32 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-17 16:06:02 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 16:07:02 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2021-12-17 16:07:14 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-17 16:07:19 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 16:07:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-17 16:07:47 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-17 16:07:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-17 16:11:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-17 16:11:53 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 16:11:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 16:12:22 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-12-17 16:16:02 +0100 | neverfindme | (~hayden@158.123.160.43) (Ping timeout: 240 seconds) |
| 2021-12-17 16:16:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 16:19:44 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 16:20:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds) |
| 2021-12-17 16:20:40 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 16:21:03 +0100 | neverfindme | (~hayden@158.123.160.43) |
| 2021-12-17 16:21:20 +0100 | neverfindme | (~hayden@158.123.160.43) (Client Quit) |
| 2021-12-17 16:23:04 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 16:23:18 +0100 | <hugo> | Hi! Does anyone have any examples of how to actually use gitlib? https://hackage.haskell.org/package/gitlib-3.1.3 |
| 2021-12-17 16:24:22 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 16:31:42 +0100 | acidjnk | (~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-12-17 16:34:49 +0100 | <kuribas> | yes, GADTs seem to work fine. |
| 2021-12-17 16:35:46 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-17 16:37:12 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 16:37:14 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2021-12-17 16:38:24 +0100 | <merijn> | ugh...this Stream instance has some of the most terrible code I ever wrote >.> |
| 2021-12-17 16:38:38 +0100 | <merijn> | Nasty mess of edge conditions |
| 2021-12-17 16:39:36 +0100 | jippiedoe | (~david@2a02-a44c-e14e-1-db90-2601-def3-2cf9.fixed6.kpn.net) |
| 2021-12-17 16:40:11 +0100 | jonathanx | (~jonathan@c-5eea345c-74736162.cust.telenor.se) |
| 2021-12-17 16:46:37 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 2021-12-17 16:47:24 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot) |
| 2021-12-17 16:47:59 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 16:48:50 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 16:49:14 +0100 | jippiedoe | (~david@2a02-a44c-e14e-1-db90-2601-def3-2cf9.fixed6.kpn.net) (Quit: Leaving) |
| 2021-12-17 16:50:44 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 16:55:15 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 16:58:34 +0100 | shailangsa | (~shailangs@host86-186-127-128.range86-186.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2021-12-17 16:58:57 +0100 | jtomas | (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 2021-12-17 16:59:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 16:59:56 +0100 | kuribas | (~user@ptr-25vy0i9b9kj79kkp4jg.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-12-17 17:01:58 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 17:02:57 +0100 | featurebug | (~featurebu@49.205.122.91) |
| 2021-12-17 17:03:25 +0100 | sleblanc | (~sleblanc@user/sleblanc) (Ping timeout: 240 seconds) |
| 2021-12-17 17:08:55 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-12-17 17:09:21 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 17:09:46 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 17:11:16 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-12-17 17:12:23 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 17:14:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:986f:7ac8:d5bc:582b) (Quit: WeeChat 2.8) |
| 2021-12-17 17:16:12 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 17:16:17 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:4ca1:6d3c:51c2:5c97) (Ping timeout: 240 seconds) |
| 2021-12-17 17:20:17 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-12-17 17:21:16 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-12-17 17:21:16 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 17:21:31 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-12-17 17:22:07 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2021-12-17 17:23:55 +0100 | MoC | (~moc@user/moc) |
| 2021-12-17 17:24:45 +0100 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-12-17 17:25:46 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-12-17 17:27:06 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:1532:bc61:a470:451) |
| 2021-12-17 17:27:31 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-17 17:28:13 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 2021-12-17 17:28:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 17:29:30 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 17:33:55 +0100 | monochrom | (trebla@216.138.220.146) |
| 2021-12-17 17:39:51 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 17:40:37 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2021-12-17 17:40:37 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 17:40:56 +0100 | shailangsa | (~shailangs@host86-186-127-224.range86-186.btcentralplus.com) |
| 2021-12-17 17:42:16 +0100 | ubert | (~Thunderbi@2a02:8109:9880:303c:7f37:d4df:3b9c:eeaa) (Remote host closed the connection) |
| 2021-12-17 17:43:46 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-12-17 17:44:04 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 17:44:57 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-12-17 17:46:06 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:2d64:c4c8:c5aa:ebd7) (Quit: gone to sleep. ZZZzzz…) |
| 2021-12-17 17:47:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 17:47:35 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-17 17:50:08 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2021-12-17 17:51:46 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2021-12-17 17:51:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-17 17:52:04 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) |
| 2021-12-17 17:55:17 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 17:55:50 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 17:56:13 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-12-17 17:58:20 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-12-17 17:58:27 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-17 17:59:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 18:02:24 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 18:04:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 18:06:17 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 2021-12-17 18:06:34 +0100 | econo | (uid147250@user/econo) |
| 2021-12-17 18:07:07 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 18:07:31 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) |
| 2021-12-17 18:07:32 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Remote host closed the connection) |
| 2021-12-17 18:09:01 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 18:10:06 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-12-17 18:11:57 +0100 | jonathanx | (~jonathan@c-5eea345c-74736162.cust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-12-17 18:13:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 240 seconds) |
| 2021-12-17 18:15:47 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) |
| 2021-12-17 18:16:50 +0100 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 2021-12-17 18:17:17 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-12-17 18:19:52 +0100 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-12-17 18:22:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) |
| 2021-12-17 18:22:53 +0100 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2021-12-17 18:24:16 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-17 18:24:41 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 18:25:08 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 18:30:30 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-12-17 18:31:37 +0100 | neverfindme | (~hayden@158.123.160.43) |
| 2021-12-17 18:31:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-12-17 18:33:37 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 240 seconds) |
| 2021-12-17 18:33:44 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-12-17 18:33:59 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 18:34:23 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 18:34:55 +0100 | neverfindme | (~hayden@158.123.160.43) (Client Quit) |
| 2021-12-17 18:38:41 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Ping timeout: 245 seconds) |
| 2021-12-17 18:43:05 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2021-12-17 18:45:42 +0100 | benin | (~benin@183.82.27.121) (Quit: The Lounge - https://thelounge.chat) |
| 2021-12-17 18:46:22 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2021-12-17 18:47:40 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-17 18:51:26 +0100 | jinsun___ | jinsun |
| 2021-12-17 18:51:47 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 18:57:03 +0100 | ph88 | (~ph88@ip5f5af068.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2021-12-17 18:57:17 +0100 | shapr | (~user@12.5.211.156) (Ping timeout: 268 seconds) |
| 2021-12-17 18:59:40 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-12-17 19:05:07 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-17 19:05:55 +0100 | max22- | (~maxime@2a01cb0883359800039072edde530579.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 2021-12-17 19:06:11 +0100 | dcoutts_ | (~duncan@71.78.6.51.dyn.plus.net) |
| 2021-12-17 19:11:49 +0100 | sander | (~sander@user/sander) |
| 2021-12-17 19:12:21 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 19:12:49 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-12-17 19:13:25 +0100 | kmein | (~weechat@user/kmein) |
| 2021-12-17 19:21:42 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-17 19:24:37 +0100 | jassob | (~jassob@h-98-128-166-172.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-12-17 19:26:47 +0100 | jassob | (~jassob@h-155-4-71-72.A785.priv.bahnhof.se) |
| 2021-12-17 19:26:49 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-12-17 19:29:05 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 19:29:14 +0100 | notzmv | (~zmv@user/notzmv) |
| 2021-12-17 19:33:15 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 19:36:15 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-12-17 19:38:51 +0100 | max22- | (~maxime@2a01cb088335980001a330c3448f5bb4.ipv6.abo.wanadoo.fr) |
| 2021-12-17 19:42:29 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-17 19:48:42 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-17 19:51:38 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 19:58:24 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2021-12-17 19:59:18 +0100 | zebrag | (~chris@user/zebrag) |
| 2021-12-17 20:00:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 20:01:30 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 20:06:55 +0100 | ubert | (~Thunderbi@p200300ecdf0a5db5805dbf0fab6de770.dip0.t-ipconnect.de) |
| 2021-12-17 20:09:11 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 20:10:38 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-12-17 20:11:25 +0100 | xsperry | (~xs@user/xsperry) () |
| 2021-12-17 20:13:56 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-12-17 20:14:57 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-12-17 20:18:00 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 20:18:04 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-17 20:22:13 +0100 | max22- | (~maxime@2a01cb088335980001a330c3448f5bb4.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 2021-12-17 20:25:03 +0100 | xsperry | (~xs@user/xsperry) |
| 2021-12-17 20:27:50 +0100 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2021-12-17 20:28:25 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-17 20:28:30 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-12-17 20:29:12 +0100 | sander | (~sander@user/sander) |
| 2021-12-17 20:32:23 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) |
| 2021-12-17 20:34:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-17 20:35:08 +0100 | pfurla | (~pfurla@172.58.27.44) |
| 2021-12-17 20:37:09 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 20:39:29 +0100 | neurocyte0132889 | (~neurocyte@45.131.37.166) |
| 2021-12-17 20:39:29 +0100 | neurocyte0132889 | (~neurocyte@45.131.37.166) (Changing host) |
| 2021-12-17 20:39:29 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-12-17 20:39:52 +0100 | <dminuoso> | hugo: The repository does |
| 2021-12-17 20:40:16 +0100 | <dminuoso> | Or mmm. Hold on, let me look again |
| 2021-12-17 20:40:23 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-17 20:40:27 +0100 | <dminuoso> | hugo: https://github.com/nomeata/gipeda |
| 2021-12-17 20:40:31 +0100 | <dminuoso> | This can be used as a reference. |
| 2021-12-17 20:41:06 +0100 | <dminuoso> | hugo: But really, the implementation follows the git internals closely. I think the folks over at #git have good books and resources for learning it |
| 2021-12-17 20:41:21 +0100 | <dminuoso> | So once you understand how git works internally, gitlib is relatively straight forward |
| 2021-12-17 20:43:17 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 240 seconds) |
| 2021-12-17 20:44:16 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2021-12-17 20:49:17 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) |
| 2021-12-17 20:50:15 +0100 | featurebug | (~featurebu@49.205.122.91) (Quit: Leaving) |
| 2021-12-17 20:52:01 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-12-17 20:52:36 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2021-12-17 20:52:45 +0100 | machinedgod | (~machinedg@173.231.123.211) |
| 2021-12-17 20:54:54 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: rebooting) |
| 2021-12-17 20:55:34 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 20:55:40 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 268 seconds) |
| 2021-12-17 20:56:05 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-12-17 20:57:37 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-17 20:59:25 +0100 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-17 20:59:45 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Client Quit) |
| 2021-12-17 20:59:59 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2021-12-17 21:01:01 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-12-17 21:01:09 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2021-12-17 21:01:11 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
| 2021-12-17 21:01:18 +0100 | burnsidesLlama | (~burnsides@dhcp168-016.wadham.ox.ac.uk) |
| 2021-12-17 21:04:15 +0100 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-12-17 21:05:09 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 2021-12-17 21:06:06 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2021-12-17 21:06:42 +0100 | juhp | (~juhp@128.106.188.82) |
| 2021-12-17 21:12:08 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-17 21:16:09 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 21:23:40 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-17 21:24:31 +0100 | shapr | (~user@12.5.211.156) |
| 2021-12-17 21:26:55 +0100 | <tomsmeding> | I have a GADT 'data Type a where TInt :: Type Int ; TUnit :: Type () ; ...', and a type class 'class Infer a where inferType :: Type a' with instances for Int, (), etc. Having 'Infer a' allows me to get a 'Type a', but having a 'Type a' I cannot simply get an 'Infer a'; I have to write a function that recurses over the Type and constructs the dictionary that way. Is there a better way to construct |
| 2021-12-17 21:26:55 +0100 | <tomsmeding> | this GADT/typeclass pair? |
| 2021-12-17 21:27:22 +0100 | <tomsmeding> | or is the answer "use singletons" |
| 2021-12-17 21:32:40 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 21:34:11 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2021-12-17 21:34:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 268 seconds) |
| 2021-12-17 21:35:18 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-17 21:37:09 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-17 21:37:27 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 21:43:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 21:47:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-17 21:48:02 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-17 21:49:01 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) |
| 2021-12-17 21:50:23 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-17 21:51:44 +0100 | <awpr> | a) I think this should be one of the classes where https://hackage.haskell.org/package/base-4.16.0.0/docs/GHC-Exts.html#v:magicDict works; b) put the instance (redundantly) in the GADT constructor(s); c) if performance isn't critical here, seems like just re-deriving the dictionary with GADT matches isn't too terrible |
| 2021-12-17 21:52:51 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-17 21:53:15 +0100 | evocatus | (~evocatus@62.182.78.42) |
| 2021-12-17 21:55:11 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 21:55:17 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-17 21:55:39 +0100 | <tomsmeding> | re (c): yeah it isn't terrible, was just wondering if there is a better way, since the info that I'm constructing is literally the value that I'm traversing |
| 2021-12-17 21:55:49 +0100 | <tomsmeding> | (a) sounds interesting, also scary :p |
| 2021-12-17 21:56:17 +0100 | pfurla | (~pfurla@172.58.27.44) (Ping timeout: 240 seconds) |
| 2021-12-17 21:56:18 +0100 | <awpr> | yeah, it's a bit sketchy. but it is how `someNatVal` works, at least |
| 2021-12-17 21:58:26 +0100 | <tomsmeding> | didn't that become withDict in ghc HEAD |
| 2021-12-17 21:58:33 +0100 | <tomsmeding> | with a more informative type signature |
| 2021-12-17 22:00:14 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-12-17 22:00:22 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-169.elisa-laajakaista.fi) |
| 2021-12-17 22:00:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-17 22:01:08 +0100 | <tomsmeding> | ok magicDict's Note in compiler/GHC/Types/Id/Make.hs is a bit too scary for me :) |
| 2021-12-17 22:01:27 +0100 | <tomsmeding> | but thanks awpr I'd read about magicDict at some point, funny to see it turn up again |
| 2021-12-17 22:01:28 +0100 | coot | (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot) |
| 2021-12-17 22:02:18 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-12-17 22:02:21 +0100 | gustik | (~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) |
| 2021-12-17 22:02:24 +0100 | <awpr> | yeah it does look like that's replaced it |
| 2021-12-17 22:10:57 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 22:16:12 +0100 | acidjnk | (~acidjnk@p200300d0c7271e65d42c28944a29f404.dip0.t-ipconnect.de) |
| 2021-12-17 22:26:17 +0100 | rond_ | (~rond_@100.42.200.146.dyn.plus.net) |
| 2021-12-17 22:26:17 +0100 | shapr | (~user@12.5.211.156) (Ping timeout: 240 seconds) |
| 2021-12-17 22:27:28 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2021-12-17 22:28:52 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 22:30:22 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2021-12-17 22:35:49 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2021-12-17 22:36:17 +0100 | sourcemage | (~sourcemag@c-24-14-124-168.hsd1.il.comcast.net) |
| 2021-12-17 22:38:14 +0100 | briandaed | (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-12-17 22:40:30 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 22:41:11 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 245 seconds) |
| 2021-12-17 22:44:37 +0100 | emf | (~emf@2620:10d:c091:480::1:7a0e) (Ping timeout: 240 seconds) |
| 2021-12-17 22:46:44 +0100 | briandaed | (~root@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 2021-12-17 22:56:02 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds) |
| 2021-12-17 22:56:51 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-17 22:57:43 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-17 22:58:27 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 22:59:53 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) |
| 2021-12-17 23:00:17 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 23:00:51 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-17 23:05:51 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) |
| 2021-12-17 23:05:51 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 23:07:33 +0100 | deadmarshal | (~deadmarsh@95.38.228.121) (Ping timeout: 256 seconds) |
| 2021-12-17 23:07:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 240 seconds) |
| 2021-12-17 23:08:41 +0100 | pfurla | (~pfurla@172.58.27.44) |
| 2021-12-17 23:12:18 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2021-12-17 23:12:31 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-12-17 23:13:37 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2021-12-17 23:17:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-17 23:17:37 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-17 23:19:17 +0100 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-12-17 23:22:17 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2021-12-17 23:22:34 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 23:24:26 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-12-17 23:28:03 +0100 | slack1256 | (~slack1256@191.125.99.206) |
| 2021-12-17 23:28:08 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.3) |
| 2021-12-17 23:29:14 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-17 23:31:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-17 23:33:41 +0100 | Pickchea | (~private@user/pickchea) |
| 2021-12-17 23:35:06 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3) |
| 2021-12-17 23:35:06 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2021-12-17 23:38:50 +0100 | rond_ | (~rond_@100.42.200.146.dyn.plus.net) (Quit: Client closed) |
| 2021-12-17 23:40:14 +0100 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-12-17 23:44:03 +0100 | emf | (~emf@2603-6080-9403-11bf-0000-0000-0000-000a.res6.spectrum.com) |
| 2021-12-17 23:46:32 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-12-17 23:46:33 +0100 | benin | (~benin@183.82.27.121) |
| 2021-12-17 23:46:52 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-12-17 23:47:42 +0100 | emf | (~emf@2603-6080-9403-11bf-0000-0000-0000-000a.res6.spectrum.com) (Client Quit) |
| 2021-12-17 23:49:53 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-12-17 23:51:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-12-17 23:52:37 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) |
| 2021-12-17 23:53:04 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2021-12-17 23:54:17 +0100 | xff0x | (~xff0x@2001:1a81:5353:e600:1532:bc61:a470:451) (Ping timeout: 240 seconds) |
| 2021-12-17 23:55:07 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-17 23:55:21 +0100 | xff0x | (~xff0x@port-92-193-238-190.dynamic.as20676.net) |
| 2021-12-17 23:55:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-12-17 23:56:37 +0100 | falafel | (~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-17 23:57:21 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-17 23:57:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |