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