Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 .. 5022
— 502,152 events total
2020-11-19 08:17:35 <dsal> % sum ([1..100] :: MyList Int)
2020-11-19 08:17:36 <yahb> dsal: ; <interactive>:1:18: error:; Not in scope: type constructor or class `MyList'; Perhaps you meant one of these: `IsList' (imported from GHC.Exts), `TyLit' (imported from Language.Haskell.TH)
2020-11-19 08:17:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit)
2020-11-19 08:17:47 × keep_learning quits (~keep_lear@43.231.26.152) (Quit: Leaving)
2020-11-19 08:18:13 <dsal> Someone else taught it how to not know that, apparently. heh
2020-11-19 08:19:53 <dsal> n0042: Anyway, I should've gone to bed a while ago. The main point is that haskell doesn't reserve a lot of magic for the ivory tower. If you see something that looks magical, you can often implement it yourself from scratch.
2020-11-19 08:20:04 → alp joins (~alp@2a01:e0a:58b:4920:6cd6:5f96:4d6d:5a5)
2020-11-19 08:20:33 <n0042> That's good to know! Thanks for all the help. I am planning on going through that book with a study group, so I'm looking forward to it.
2020-11-19 08:20:44 <n0042> Have a good night and thanks again
2020-11-19 08:20:58 <dsal> (e.g., I could've made a Show instance that displayed my list exactly as regular list does, making it look and and act just like the list you already know)
2020-11-19 08:21:48 <dsal> It's like learning Santa Claus isn't real. All this wonderful magic is suddenly boring, but then you get to be Santa Claus, so that's nice.
2020-11-19 08:21:50 <dsal> 'night. :)
2020-11-19 08:24:28 → Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-19 08:29:06 ← n0042 parts (d055ed89@208.85.237.137) ()
2020-11-19 08:31:09 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-19 08:34:35 → frogger joins (d055ed89@208.85.237.137)
2020-11-19 08:35:16 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-19 08:36:24 → ph88^ joins (~ph88@2a02:8109:9e00:7e5c:f073:c081:c2ef:433b)
2020-11-19 08:40:31 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:a963:461:83fa:2c4) (Ping timeout: 272 seconds)
2020-11-19 08:45:18 × jedws quits (~jedws@101.184.150.93) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-19 08:45:38 → borne joins (~fritjof@200116b864eda200f1dc39039d201adf.dip.versatel-1u1.de)
2020-11-19 08:46:09 × frogger quits (d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-19 08:46:54 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-19 08:48:06 → n0042 joins (d055ed89@208.85.237.137)
2020-11-19 08:48:30 hackage mu-rpc 0.4.0.1 - Protocol-independent declaration of services and servers. https://hackage.haskell.org/package/mu-rpc-0.4.0.1 (AlejandroSerrano)
2020-11-19 08:49:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-19 08:50:47 → danvet_ joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-11-19 08:51:25 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-19 08:51:52 <unclechu> glguy: no i am around, why?
2020-11-19 08:53:07 → Yumasi joins (~guillaume@2a01cb09b06b29ea0877e1bda345185b.ipv6.abo.wanadoo.fr)
2020-11-19 08:53:17 → Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-19 08:54:00 hackage compendium-client 0.2.1.1 - Client for the Compendium schema server https://hackage.haskell.org/package/compendium-client-0.2.1.1 (AlejandroSerrano)
2020-11-19 08:54:04 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-rpvaqdolaahudqno) (Quit: Connection closed for inactivity)
2020-11-19 08:55:24 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-19 08:57:00 hackage mu-avro 0.4.0.2 - Avro serialization support for Mu microservices https://hackage.haskell.org/package/mu-avro-0.4.0.2 (AlejandroSerrano)
2020-11-19 08:58:11 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-19 08:58:29 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-19 08:59:00 hackage mu-protobuf 0.4.0.2 - Protocol Buffers serialization and gRPC schema import for Mu microservices https://hackage.haskell.org/package/mu-protobuf-0.4.0.2 (AlejandroSerrano)
2020-11-19 08:59:17 → britva joins (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4)
2020-11-19 09:00:31 hackage mu-optics 0.3.0.1 - Optics for @mu-schema@ terms https://hackage.haskell.org/package/mu-optics-0.3.0.1 (AlejandroSerrano)
2020-11-19 09:01:31 hackage mu-persistent 0.3.1.0 - Utilities for interoperation between Mu and Persistent https://hackage.haskell.org/package/mu-persistent-0.3.1.0 (AlejandroSerrano)
2020-11-19 09:02:31 hackage mu-grpc-client 0.4.0.1 - gRPC clients from Mu definitions https://hackage.haskell.org/package/mu-grpc-client-0.4.0.1 (AlejandroSerrano)
2020-11-19 09:04:31 hackage mu-graphql 0.4.1.0 - GraphQL support for Mu https://hackage.haskell.org/package/mu-graphql-0.4.1.0 (AlejandroSerrano)
2020-11-19 09:06:56 → watt801 joins (~watt801@124.123.105.47)
2020-11-19 09:07:23 × n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-19 09:08:26 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-11-19 09:10:09 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-19 09:10:23 laxask is now known as sudden
2020-11-19 09:10:24 <idnar> :t \a -> a <> a
2020-11-19 09:10:26 <lambdabot> Semigroup a => a -> a
2020-11-19 09:10:35 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-19 09:11:30 × watt801 quits (~watt801@124.123.105.47) (Ping timeout: 256 seconds)
2020-11-19 09:13:28 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-19 09:13:52 <idnar> I guess that's `stimes 2`
2020-11-19 09:14:04 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-19 09:17:18 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-19 09:17:32 <avn> Folks, anyone could hint me some examples of usage for aside/outside/without from Control.Lens.Prisms?
2020-11-19 09:20:22 × rotty quits (rotty@ghost.xx.vu) (Ping timeout: 260 seconds)
2020-11-19 09:23:33 → jakob_ joins (~textual@p200300f49f162200c400a7daff5c73c4.dip0.t-ipconnect.de)
2020-11-19 09:26:20 → kuribas joins (~user@ptr-25vy0i8y4kl4v762twz.18120a2.ip6.access.telenet.be)
2020-11-19 09:27:19 <jophish> bgamari: is your ring-buffer library worth using?
2020-11-19 09:27:31 <jophish> It doesn't build at the moment, but I think that's just version bounds
2020-11-19 09:30:21 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-19 09:31:10 × britva quits (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4) (Quit: This computer has gone to sleep)
2020-11-19 09:31:27 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 260 seconds)
2020-11-19 09:34:55 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-19 09:35:36 → ADG1089 joins (~adg1089@223.235.75.84)
2020-11-19 09:36:29 <ADG1089> @hoogle (FilePath -> IO ()) -> IO [FilePath] -> IO ()
2020-11-19 09:36:30 <lambdabot> Data.Drinkery.Combinators traverseFrom_ :: (Foldable t, Monad m) => m (t a) -> (a -> m b) -> m ()
2020-11-19 09:36:36 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-19 09:36:59 <ADG1089> @ty mapM
2020-11-19 09:37:01 <lambdabot> (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
2020-11-19 09:37:28 → Lycurgus joins (~niemand@cpe-45-46-142-188.buffalo.res.rr.com)
2020-11-19 09:37:55 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-19 09:38:08 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-19 09:38:53 × nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
2020-11-19 09:39:31 → britva joins (~britva@2a02:aa13:7240:2980:7da5:a1a0:c038:90b4)
2020-11-19 09:40:00 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-19 09:41:33 → nckx joins (~nckx@tobias.gr)
2020-11-19 09:43:02 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-19 09:43:16 <boxscape> % type family Fam :: a :~: b where
2020-11-19 09:43:16 <yahb> boxscape:
2020-11-19 09:43:19 <boxscape> % :kind Fam
2020-11-19 09:43:20 <yahb> boxscape: forall k (a :: k) (b :: k). a :~: b
2020-11-19 09:44:16 <boxscape> % type family Fam :: a :~: b where Fam = 'Refl
2020-11-19 09:44:16 <yahb> boxscape: ; <interactive>:24:26: error:; * Couldn't match `a' with `b'; * In the type family declaration for `Fam'
2020-11-19 09:44:25 <boxscape> % type Fam :: forall k (a :: k) (b :: k) . a :~: b; type family Fam :: a :~: b where Fam = 'Refl
2020-11-19 09:44:26 <yahb> boxscape:
2020-11-19 09:44:31 → clog joins (~nef@bespin.org)
2020-11-19 09:44:34 <boxscape> the inferred kind seems to be the same one I gave it
2020-11-19 09:44:41 <boxscape> why does it result in an error without type sig?
2020-11-19 09:44:44 <boxscape> (kind sig)
2020-11-19 09:45:22 <boxscape> ohh wait
2020-11-19 09:45:31 <boxscape> is the Refl call changing the inferred kind
2020-11-19 09:46:04 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-19 09:46:40 <idnar> jophish: last time I tried to use it, I got segfaults
2020-11-19 09:48:25 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-19 09:48:53 <idnar> @type \f x -> traverse_ f =<< x
2020-11-19 09:48:54 <lambdabot> (Monad m, Foldable t) => (a -> m b) -> m (t a) -> m ()
2020-11-19 09:49:10 <idnar> ADG1089: ^
←Prev  Next→
Page 1 .. 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 .. 5022

All times are in UTC.