| 2021-04-11 00:00:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-11 00:02:14 +0200 | <hololeap> | anyway, just curious which of these has a bigger bandwagon |
| 2021-04-11 00:02:35 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 00:03:29 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursaga) |
| 2021-04-11 00:03:57 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 00:04:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 00:04:02 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-04-11 00:04:43 +0200 | Rudd0^ | (~Rudd0@185.189.115.103) |
| 2021-04-11 00:07:22 +0200 | <tomsmeding> | hololeap: *> has <* while there is no << |
| 2021-04-11 00:07:33 +0200 | gxt | (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2021-04-11 00:07:40 +0200 | tomsmeding | would like >> and << |
| 2021-04-11 00:07:42 +0200 | gxt_ | (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-11 00:08:12 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-04-11 00:08:27 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 00:08:33 +0200 | <hololeap> | oh, i didn't realize that |
| 2021-04-11 00:08:39 +0200 | srk | (~sorki@unaffiliated/srk) (Ping timeout: 250 seconds) |
| 2021-04-11 00:10:35 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 00:12:48 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-11 00:14:02 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 00:14:59 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 00:15:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 00:19:35 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 00:20:22 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 00:20:46 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 00:21:01 +0200 | sedeki | (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-11 00:21:11 +0200 | fendor_ | (~fendor@178.165.131.171.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-11 00:22:06 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-11 00:22:57 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-04-11 00:24:28 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-11 00:24:31 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-11 00:25:15 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 00:25:41 +0200 | lechner | (~lechner@letbox-vps.us-core.com) (Read error: Connection reset by peer) |
| 2021-04-11 00:25:53 +0200 | <gentauro> | tomsmeding: you already have `>>` right? |
| 2021-04-11 00:25:58 +0200 | <gentauro> | that's the `bind` operator |
| 2021-04-11 00:26:22 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 00:26:40 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-11 00:26:45 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-11 00:27:11 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-11 00:27:12 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 00:27:46 +0200 | <gentauro> | do |
| 2021-04-11 00:28:02 +0200 | <gentauro> | foo = |
| 2021-04-11 00:28:08 +0200 | <gentauro> | putStrLn "foo" |
| 2021-04-11 00:28:16 +0200 | <gentauro> | >> putStrLn "bar" |
| 2021-04-11 00:28:24 +0200 | <gentauro> | (forget about the first do) |
| 2021-04-11 00:28:27 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-11 00:30:35 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-11 00:30:51 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 00:31:28 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 00:31:36 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 00:31:53 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-11 00:32:52 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-11 00:34:22 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-11 00:35:08 +0200 | <infinisil> | :t (<>) |
| 2021-04-11 00:35:09 +0200 | <lambdabot> | Semigroup a => a -> a -> a |
| 2021-04-11 00:35:13 +0200 | <infinisil> | :t (*>) |
| 2021-04-11 00:35:14 +0200 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2021-04-11 00:35:17 +0200 | <infinisil> | :t (>>) |
| 2021-04-11 00:35:19 +0200 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2021-04-11 00:35:27 +0200 | <infinisil> | (ignore (<>)) |
| 2021-04-11 00:36:32 +0200 | <infinisil> | Is there a reason >> couldn't be removed from Monad? |
| 2021-04-11 00:37:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-11 00:39:11 +0200 | <gentauro> | infinisil: why would you remove it? |
| 2021-04-11 00:39:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 00:39:25 +0200 | <gentauro> | I use it a lot (I tend not to write with do-notation) |
| 2021-04-11 00:39:34 +0200 | <gentauro> | therefore I use both `>>` and `>>=` |
| 2021-04-11 00:40:00 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-04-11 00:40:57 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.175) (Quit: Konversation terminated!) |
| 2021-04-11 00:41:19 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.175) |
| 2021-04-11 00:42:31 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 00:43:25 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-11 00:49:10 +0200 | <d34df00d> | I prefer *> because less constraints. |
| 2021-04-11 00:50:20 +0200 | <justsomeguy> | I have a type ''data Three a b c = Three a b c deriving (Eq, Show)'', and an instance for it, ''instance Foldable (Three b c) where { foldMap f (Three _ _ c) = f c }''. Why is it that I can define an instance like ''instance Foldable (Three b c)'' but not ''instance Foldable (Three a b c)''? How do I know which type arguments can't be used, and why? |
| 2021-04-11 00:51:36 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-04-11 00:51:46 +0200 | <justsomeguy> | I see that Data.Foldable has ''type Foldable :: (* -> *) -> Constraint''. What is that? |
| 2021-04-11 00:52:18 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-11 00:53:49 +0200 | <justsomeguy> | I feel like I'm missing something basic about how kind signatures work, or how to define instances, but I'm not sure exactly what. |
| 2021-04-11 00:55:16 +0200 | hiptobecubic | (~john@unaffiliated/hiptobecubic) (Read error: Connection reset by peer) |
| 2021-04-11 00:55:20 +0200 | malumore_ | (~malumore@151.62.113.35) (Remote host closed the connection) |
| 2021-04-11 00:57:36 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-11 00:57:37 +0200 | lgedeon | (~lgedeon@185.169.233.10) |
| 2021-04-11 01:05:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 01:06:11 +0200 | entel | (uid256215@botters/entel) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:09:37 +0200 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 2021-04-11 01:10:40 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 01:11:49 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 01:13:00 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-11 01:13:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-11 01:14:14 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-11 01:15:57 +0200 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-11 01:16:06 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 268 seconds) |
| 2021-04-11 01:17:28 +0200 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-11 01:17:49 +0200 | tefter | (~bmaxa@62.240.24.69) (Quit: WeeChat 3.1) |
| 2021-04-11 01:18:49 +0200 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-11 01:20:56 +0200 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-11 01:21:46 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4c0:2592:d146:5f01) |
| 2021-04-11 01:22:02 +0200 | <edwardk> | justsomeguy: it'll always peel off arguments from the right. Consider if you could do otherwise. e.g. I might want fmap to map over the left half of a pair or to map over the right half of a pair, and i just call 'fmap (+1) (2,3)' -- which fmap did i mean? |
| 2021-04-11 01:22:29 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 01:22:31 +0200 | <edwardk> | justsomeguy: to ensure that instance resolution is always unambiguous there are no 'type lambdas' that you can use for the instance descriptions. |
| 2021-04-11 01:23:24 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 01:23:25 +0200 | <edwardk> | Foldable :: (Type -> Type) -> Constraint -- is a way to say that it is a constraint that works on any type constructor of kind Type -> Type. (Type is another way to say *, you can import it from Data.Kind. |
| 2021-04-11 01:23:48 +0200 | <edwardk> | It might be easier to start with something like Eq :: Type -> Constraint or Ord :: Type -> Constraint. |
| 2021-04-11 01:24:08 +0200 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-11 01:24:10 +0200 | <edwardk> | Int :: Type; so we can talk about Eq Int :: Constraint |
| 2021-04-11 01:24:19 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 01:24:21 +0200 | Guest_96 | (18e9d4cb@d-24-233-212-203.nh.cpe.atlanticbb.net) |
| 2021-04-11 01:24:38 +0200 | <edwardk> | that is the type of 'proofs' or 'dictionaries' that Int is an instance of Eq. |
| 2021-04-11 01:24:50 +0200 | <edwardk> | you use those on the left of => to carry along the constraint. |
| 2021-04-11 01:25:08 +0200 | <edwardk> | e.g. sort :: Ord a => [a] -> [a] |
| 2021-04-11 01:25:30 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 260 seconds) |
| 2021-04-11 01:25:54 +0200 | <edwardk> | Going back to your "Three" type. you have Three :: Type -> Type -> Type -> Type; Three Int :: Type -> Type -> Type; Three Int Bool :: Type -> Type |
| 2021-04-11 01:26:12 +0200 | <edwardk> | now you have something of the right form that you could pass it to Foldable or Functor or Traversable |
| 2021-04-11 01:26:31 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4c0:2592:d146:5f01) (Client Quit) |
| 2021-04-11 01:28:04 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4c0:2592:d146:5f01) |
| 2021-04-11 01:30:58 +0200 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-11 01:31:31 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 01:33:03 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 01:33:06 +0200 | <justsomeguy> | Ok, interesting. |
| 2021-04-11 01:33:31 +0200 | <justsomeguy> | So why is that I can define an instance by ignoring the innermost type variables at all? Shouldn't I have to make a type alias, first, or something, to get rid of the unused type arguments? |
| 2021-04-11 01:34:01 +0200 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-11 01:34:11 +0200 | <c_wraith> | nah. types are curried, just like values |
| 2021-04-11 01:34:41 +0200 | <c_wraith> | you can use `map show' without assigning it to a name |
| 2021-04-11 01:37:16 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:e006:3e43:5d26:4dc1) |
| 2021-04-11 01:40:21 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-11 01:40:38 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 01:40:56 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-11 01:42:00 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:e006:3e43:5d26:4dc1) (Ping timeout: 258 seconds) |
| 2021-04-11 01:43:01 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.175) (Ping timeout: 252 seconds) |
| 2021-04-11 01:43:43 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 01:44:42 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-11 01:47:19 +0200 | Guest_96 | (18e9d4cb@d-24-233-212-203.nh.cpe.atlanticbb.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-11 01:47:19 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 01:47:33 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 01:48:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-11 01:50:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-11 01:50:22 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-11 01:51:34 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 01:52:10 +0200 | <koz_> | Does {Haskell, GHC} allow _prefix_ operators? |
| 2021-04-11 01:52:22 +0200 | <koz_> | I assume 'no', but maybe there's some magic-AF extension which does. |
| 2021-04-11 01:52:22 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-11 01:54:08 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4c0:2592:d146:5f01) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 01:54:16 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-04-11 01:54:42 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-11 01:56:07 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 01:57:09 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 01:57:26 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 01:58:17 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-11 01:59:18 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 01:59:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-11 02:00:04 +0200 | <justsomeguy> | What would a prefix operator look like? |
| 2021-04-11 02:00:33 +0200 | <justsomeguy> | Kind of like a function with symbols in the identifier? |
| 2021-04-11 02:01:51 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:02:29 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-11 02:02:45 +0200 | <DigitalKiwi> | --koz_ |
| 2021-04-11 02:02:59 +0200 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) |
| 2021-04-11 02:04:48 +0200 | carlomagno | (~cararell@148.87.23.8) (Quit: Leaving.) |
| 2021-04-11 02:08:06 +0200 | <koz_> | I'm imagining something like a prefix version of 'complement'. |
| 2021-04-11 02:08:22 +0200 | <koz_> | So instead of writing 'complement foo', it'd be like, '.~. foo' or something. |
| 2021-04-11 02:08:33 +0200 | <koz_> | But now that I look at it, I can see the issue, lol. |
| 2021-04-11 02:10:36 +0200 | <c_wraith> | well, inasmuch as Haskell supports postfix operators, it supports prefix operators that return a function. :P |
| 2021-04-11 02:11:29 +0200 | <koz_> | c_wraith: Wait I don't understand? |
| 2021-04-11 02:12:22 +0200 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 02:13:03 +0200 | <c_wraith> | ghc has an extension for postfix operators... that work by slightly liberalizing the section rules such that (foo@#%) is parsed as a section, but need not return a function. |
| 2021-04-11 02:13:19 +0200 | Iryon | (~Iryon@185-12-21-77.sigma.jaslo.pl) (Remote host closed the connection) |
| 2021-04-11 02:13:27 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 02:13:29 +0200 | <c_wraith> | You could always main ($*#foo) an expression now. it just has to return a function :) |
| 2021-04-11 02:13:34 +0200 | <c_wraith> | *make |
| 2021-04-11 02:14:40 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-11 02:15:02 +0200 | <koz_> | OK, thanks. |
| 2021-04-11 02:16:04 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 02:17:11 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-11 02:20:06 +0200 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
| 2021-04-11 02:24:30 +0200 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-11 02:25:10 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-11 02:25:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-11 02:30:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-11 02:30:44 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 02:30:58 +0200 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-11 02:31:20 +0200 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) |
| 2021-04-11 02:33:54 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 02:34:04 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 02:34:04 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 02:34:10 +0200 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-11 02:34:29 +0200 | manicpolymath | (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Client Quit) |
| 2021-04-11 02:34:41 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 02:37:12 +0200 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2021-04-11 02:38:20 +0200 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 02:38:42 +0200 | jess | (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-04-11 02:38:51 +0200 | jess | (jess@freenode/staff/jess) |
| 2021-04-11 02:40:23 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-11 02:40:46 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 02:42:09 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-11 02:47:13 +0200 | dycan | (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) |
| 2021-04-11 02:56:16 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-wqstqfwsmnwqeeor) |
| 2021-04-11 02:57:36 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 02:59:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 03:02:11 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-11 03:04:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 03:06:22 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-04-11 03:07:21 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 03:07:44 +0200 | average | (uid473595@gateway/web/irccloud.com/x-pcrxvnrynryjlrmq) (Quit: Connection closed for inactivity) |
| 2021-04-11 03:08:44 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-11 03:09:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 03:10:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 03:10:58 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-emtqdjwrdkrvrqyi) (Quit: Connection closed for inactivity) |
| 2021-04-11 03:13:25 +0200 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Remote host closed the connection) |
| 2021-04-11 03:15:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 03:20:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 03:21:41 +0200 | <dmwit> | Okay, hallway test: I write `type family Foo a = r | r -> a; type instance Foo (a -> b) = a -> Foo b`. Do you expect this to work or no? |
| 2021-04-11 03:22:18 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 03:23:12 +0200 | <dmwit> | Eh, never mind. I just read the full error more carefully and now I feel silly, because it tells me how to make this work. |
| 2021-04-11 03:23:19 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-11 03:23:27 +0200 | <dmwit> | ghc++ |
| 2021-04-11 03:23:31 +0200 | xff0x | (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) (Ping timeout: 260 seconds) |
| 2021-04-11 03:24:30 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) |
| 2021-04-11 03:25:20 +0200 | xff0x | (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) |
| 2021-04-11 03:27:01 +0200 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-04-11 03:37:13 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 03:37:23 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:4e:3fe1:fdb1:102) |
| 2021-04-11 03:39:50 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-olzovrbijxmtrnfe) (Quit: Connection closed for inactivity) |
| 2021-04-11 03:40:05 +0200 | roconnor | (~roconnor@host-45-78-241-236.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-04-11 03:41:28 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 03:43:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-11 03:45:48 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-04-11 03:46:13 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 03:46:49 +0200 | syntactic_sugar | (~amol@192.145.118.113) |
| 2021-04-11 03:47:18 +0200 | syntactic_sugar | (~amol@192.145.118.113) (Client Quit) |
| 2021-04-11 03:47:48 +0200 | s00pcan | (~chris@107.181.165.217) |
| 2021-04-11 03:56:34 +0200 | dariof4 | (~dario@5.179.150.32) (Quit: WeeChat 3.1) |
| 2021-04-11 03:57:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-11 03:58:05 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 03:59:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 04:02:27 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 04:02:41 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 04:03:40 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:04:11 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 04:08:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-11 04:08:19 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:08:40 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-04-11 04:09:13 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:10:50 +0200 | cansis | (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) |
| 2021-04-11 04:12:30 +0200 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-11 04:12:54 +0200 | Ishutin | (~ishutin@193-110-63-24.cable-modem.hdsnet.hu) |
| 2021-04-11 04:13:48 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 04:14:48 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:15:46 +0200 | Ishutin_ | (~ishutin@94-21-108-5.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2021-04-11 04:18:38 +0200 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 04:19:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:20:19 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 04:20:29 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:22:31 +0200 | gitgoood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) |
| 2021-04-11 04:23:08 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 04:23:18 +0200 | tofu2020 | (6164daf9@097-100-218-249.res.spectrum.com) |
| 2021-04-11 04:24:55 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 04:24:59 +0200 | tofu2020 | (6164daf9@097-100-218-249.res.spectrum.com) (Client Quit) |
| 2021-04-11 04:25:16 +0200 | gitgood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds) |
| 2021-04-11 04:26:05 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:27:36 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 04:27:53 +0200 | outerpassage | (~outerpass@li1196-30.members.linode.com) (Ping timeout: 268 seconds) |
| 2021-04-11 04:28:05 +0200 | outerpassage_ | (outerpassa@2600:3c01::f03c:92ff:fed1:4643) |
| 2021-04-11 04:30:10 +0200 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-shdhyxoxkigensao) (Quit: Connection closed for inactivity) |
| 2021-04-11 04:30:43 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 04:31:39 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 04:34:37 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 04:34:55 +0200 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-04-11 04:36:02 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 04:37:46 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 04:38:07 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-11 04:38:56 +0200 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-04-11 04:39:01 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit) |
| 2021-04-11 04:44:32 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 04:49:28 +0200 | theDon | (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 268 seconds) |
| 2021-04-11 04:50:53 +0200 | theDon | (~td@94.134.91.241) |
| 2021-04-11 04:52:09 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 04:52:25 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 04:52:29 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 04:53:32 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-11 04:53:32 +0200 | finn_elija | Guest55303 |
| 2021-04-11 04:53:32 +0200 | FinnElija | finn_elija |
| 2021-04-11 04:55:40 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 04:56:45 +0200 | Guest55303 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-11 04:59:32 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-04-11 05:02:12 +0200 | drbean_ | (~drbean@TC210-63-209-166.static.apol.com.tw) |
| 2021-04-11 05:02:33 +0200 | jamestmartin | (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-04-11 05:02:48 +0200 | jamestmartin | (james@jtmar.me) |
| 2021-04-11 05:04:05 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 05:07:02 +0200 | anandprabhu | (~anand@94.203.250.121) |
| 2021-04-11 05:09:00 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 05:09:36 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 05:16:02 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 05:17:10 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 05:17:11 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-kepeihezzibeebag) (Quit: Connection closed for inactivity) |
| 2021-04-11 05:18:05 +0200 | alx741 | (~alx741@181.196.69.222) (Quit: alx741) |
| 2021-04-11 05:19:42 +0200 | anandprabhu | (~anand@94.203.250.121) (Ping timeout: 268 seconds) |
| 2021-04-11 05:25:12 +0200 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-04-11 05:26:38 +0200 | Rudd0^ | (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 2021-04-11 05:31:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 05:36:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 05:39:26 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 2021-04-11 05:40:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 05:41:15 +0200 | dycan | (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) (Remote host closed the connection) |
| 2021-04-11 05:43:45 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-11 05:47:17 +0200 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 05:48:18 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 05:51:11 +0200 | Codaraxis_ | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds) |
| 2021-04-11 05:58:31 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 06:03:00 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-11 06:09:15 +0200 | iridesce | (c036de8c@192.54.222.140) |
| 2021-04-11 06:09:20 +0200 | <iridesce> | i once saw this website full of haskell and cat memes, does anyone happen to know what i'm talking about |
| 2021-04-11 06:12:31 +0200 | poscat | (~poscat@123.116.69.89) (Read error: Connection reset by peer) |
| 2021-04-11 06:13:34 +0200 | ski | . o O ( <https://lambdacats.github.io/> ) |
| 2021-04-11 06:15:03 +0200 | poscat | (~poscat@114.245.106.173) |
| 2021-04-11 06:15:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 06:17:15 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-11 06:20:51 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 06:22:09 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 06:23:09 +0200 | iridesce | (c036de8c@192.54.222.140) (Quit: Connection closed) |
| 2021-04-11 06:24:24 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 06:24:27 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-04-11 06:32:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:37:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 06:38:10 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:42:47 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 06:43:46 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:48:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 06:49:20 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-11 06:49:23 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:49:24 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 06:51:05 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.175) |
| 2021-04-11 06:51:08 +0200 | jalumar | (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo) |
| 2021-04-11 06:52:45 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 06:53:59 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 06:54:59 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 06:55:54 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds) |
| 2021-04-11 06:58:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) |
| 2021-04-11 06:59:11 +0200 | MarcelineVQ | (~anja@198.254.208.159) (Ping timeout: 240 seconds) |
| 2021-04-11 06:59:24 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 07:00:35 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 07:01:00 +0200 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-04-11 07:01:00 +0200 | MarcelineVQ | (~anja@198.254.208.159) (Client Quit) |
| 2021-04-11 07:01:35 +0200 | MarcelineVQ | (~anja@198.254.208.159) |
| 2021-04-11 07:02:20 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 07:04:20 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 07:05:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 07:06:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 07:10:04 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-11 07:10:33 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Read error: Connection reset by peer) |
| 2021-04-11 07:10:54 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 07:16:41 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 07:17:46 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 07:24:01 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 07:25:55 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-11 07:29:06 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 07:30:18 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit) |
| 2021-04-11 07:36:52 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 07:40:31 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 07:40:41 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-11 07:40:54 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 268 seconds) |
| 2021-04-11 07:43:01 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 07:48:23 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 07:51:54 +0200 | jathan | (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2021-04-11 07:55:04 +0200 | bitmagie | (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) |
| 2021-04-11 07:59:52 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 08:01:28 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-11 08:11:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 08:15:51 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-11 08:16:49 +0200 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-11 08:17:44 +0200 | mly[m] | nly |
| 2021-04-11 08:19:28 +0200 | nly | mly |
| 2021-04-11 08:22:54 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 08:23:35 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-04-11 08:23:59 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 08:29:12 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 08:31:24 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 08:36:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 08:36:20 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 08:36:31 +0200 | coeus | (~coeus@2003:d0:2726:7600:bb8c:fa91:2d4f:c1ef) (Ping timeout: 250 seconds) |
| 2021-04-11 08:40:05 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 08:41:03 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-11 08:44:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-11 08:49:37 +0200 | coeus | (~coeus@p200300d0273ad90060e5967a49164cd4.dip0.t-ipconnect.de) |
| 2021-04-11 08:50:27 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 08:50:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-11 08:52:11 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 08:52:26 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-04-11 08:53:27 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 08:54:39 +0200 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-11 09:00:52 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 09:01:45 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 09:06:07 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 09:06:10 +0200 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-11 09:08:50 +0200 | codygman____ | (~user@47.186.207.161) |
| 2021-04-11 09:23:05 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 09:26:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 09:31:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 09:31:45 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-11 09:32:25 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-11 09:32:43 +0200 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-04-11 09:36:08 +0200 | william_ | (~william@wsantos.net) |
| 2021-04-11 09:36:11 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.175) (Ping timeout: 240 seconds) |
| 2021-04-11 09:36:13 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-04-11 09:37:15 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-11 09:38:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 09:40:44 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
| 2021-04-11 09:41:54 +0200 | william_ | (~william@wsantos.net) ("Good Bye") |
| 2021-04-11 09:42:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 09:43:33 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-tkvbkhprqmkdlgqp) |
| 2021-04-11 09:52:06 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-11 09:55:53 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 09:56:34 +0200 | codygman____ | (~user@47.186.207.161) (Ping timeout: 268 seconds) |
| 2021-04-11 09:56:57 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 10:01:50 +0200 | pera | (~pera@unaffiliated/pera) |
| 2021-04-11 10:03:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-11 10:03:50 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 10:07:06 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 10:09:33 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-11 10:11:49 +0200 | Adluc | (~Adluc@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in) |
| 2021-04-11 10:12:52 +0200 | Adluc | (~Adluc@83.167.228.130) |
| 2021-04-11 10:12:53 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 265 seconds) |
| 2021-04-11 10:13:29 +0200 | jophish__ | (ca536851@202.83.104.81) |
| 2021-04-11 10:14:32 +0200 | kadobanana | (~mud@unaffiliated/kadoban) (Ping timeout: 260 seconds) |
| 2021-04-11 10:14:44 +0200 | kadobanana | (~mud@unaffiliated/kadoban) |
| 2021-04-11 10:15:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 10:15:53 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-11 10:15:55 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-11 10:18:35 +0200 | gxt_ | (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.1) |
| 2021-04-11 10:19:23 +0200 | kadobanana | (~mud@unaffiliated/kadoban) (Ping timeout: 268 seconds) |
| 2021-04-11 10:19:47 +0200 | kadobanana | (~mud@unaffiliated/kadoban) |
| 2021-04-11 10:21:44 +0200 | cansis | (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) (Quit: Connection closed for inactivity) |
| 2021-04-11 10:22:53 +0200 | OscarZ | (~oscarz@95.175.104.80) (Quit: Leaving) |
| 2021-04-11 10:24:16 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 10:27:59 +0200 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 10:32:46 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-11 10:35:10 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Remote host closed the connection) |
| 2021-04-11 10:38:05 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 246 seconds) |
| 2021-04-11 10:38:27 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 10:39:07 +0200 | drbean_ | (~drbean@TC210-63-209-166.static.apol.com.tw) (Ping timeout: 268 seconds) |
| 2021-04-11 10:40:34 +0200 | fendor | (~fendor@178.165.131.171.wireless.dyn.drei.com) |
| 2021-04-11 10:41:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 10:48:29 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-11 10:48:53 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 10:50:21 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 10:54:40 +0200 | pera | (~pera@unaffiliated/pera) (Ping timeout: 252 seconds) |
| 2021-04-11 10:56:46 +0200 | syntactic_sugar | (~syntactic@192.145.119.27) |
| 2021-04-11 10:57:55 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-11 10:58:39 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 2021-04-11 10:59:00 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 11:00:07 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 11:00:43 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 11:02:05 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-11 11:02:37 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 11:03:19 +0200 | syntactic_sugar | (~syntactic@192.145.119.27) (Quit: Leaving) |
| 2021-04-11 11:04:16 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-11 11:05:50 +0200 | dycan | (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0) |
| 2021-04-11 11:07:26 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-04-11 11:08:00 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 11:09:59 +0200 | raym | (~ray@45.64.220.116) |
| 2021-04-11 11:10:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 11:10:59 +0200 | dycan | (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0) (Remote host closed the connection) |
| 2021-04-11 11:13:19 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:15:53 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) |
| 2021-04-11 11:16:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-11 11:16:19 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 11:18:09 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 11:18:37 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 11:19:38 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:20:44 +0200 | Varis | (~Tadas@unaffiliated/varis) (Quit: Leaving) |
| 2021-04-11 11:21:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-11 11:24:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 11:27:07 +0200 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) |
| 2021-04-11 11:27:50 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-11 11:30:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:33:08 +0200 | <puzzleheaded> | Hi, I was wondering, of the Arduino/Processing procedures setup and loop (or draw for the latter), would it be possible to express both those procedures as a single monad? |
| 2021-04-11 11:34:12 +0200 | <puzzleheaded> | i.e., to express that code in a loop has some simple set up dependency, like setting a GPIO pin to output? |
| 2021-04-11 11:35:01 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 11:35:33 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-11 11:36:09 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:37:38 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-11 11:38:05 +0200 | <puzzleheaded> | I've tried doing that, but I get stuck on implementing (>>=)... |
| 2021-04-11 11:40:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 11:41:45 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 11:43:35 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) |
| 2021-04-11 11:43:53 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 11:46:07 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 11:47:02 +0200 | Guest10879 | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 11:48:36 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-04-11 11:48:42 +0200 | <puzzleheaded> | Or is that an arrow? |
| 2021-04-11 11:48:51 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 252 seconds) |
| 2021-04-11 11:52:09 +0200 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed) |
| 2021-04-11 11:52:40 +0200 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) |
| 2021-04-11 11:57:46 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 12:07:21 +0200 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-11 12:10:21 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 12:14:31 +0200 | puzzleheaded | (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed) |
| 2021-04-11 12:15:06 +0200 | bitmagie | (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-11 12:17:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 12:17:52 +0200 | lgedeon | (~lgedeon@185.169.233.10) (Remote host closed the connection) |
| 2021-04-11 12:21:55 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 12:27:53 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 12:29:39 +0200 | Alleria | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) |
| 2021-04-11 12:30:03 +0200 | Alleria | Guest32831 |
| 2021-04-11 12:33:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 12:33:53 +0200 | Frojoe1 | (~Frojoe@139.28.218.148) |
| 2021-04-11 12:34:03 +0200 | Guest32831 | (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 12:38:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 12:39:43 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-11 12:44:26 +0200 | srk | (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 12:44:49 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-11 12:46:06 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-11 12:51:26 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-11 12:53:35 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.211) |
| 2021-04-11 12:55:13 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-11 12:56:03 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-11 13:01:10 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.211) (Ping timeout: 252 seconds) |
| 2021-04-11 13:02:22 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-11 13:03:31 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 13:08:16 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-11 13:08:20 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-11 13:08:35 +0200 | Alleria__ | (~textual@zrcout.mskcc.org) |
| 2021-04-11 13:09:04 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 13:09:06 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-11 13:10:48 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.212) |
| 2021-04-11 13:12:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 13:18:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 13:21:14 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-11 13:25:59 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 13:29:27 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-11 13:37:57 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-04-11 13:42:38 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 13:43:31 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.212) (Ping timeout: 268 seconds) |
| 2021-04-11 13:46:26 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 13:47:16 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 13:48:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 13:49:13 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) |
| 2021-04-11 13:49:58 +0200 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-11 13:50:50 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 13:52:27 +0200 | Frojoe1 | (~Frojoe@139.28.218.148) (Remote host closed the connection) |
| 2021-04-11 13:52:35 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 13:52:54 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 13:53:14 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) (Quit: Connection closed for inactivity) |
| 2021-04-11 13:53:48 +0200 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-04-11 13:53:51 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 13:56:31 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-11 13:57:01 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-11 13:57:21 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-11 13:58:03 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 13:58:46 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 13:59:40 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.163) |
| 2021-04-11 13:59:45 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:00:14 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-11 14:00:28 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 14:00:30 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 14:02:13 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2021-04-11 14:02:26 +0200 | malumore | (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 14:04:15 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 14:04:21 +0200 | bzere | (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) |
| 2021-04-11 14:05:17 +0200 | bzere | (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-04-11 14:10:44 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:14:57 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 14:16:16 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 14:18:47 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) |
| 2021-04-11 14:18:49 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-11 14:19:21 +0200 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 14:20:22 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.163) (Ping timeout: 252 seconds) |
| 2021-04-11 14:21:03 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 14:22:04 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-11 14:24:01 +0200 | gdude2002 | (~gdude2002@178.239.168.171) |
| 2021-04-11 14:24:49 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 14:26:26 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 14:29:10 +0200 | dariof4 | (~dario@217.171.72.2) |
| 2021-04-11 14:29:27 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 14:29:27 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds) |
| 2021-04-11 14:30:28 +0200 | aveltras | (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) |
| 2021-04-11 14:36:29 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 14:36:50 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-04-11 14:38:35 +0200 | gavin | (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-11 14:41:30 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 14:41:35 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9) |
| 2021-04-11 14:42:43 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 14:45:26 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 14:48:10 +0200 | falsifian | (~falsifian@exoco.falsifian.org) (Quit: leaving) |
| 2021-04-11 14:51:28 +0200 | falsifian | (~falsifian@exoco.falsifian.org) |
| 2021-04-11 14:51:57 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-04-11 14:52:11 +0200 | <hololeap> | d34df00d: about your question from yesterday. i realized that what you're probably looking for is `StateT s (MaybeT m) a`, which would expand to `s -> m (Maybe (a, s))`. this encodes the idea that you have two choices: your value 'a' _and_ a new state have been produced, or nothing at all. |
| 2021-04-11 14:52:51 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-04-11 14:52:59 +0200 | <olligobber> | is there a command (maybe in cabal) to resolve all the imports and make one big haskell file only depending on prelude |
| 2021-04-11 14:53:37 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-11 14:53:42 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 14:53:45 +0200 | <hololeap> | with `MaybeT (StateT s m) a`, you could have this produced without any complaints: m (Nothing, newState) |
| 2021-04-11 14:54:25 +0200 | <Philonous> | olligobber, You mean inline all your dependencies? Not that I know of, and I'm not sure how that would work, considering some packages have sources written in C |
| 2021-04-11 14:54:28 +0200 | <hololeap> | which would still short circuit due to the way MaybeT works, but might not be something you want |
| 2021-04-11 14:54:49 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-11 14:55:25 +0200 | <olligobber> | Philonous, well, maybe just some dependencies? I need to submit a single source file |
| 2021-04-11 14:55:50 +0200 | <olligobber> | but the place it will be compiled doesn't have all the dependencies (one in particular which i wrote) |
| 2021-04-11 14:56:42 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-11 14:57:52 +0200 | <hololeap> | can the source file be a zip or tar.gz ? :p |
| 2021-04-11 14:58:26 +0200 | <Philonous> | olligobber, Template Haskell also means this doesn't work in general. (It's quite possible that someone wrote a "good enough" script for your use case, but I wouldn't have heard of it) |
| 2021-04-11 14:58:42 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) |
| 2021-04-11 14:58:51 +0200 | <olligobber> | nah, has to be a .hs |
| 2021-04-11 14:58:59 +0200 | <olligobber> | and yeah im using template haskell |
| 2021-04-11 14:59:31 +0200 | <hololeap> | is this for a class? |
| 2021-04-11 14:59:35 +0200 | <olligobber> | no, for fun |
| 2021-04-11 14:59:47 +0200 | <olligobber> | I wrote a very inefficient addition program |
| 2021-04-11 14:59:53 +0200 | <hololeap> | then why the arbitrary restrictions? |
| 2021-04-11 15:01:18 +0200 | <Philonous> | olligobber, TH can't use top-level definitions from the same file, only imported, so your idea might fall apart right there |
| 2021-04-11 15:01:51 +0200 | <Philonous> | OTOH the script could just run the TH and splice the output, so all is not lost. |
| 2021-04-11 15:02:07 +0200 | TBM_ | (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net) |
| 2021-04-11 15:02:09 +0200 | <olligobber> | yeah, that's what I want it to do |
| 2021-04-11 15:02:10 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-cppcunbrtpbtpgrh) |
| 2021-04-11 15:03:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 15:06:14 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 15:06:45 +0200 | TBM_ | (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net) (Ping timeout: 268 seconds) |
| 2021-04-11 15:08:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 15:08:33 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 2021-04-11 15:09:10 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-04-11 15:09:41 +0200 | xff0x | (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) (Ping timeout: 258 seconds) |
| 2021-04-11 15:10:33 +0200 | xff0x | (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222) |
| 2021-04-11 15:12:36 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-11 15:13:37 +0200 | <olligobber> | I guess I don't really need to do it |
| 2021-04-11 15:13:50 +0200 | <olligobber> | I know it's just going to get TLE or MLE |
| 2021-04-11 15:13:59 +0200 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2021-04-11 15:14:03 +0200 | <olligobber> | given it's taken 30 minutes to add 77 to 777 |
| 2021-04-11 15:14:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 15:14:47 +0200 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 15:21:27 +0200 | jamm__ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 15:22:22 +0200 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2021-04-11 15:22:32 +0200 | drbean_ | (~drbean@TC210-63-209-56.static.apol.com.tw) |
| 2021-04-11 15:22:50 +0200 | Codaraxis__ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-11 15:22:53 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 15:23:11 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc) |
| 2021-04-11 15:25:01 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 15:30:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 15:32:31 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-04-11 15:33:39 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 15:33:49 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-11 15:34:48 +0200 | Alleria__ | (~textual@zrcout.mskcc.org) (Remote host closed the connection) |
| 2021-04-11 15:36:22 +0200 | alx741 | (~alx741@181.196.69.222) |
| 2021-04-11 15:36:32 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo) |
| 2021-04-11 15:38:20 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-11 15:46:43 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-04-11 15:48:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-11 15:49:32 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424) |
| 2021-04-11 15:49:59 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 15:50:27 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc) (Read error: Connection reset by peer) |
| 2021-04-11 15:51:13 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.72) |
| 2021-04-11 15:51:27 +0200 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-zbqbfvcklnwtphsz) |
| 2021-04-11 15:54:09 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 15:56:38 +0200 | drbean_ | (~drbean@TC210-63-209-56.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-04-11 15:56:51 +0200 | todda7 | (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-11 15:57:33 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 16:00:18 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-11 16:00:26 +0200 | v01d4lph4 | (~v01d4lph4@223.177.186.2) |
| 2021-04-11 16:00:59 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-11 16:00:59 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-11 16:02:09 +0200 | jamm__ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 16:03:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 16:04:45 +0200 | <olligobber> | oh, I killed 77+777 after an hour |
| 2021-04-11 16:04:56 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 16:05:10 +0200 | v01d4lph4 | (~v01d4lph4@223.177.186.2) (Ping timeout: 260 seconds) |
| 2021-04-11 16:05:11 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 16:05:46 +0200 | solvr | (57e3c46d@87.227.196.109) |
| 2021-04-11 16:07:06 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-04-11 16:07:19 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 16:07:37 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-11 16:07:48 +0200 | <maralorn> | I have a library that returns a Prelude.undefined in some cases and I can‘t do anything about it on the short term. Is there something like defaultIfUndefined :: a -> a -> a to recover from that? |
| 2021-04-11 16:09:12 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-11 16:10:20 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-11 16:10:45 +0200 | thblt | (~thblt@unaffiliated/thblt) |
| 2021-04-11 16:12:11 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 16:14:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-11 16:15:23 +0200 | <hpc> | maralorn: the spoon package, maybe? |
| 2021-04-11 16:16:05 +0200 | <hpc> | maralorn: or lub, if you want to handle more than just exception-y bottoms |
| 2021-04-11 16:17:09 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:21:45 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 16:22:46 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:24:50 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 16:25:31 +0200 | slaterr | (~bc8134e3@217.29.117.252) |
| 2021-04-11 16:27:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 16:27:34 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) (Quit: Connection closed for inactivity) |
| 2021-04-11 16:28:24 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:32:52 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 16:33:58 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:38:22 +0200 | plutoniix | (~q@node-ur9.pool-125-24.dynamic.totinternet.net) |
| 2021-04-11 16:38:43 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 16:39:10 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-11 16:39:39 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:41:46 +0200 | JanBessai | (~JanB@85-22-24-170.ip.dokom21.de) |
| 2021-04-11 16:42:01 +0200 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 2021-04-11 16:42:20 +0200 | JanBessai | (~JanB@85-22-24-170.ip.dokom21.de) (Client Quit) |
| 2021-04-11 16:43:53 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-11 16:43:59 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 16:44:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-11 16:45:12 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:48:10 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 16:49:55 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 16:50:23 +0200 | kuribas | (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be) |
| 2021-04-11 16:50:49 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 16:50:58 +0200 | <kuribas> | is there a way to generate javascript? |
| 2021-04-11 16:51:02 +0200 | <kuribas> | I wanted to use Aeson, but that doesn't allow inline javascript... |
| 2021-04-11 16:51:31 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-04-11 16:51:45 +0200 | <kuribas> | Some hack on top of Aeson is also possible. |
| 2021-04-11 16:52:08 +0200 | <kuribas> | Maybe some clever search replace in the JSON... |
| 2021-04-11 16:53:28 +0200 | shalokshalom | (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-11 16:55:06 +0200 | kaction | (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-11 16:55:11 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-04-11 16:55:29 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 16:55:35 +0200 | Alleria | Guest3534 |
| 2021-04-11 16:56:13 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-11 16:57:46 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-04-11 16:57:51 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-11 16:57:55 +0200 | slaterr | (~bc8134e3@217.29.117.252) (Quit: quit) |
| 2021-04-11 17:00:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 17:01:22 +0200 | <__minoru__shirae> | kuribas: what happens to the generated javascript after it is generated? |
| 2021-04-11 17:01:35 +0200 | <kuribas> | __minoru__shirae: rendered on a webpage |
| 2021-04-11 17:01:58 +0200 | <__minoru__shirae> | do you bundle all the javascript into one file, or do you add each script to the page manually |
| 2021-04-11 17:02:26 +0200 | <__minoru__shirae> | because you can simply create a script and add it to the page manually |
| 2021-04-11 17:02:34 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 260 seconds) |
| 2021-04-11 17:03:29 +0200 | <kuribas> | __minoru__shirae: sadly it has to be in the json |
| 2021-04-11 17:03:42 +0200 | <kuribas> | __minoru__shirae: http://www.alpacajs.org/docs/api/events.html |
| 2021-04-11 17:04:03 +0200 | <kuribas> | shatters my idea of a nice declarative UI :-( |
| 2021-04-11 17:05:22 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 252 seconds) |
| 2021-04-11 17:05:50 +0200 | dexterlb | (~dexterlb@2a01:9e40:2:2::2) |
| 2021-04-11 17:09:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 17:10:36 +0200 | <__minoru__shirae> | kuribas: why generate javascript? |
| 2021-04-11 17:10:57 +0200 | <kuribas> | __minoru__shirae: did you click the link? |
| 2021-04-11 17:11:02 +0200 | <__minoru__shirae> | yes |
| 2021-04-11 17:11:10 +0200 | <kuribas> | there you see the javascript? |
| 2021-04-11 17:11:31 +0200 | <__minoru__shirae> | I mean, you want something like macros for js? |
| 2021-04-11 17:11:49 +0200 | <__minoru__shirae> | yes, I see the js there |
| 2021-04-11 17:12:22 +0200 | <kuribas> | no, I want to generate the javascript |
| 2021-04-11 17:12:54 +0200 | <kuribas> | I am making combinators for generating these config. |
| 2021-04-11 17:13:10 +0200 | <kuribas> | Which was nice using Aeson, but the Javascript is problematic. |
| 2021-04-11 17:13:11 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-11 17:14:29 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) |
| 2021-04-11 17:15:14 +0200 | <__minoru__shirae> | you can parameterize some js function with something that changes and then call that function with different parameters |
| 2021-04-11 17:15:23 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-11 17:15:24 +0200 | average | (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz) |
| 2021-04-11 17:15:53 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 17:16:17 +0200 | <__minoru__shirae> | I mean, instead of generating "x + y", you can create function plus(x, y) and then call it |
| 2021-04-11 17:16:37 +0200 | <__minoru__shirae> | that's why I'm asking: why generate js? |
| 2021-04-11 17:17:09 +0200 | <kuribas> | I don't how that solves anything... |
| 2021-04-11 17:19:59 +0200 | <kuribas> | maybe I'll generate some pattern, like "$postRenderFunction$", then replace it in the generated ByteString |
| 2021-04-11 17:22:41 +0200 | <kuribas> | I could use language-ecmascript-0.19.1.0, but that's not very convenient. |
| 2021-04-11 17:27:16 +0200 | <kuribas> | oh wait, I can separate the javascript and JSON... |
| 2021-04-11 17:27:52 +0200 | <kuribas> | then I generate the separately, and just use string concatination... |
| 2021-04-11 17:29:52 +0200 | raym | (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-11 17:31:12 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 17:32:02 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-11 17:32:08 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-11 17:36:15 +0200 | <__minoru__shirae> | so you want to generate "json with functions" using something on top of json converter library |
| 2021-04-11 17:36:40 +0200 | <kuribas> | yeah |
| 2021-04-11 17:38:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 17:39:00 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-04-11 17:39:35 +0200 | <__minoru__shirae> | I doubt that those libraries provide an API for inlining functions into json |
| 2021-04-11 17:39:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 17:40:11 +0200 | aveltras | (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) (Quit: Connection closed for inactivity) |
| 2021-04-11 17:41:05 +0200 | <__minoru__shirae> | what if you approach the problem from the other end? |
| 2021-04-11 17:43:02 +0200 | <__minoru__shirae> | you can create some translation layer to js, so that you send proper json and then translate it to whatever alpaca wants |
| 2021-04-11 17:43:05 +0200 | <kuribas> | __minoru__shirae: I'll use ByteString.++ :-) |
| 2021-04-11 17:43:14 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo) (Quit: Connection closed for inactivity) |
| 2021-04-11 17:43:54 +0200 | Guest35219 | (~zmv@unaffiliated/zmv) |
| 2021-04-11 17:43:57 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 17:44:01 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 17:44:03 +0200 | jophish__ | (ca536851@202.83.104.81) (Ping timeout: 240 seconds) |
| 2021-04-11 17:44:08 +0200 | Guest35219 | (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-04-11 17:44:28 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-11 17:44:51 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-11 17:45:13 +0200 | notzmv- | (~zmv@unaffiliated/zmv) |
| 2021-04-11 17:45:30 +0200 | notzmv- | notzmv |
| 2021-04-11 17:45:49 +0200 | <__minoru__shirae> | I mean, instead of calling "$("#field1").alpaca({"some json with functions": ""})" |
| 2021-04-11 17:46:11 +0200 | <__minoru__shirae> | you call $("#field1").alpaca(translate({"some proper json":""})) |
| 2021-04-11 17:46:51 +0200 | xff0x | (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222) (Ping timeout: 260 seconds) |
| 2021-04-11 17:46:52 +0200 | <__minoru__shirae> | the difference is calling "translate" function |
| 2021-04-11 17:47:11 +0200 | gdude2002 | (~gdude2002@178.239.168.171) (Ping timeout: 240 seconds) |
| 2021-04-11 17:47:46 +0200 | xff0x | (~xff0x@port-92-193-213-105.dynamic.as20676.net) |
| 2021-04-11 17:48:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-11 17:48:54 +0200 | <kuribas> | ah I see what you mean. |
| 2021-04-11 17:49:05 +0200 | <kuribas> | yeah, that could work |
| 2021-04-11 17:49:40 +0200 | <kuribas> | I could separate the JSON as much as possible with some custom javascript. |
| 2021-04-11 17:50:07 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-04-11 17:50:19 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 17:51:59 +0200 | <kuribas> | Then I never need to generate javascript, I just make a single javascript function, which I put into a haskell string. |
| 2021-04-11 17:54:00 +0200 | <kuribas> | That soulds like the best plan. |
| 2021-04-11 17:56:40 +0200 | renzhi | (~renzhi@2607:fa49:653f:a800::4223) |
| 2021-04-11 18:00:03 +0200 | jerin | (jerinmatri@gateway/shell/matrix.org/x-zeozwveuydonwzcq) (Quit: Idle for 30+ days) |
| 2021-04-11 18:00:29 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-04-11 18:04:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-11 18:05:38 +0200 | lemmih_ | (~lemmih@58.182.184.138) |
| 2021-04-11 18:06:16 +0200 | average | (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz) () |
| 2021-04-11 18:06:46 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 18:07:10 +0200 | lemmih | (~lemmih@2406:3003:2072:44:194c:74d8:3073:4082) (Ping timeout: 258 seconds) |
| 2021-04-11 18:09:10 +0200 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 2021-04-11 18:09:13 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 18:11:07 +0200 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-04-11 18:14:45 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-11 18:16:57 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.72) (Ping timeout: 260 seconds) |
| 2021-04-11 18:17:11 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 265 seconds) |
| 2021-04-11 18:19:24 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-11 18:21:12 +0200 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-04-11 18:22:22 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 18:24:30 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-04-11 18:27:09 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-04-11 18:33:33 +0200 | wroathe | (~wroathe@68.54.25.135) |
| 2021-04-11 18:34:40 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 18:34:46 +0200 | Guest3534 | (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-11 18:37:00 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-11 18:38:17 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 18:38:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-11 18:40:40 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e) |
| 2021-04-11 18:41:09 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-11 18:42:00 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 2021-04-11 18:49:26 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 2021-04-11 18:49:40 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-11 18:50:22 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-11 18:50:32 +0200 | tanuki | (~quassel@173.168.178.1) (Ping timeout: 265 seconds) |
| 2021-04-11 18:51:30 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-11 18:51:45 +0200 | fendor_ | (~fendor@91.141.0.248.wireless.dyn.drei.com) |
| 2021-04-11 18:54:15 +0200 | fendor | (~fendor@178.165.131.171.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-04-11 18:56:35 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-11 18:56:47 +0200 | locrian9 | (~mike@cpe-104-173-20-162.socal.res.rr.com) |
| 2021-04-11 18:57:16 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 18:57:48 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-11 18:58:29 +0200 | raichoo | (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) |
| 2021-04-11 19:00:06 +0200 | Alleria | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) |
| 2021-04-11 19:00:31 +0200 | Alleria | Guest17509 |
| 2021-04-11 19:01:59 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 19:02:55 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:04:40 +0200 | Guest17509 | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-11 19:07:27 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 19:08:31 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:08:34 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-11 19:12:09 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 19:13:11 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 19:17:47 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 19:19:21 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 19:19:39 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-04-11 19:19:47 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:24:21 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-11 19:25:21 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 19:26:47 +0200 | quaestor | (~quaestor@griffith.christophrauch.de) (Ping timeout: 265 seconds) |
| 2021-04-11 19:29:18 +0200 | dcbdan | (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-11 19:29:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-11 19:29:59 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 19:30:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-11 19:32:19 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 19:33:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-11 19:35:28 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 19:35:38 +0200 | malumore | (~malumore@151.62.120.195) (Ping timeout: 268 seconds) |
| 2021-04-11 19:37:10 +0200 | locrian9 | (~mike@cpe-104-173-20-162.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-04-11 19:38:13 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-04-11 19:38:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 19:40:36 +0200 | Alleria | (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) |
| 2021-04-11 19:41:00 +0200 | Alleria | Guest61238 |
| 2021-04-11 19:41:35 +0200 | kuribas | (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-11 19:43:51 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-11 19:43:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 19:45:32 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 19:47:13 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-11 19:47:21 +0200 | malumore | (~malumore@151.62.120.195) |
| 2021-04-11 19:48:39 +0200 | puke | (~vroom@217.138.252.196) (Read error: Connection reset by peer) |
| 2021-04-11 19:48:54 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 19:51:41 +0200 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) |
| 2021-04-11 19:52:58 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-11 19:54:41 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 19:54:53 +0200 | puke | (~vroom@217.138.252.196) (Remote host closed the connection) |
| 2021-04-11 19:55:30 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 19:55:56 +0200 | puke | (~vroom@217.138.252.196) |
| 2021-04-11 19:55:59 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-11 19:56:38 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 2021-04-11 19:59:13 +0200 | syntactic_sugar | (~syntactic@192.145.119.105) |
| 2021-04-11 19:59:53 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:00:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 20:01:08 +0200 | Sornaensis | (~Sornaensi@102.129.202.233) |
| 2021-04-11 20:01:18 +0200 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
| 2021-04-11 20:02:45 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.250) |
| 2021-04-11 20:03:58 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:04:36 +0200 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-11 20:04:48 +0200 | syntactic_sugar | (~syntactic@192.145.119.105) (Quit: Leaving) |
| 2021-04-11 20:05:52 +0200 | <hololeap> | is there a compatibility layer between (MonadBase IO)/(MonadBaseControl IO) and (MonadIO/MonadUnliftIO)? i ask because i'm writing a library using the former, but i don't want to alienate users who use the latter |
| 2021-04-11 20:07:03 +0200 | <hololeap> | i also don't want to alienate users who use The Ladder |
| 2021-04-11 20:08:29 +0200 | helo_ | (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55) |
| 2021-04-11 20:09:25 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-04-11 20:10:30 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 20:10:50 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-11 20:13:26 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-11 20:14:08 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 20:14:58 +0200 | wroathe | (~wroathe@68.54.25.135) (Quit: Lost terminal) |
| 2021-04-11 20:15:19 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 20:15:38 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:16:48 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 20:17:38 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 20:18:20 +0200 | raichoo | (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-11 20:19:45 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.250) (Read error: Connection timed out) |
| 2021-04-11 20:20:10 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.250) |
| 2021-04-11 20:20:53 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 20:20:56 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Remote host closed the connection) |
| 2021-04-11 20:22:07 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-11 20:22:14 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-11 20:23:17 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-11 20:23:46 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:24:07 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 20:24:11 +0200 | xff0x | (~xff0x@port-92-193-213-105.dynamic.as20676.net) (Ping timeout: 240 seconds) |
| 2021-04-11 20:24:36 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:24:55 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 20:25:21 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:25:43 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 20:25:45 +0200 | xff0x | (~xff0x@2001:1a81:5278:bf00:33a0:2c0f:72ed:caee) |
| 2021-04-11 20:26:12 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:26:31 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 20:27:02 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-11 20:27:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-11 20:27:20 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-11 20:28:24 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Remote host closed the connection) |
| 2021-04-11 20:28:32 +0200 | <solvr> | What if Haskell made a few small concessions so the general audience could like it more. |
| 2021-04-11 20:28:49 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 20:28:55 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 2021-04-11 20:29:08 +0200 | <maerwald> | solvr: like? |
| 2021-04-11 20:30:08 +0200 | <thblt> | I vote GOTO |
| 2021-04-11 20:30:14 +0200 | <MarcelineVQ> | concede that python is the superior language |
| 2021-04-11 20:30:37 +0200 | <solvr> | Something like Erlang's process dictionary. And something like Erlang's processes |
| 2021-04-11 20:30:43 +0200 | <solvr> | so it looks more OOP |
| 2021-04-11 20:31:15 +0200 | <MarcelineVQ> | processes are cool, cloud-haskell has a bit of that iirc |
| 2021-04-11 20:31:15 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 20:31:32 +0200 | <MarcelineVQ> | *Cloud Haskell (distributed-process) |
| 2021-04-11 20:32:53 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-11 20:32:54 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 20:34:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-11 20:36:42 +0200 | <maerwald> | isn't that dead? |
| 2021-04-11 20:37:04 +0200 | <geekosaur> | effectively |
| 2021-04-11 20:38:56 +0200 | <MarcelineVQ> | yet with untold aeons even death may die |
| 2021-04-11 20:39:06 +0200 | <MarcelineVQ> | e.g. there's also the option to compile _to_ erlang |
| 2021-04-11 20:39:31 +0200 | <solvr> | What about compiling to JS |
| 2021-04-11 20:40:24 +0200 | jalumar | (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo) (Quit: Connection closed for inactivity) |
| 2021-04-11 20:40:47 +0200 | <MarcelineVQ> | ghcjs is the most successful effort for doing that in haskell |
| 2021-04-11 20:41:23 +0200 | <solvr> | I guess Haskell will never be very popular then |
| 2021-04-11 20:41:58 +0200 | <juri_> | I hope people will eventually get tired of writing bad imperitive code. |
| 2021-04-11 20:42:04 +0200 | <maerwald> | very popular means you're flooded with mediocre library maintainers, as can be seen on npm |
| 2021-04-11 20:42:39 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 20:42:56 +0200 | <solvr> | juri_, some imperative code is most suitable between boundaries |
| 2021-04-11 20:43:21 +0200 | <maerwald> | what's wrong with imperative code |
| 2021-04-11 20:43:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-11 20:43:43 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-11 20:43:43 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 20:44:21 +0200 | <juri_> | it can be useful, but it can also be completely horrible. i like writing pure code, with a small kernel of imperitive code. |
| 2021-04-11 20:44:23 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 20:44:37 +0200 | <maerwald> | that sounds like taste, not an actual engineering concern |
| 2021-04-11 20:44:59 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-04-11 20:46:24 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-04-11 20:46:59 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 20:47:15 +0200 | <juri_> | the ability to reason about code is an engineering concern. pure code is easier to reason about, which tends to lead to better, more maintainable code. |
| 2021-04-11 20:48:14 +0200 | <maerwald> | Don't think that's true. The problem is shared mutable state. You can tackle that in imperative languages too, see rust. |
| 2021-04-11 20:48:40 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-11 20:53:08 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 20:55:17 +0200 | <Lycurgus> | what is "pure code"? |
| 2021-04-11 20:55:43 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-11 20:56:04 +0200 | <Lycurgus> | the instructions only in a code stream? |
| 2021-04-11 20:56:43 +0200 | <dcbdan> | me thinks: code that has no side effects. As in, can be expressed like a mathematical function |
| 2021-04-11 20:56:57 +0200 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-04-11 20:56:57 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-11 20:57:01 +0200 | <maerwald> | simplified: pure code is code where the evaluation strategy doesn't affect semantics |
| 2021-04-11 20:57:08 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-11 20:58:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 20:58:15 +0200 | <Lycurgus> | so it's referential transparency |
| 2021-04-11 20:58:31 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 20:58:44 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-11 20:59:00 +0200 | <maerwald> | the point is that it's not defined for execution |
| 2021-04-11 20:59:03 +0200 | <Lycurgus> | which sounds like a thing where as "pure oode" sounds like bs |
| 2021-04-11 20:59:33 +0200 | <maerwald> | so the fact that haskell is pure doesn't actually give you much, because you can pass around IORefs like a madman, can you not? |
| 2021-04-11 20:59:35 +0200 | <Lycurgus> | asif pure code lacked smells |
| 2021-04-11 21:00:04 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:58c8:ec73:6b59:f408) |
| 2021-04-11 21:00:18 +0200 | <Lycurgus> | asif the pure were the clean |
| 2021-04-11 21:00:45 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 21:03:26 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-11 21:04:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 21:07:45 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.11) |
| 2021-04-11 21:08:11 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-11 21:08:28 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.250) (Ping timeout: 252 seconds) |
| 2021-04-11 21:10:19 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 21:10:25 +0200 | helo_ | (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55) (Quit: Leaving) |
| 2021-04-11 21:10:35 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-11 21:12:22 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 21:13:11 +0200 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-11 21:13:40 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 268 seconds) |
| 2021-04-11 21:15:17 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-04-11 21:17:59 +0200 | solvr | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-11 21:18:45 +0200 | jpe90 | (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-11 21:18:50 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 21:19:47 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) |
| 2021-04-11 21:24:33 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 21:26:05 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 21:26:09 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 21:30:20 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-11 21:35:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 21:39:40 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 21:41:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 21:43:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-11 21:46:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 21:47:32 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 21:50:00 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 21:50:01 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-11 21:50:27 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 21:50:57 +0200 | zeenk | (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-11 21:52:37 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-11 21:53:11 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-11 21:53:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-11 21:55:39 +0200 | gitgoood | (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
| 2021-04-11 22:00:26 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds) |
| 2021-04-11 22:01:22 +0200 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 22:01:45 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-11 22:02:14 +0200 | gitgood | (~gitgood@host-78-145-142-133.as13285.net) |
| 2021-04-11 22:02:16 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-11 22:03:30 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-11 22:03:35 +0200 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-04-11 22:04:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 22:05:51 +0200 | Guest78317 | (~laudiacay@67.176.215.84) |
| 2021-04-11 22:09:46 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-11 22:10:09 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-11 22:11:22 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-11 22:11:41 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:13:38 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-11 22:13:40 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 22:16:39 +0200 | RandomArcher | (~RandomArc@90.153.229.57) |
| 2021-04-11 22:19:57 +0200 | ystael | (~ystael@209.6.50.55) |
| 2021-04-11 22:20:18 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 22:20:31 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-11 22:20:59 +0200 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-11 22:21:52 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer) |
| 2021-04-11 22:22:14 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.11) (Ping timeout: 260 seconds) |
| 2021-04-11 22:25:12 +0200 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-04-11 22:27:24 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 22:28:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-11 22:30:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 22:31:43 +0200 | geekosaur | (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 2021-04-11 22:32:55 +0200 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 260 seconds) |
| 2021-04-11 22:33:14 +0200 | worc3131 | (~quassel@90.221.179.224) |
| 2021-04-11 22:33:51 +0200 | alx741 | (~alx741@181.196.69.222) (Ping timeout: 268 seconds) |
| 2021-04-11 22:37:34 +0200 | worc3131 | (~quassel@90.221.179.224) (Ping timeout: 252 seconds) |
| 2021-04-11 22:39:20 +0200 | <monochrom> | I'm done with letting solvr waste our time every few days with their "haskell should be more mutable" drivel. |
| 2021-04-11 22:39:47 +0200 | <monochrom> | Next time it will be a ban. |
| 2021-04-11 22:40:48 +0200 | <maerwald> | oh, was it supposed to be a troll attempt? |
| 2021-04-11 22:41:23 +0200 | <monochrom> | I can't tell the difference between trolling and lunacy. |
| 2021-04-11 22:41:42 +0200 | <monochrom> | But it's drivel either way. |
| 2021-04-11 22:42:05 +0200 | <monochrom> | And it's repeating offence. |
| 2021-04-11 22:42:13 +0200 | <monochrom> | s/repeating/repeated/ |
| 2021-04-11 22:42:43 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-11 22:43:06 +0200 | myShoggoth | (~myShoggot@75.164.73.93) |
| 2021-04-11 22:43:11 +0200 | <maerwald> | Popularity is a double edged sword anyway... too much and you have too many mediocre maintainers, too little and you have no ecosystem. |
| 2021-04-11 22:43:35 +0200 | <monochrom> | Repeated offenders and lenient liberals alike complain about my bans because they don't have state to remember that I don't ban until I see repeaated offense. |
| 2021-04-11 22:43:46 +0200 | RandomArcher | (~RandomArc@90.153.229.57) (Ping timeout: 240 seconds) |
| 2021-04-11 22:44:08 +0200 | <monochrom> | Oh popularity is just their newest excuse. |
| 2021-04-11 22:44:45 +0200 | <monochrom> | Previously they cited other excuses to demand mutability such as "interface boundary" and "data structure efficiency". |
| 2021-04-11 22:45:46 +0200 | <monochrom> | and ""Functional programming is to turn on the light, you need to rebuild your house" |
| 2021-04-11 22:46:27 +0200 | <monochrom> | and http://tunes.org/~nef/logs/haskell/21.04.06 search for <solvr> |
| 2021-04-11 22:46:54 +0200 | <maerwald> | haha |
| 2021-04-11 22:47:01 +0200 | <maerwald> | that's a good one |
| 2021-04-11 22:48:18 +0200 | alx741 | (~alx741@181.196.68.37) |
| 2021-04-11 22:48:42 +0200 | <maerwald> | maybe it's sophisticated critique about the lack of modular and composable effects systems |
| 2021-04-11 22:49:13 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-11 22:49:22 +0200 | <maerwald> | well, or not... |
| 2021-04-11 22:50:53 +0200 | malumore | (~malumore@151.62.120.195) (Ping timeout: 240 seconds) |
| 2021-04-11 22:51:18 +0200 | astroanax | (~astroanax@cosmic.voyage) (Ping timeout: 240 seconds) |
| 2021-04-11 22:51:49 +0200 | nckx | jorts |
| 2021-04-11 22:51:51 +0200 | <monochrom> | I once saw a genuinely sophisticated critique. It was from one of the Oz people IIRC. I say that it is genuinely sophisticated because it included a convincing, concrete example. |
| 2021-04-11 22:52:26 +0200 | zyeri | (zyeri@tilde.team/users/zyeri) (Ping timeout: 276 seconds) |
| 2021-04-11 22:53:14 +0200 | <monochrom> | The difference between genuine sophisticated critique and lunacy is that the lunatic one just keeps talking and keeps talking bigger and bigger. |
| 2021-04-11 22:53:14 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-11 22:53:39 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-11 22:53:43 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-04-11 22:53:43 +0200 | <monochrom> | Equivalently if it's indistinguishable from a Markov-Mealy machine then it's lunacy. |
| 2021-04-11 22:53:44 +0200 | m_miro | (4c4829bb@76.72.41.187) |
| 2021-04-11 22:53:53 +0200 | <monochrom> | i.e., armchair philosopher |
| 2021-04-11 22:53:58 +0200 | <maerwald> | I didn't find it disruptive until now, but I only noticed them today |
| 2021-04-11 22:56:33 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-11 22:56:58 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-11 22:57:44 +0200 | <d34df00d> | hololeap: oh, right. |
| 2021-04-11 22:57:55 +0200 | <d34df00d> | Commuting monads is hard! Let me try to internalize that. |
| 2021-04-11 22:58:40 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-11 22:59:40 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-11 23:01:06 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 240 seconds) |
| 2021-04-11 23:05:15 +0200 | <m_miro> | Excuse me, is it possible to have a data type that contains a definition like: |
| 2021-04-11 23:05:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-11 23:05:18 +0200 | <m_miro> | data Custom = Custom Custom | Something |
| 2021-04-11 23:05:40 +0200 | <m_miro> | and then have a variable like: |
| 2021-04-11 23:05:57 +0200 | <m_miro> | myVariable = Something Something? |
| 2021-04-11 23:06:21 +0200 | <dcbdan> | Do you mean myVariable = Custom Something ? |
| 2021-04-11 23:06:49 +0200 | <dcbdan> | Something Something does not work, because the Something constructor is just of type Custom |
| 2021-04-11 23:06:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 23:07:10 +0200 | <m_miro> | Oh I see |
| 2021-04-11 23:07:24 +0200 | <monochrom> | Perhaps please don't use the same "Custom" name for two unrelated things. |
| 2021-04-11 23:07:58 +0200 | <maerwald> | data Custom = MkCustom Custom | MkSomething |
| 2021-04-11 23:08:10 +0200 | <dcbdan> | ^one 'Custom' is a constructor, the other is a type |
| 2021-04-11 23:08:16 +0200 | <m_miro> | So if I wanted Something Something I'd have to define Something as Custom? |
| 2021-04-11 23:08:23 +0200 | <maerwald> | oh dear |
| 2021-04-11 23:08:29 +0200 | <maerwald> | I'm confused now too :D |
| 2021-04-11 23:08:40 +0200 | <monochrom> | What is "Something Something" supposed to mean? |
| 2021-04-11 23:08:51 +0200 | <monochrom> | And why is it so necessary? |
| 2021-04-11 23:08:58 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 23:09:00 +0200 | <maerwald> | it sounds like an assignment |
| 2021-04-11 23:09:17 +0200 | <maerwald> | define Something Something |
| 2021-04-11 23:09:49 +0200 | <m_miro> | "Something Something" is supposed to be to "commands" in sequence |
| 2021-04-11 23:09:52 +0200 | <maerwald> | Maybe better start with Motivation? |
| 2021-04-11 23:09:55 +0200 | <m_miro> | it is an assignment |
| 2021-04-11 23:10:19 +0200 | <monochrom> | OK I want to see the assignment handout verbatim uncut unabridged uninterpreted. |
| 2021-04-11 23:10:47 +0200 | <maerwald> | just because you want to reuse it :p |
| 2021-04-11 23:11:00 +0200 | <monochrom> | Nah. |
| 2021-04-11 23:11:27 +0200 | <monochrom> | It is because every student misinterprets the assignment handout. |
| 2021-04-11 23:11:47 +0200 | <monochrom> | And/or create a creative chain of XY problems out of it. |
| 2021-04-11 23:11:57 +0200 | <monochrom> | here "creative" is derogative. |
| 2021-04-11 23:12:06 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-11 23:14:11 +0200 | <m_miro> | here's the assignment |
| 2021-04-11 23:14:12 +0200 | <m_miro> | https://imgur.com/a/aflD108 |
| 2021-04-11 23:14:23 +0200 | <m_miro> | oh wait it cut it |
| 2021-04-11 23:14:56 +0200 | <m_miro> | https://imgur.com/a/FZpqSPt |
| 2021-04-11 23:16:15 +0200 | <monochrom> | I trust that you already understand that you use one data constructor to stand for, for example, "moveto". |
| 2021-04-11 23:16:23 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 23:16:36 +0200 | <monochrom> | In the case of "cmd; cmd", you use one data constructor to represent the ";". |
| 2021-04-11 23:18:15 +0200 | <monochrom> | I trust that you have seen examples where you use "data E = I Integer | Add E E" because it represents "expr ::= integer | expr + expr", "Add" stands for the "+" there. |
| 2021-04-11 23:18:23 +0200 | <monochrom> | So it's similar for ";". |
| 2021-04-11 23:18:53 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 23:18:56 +0200 | <m_miro> | Yes I used one data constructor to stand for "moveto" |
| 2021-04-11 23:19:44 +0200 | <m_miro> | I didn't think of representing the ";" as a data constructor |
| 2021-04-11 23:20:59 +0200 | srk | (~sorki@unaffiliated/srk) (Ping timeout: 260 seconds) |
| 2021-04-11 23:21:17 +0200 | <m_miro> | I've seen example like the one you posted it just didn't think to use it for ";" |
| 2021-04-11 23:21:54 +0200 | <monochrom> | It's alright, C and Python brainwashed you to not realize it. |
| 2021-04-11 23:22:11 +0200 | <m_miro> | What do you mean? |
| 2021-04-11 23:22:29 +0200 | <monochrom> | Pascal did it right. Pascal's semicolon is between two commands. |
| 2021-04-11 23:22:56 +0200 | <monochrom> | You write like "x:=1 ; y:=2 ; z:=x+y", not "x:=1 ; y:=2 ; z:=x+y;" |
| 2021-04-11 23:23:52 +0200 | <monochrom> | The semantic difference is huge. Pascal reminds you that there is a binary operator for sequential composition, it is a binary operator. |
| 2021-04-11 23:25:38 +0200 | <sm2n> | confusingly, C has a binary operator for sequential composition (,) |
| 2021-04-11 23:25:44 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-04-11 23:25:51 +0200 | <sm2n> | statement-oriented languages are just weird |
| 2021-04-11 23:26:09 +0200 | <monochrom> | Sapir-Worf would be proud. |
| 2021-04-11 23:26:21 +0200 | Guest_11 | (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-11 23:26:49 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 23:29:29 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-11 23:29:53 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-11 23:29:55 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-11 23:31:45 +0200 | <m_miro> | im not seeing the difference |
| 2021-04-11 23:31:56 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-11 23:32:04 +0200 | <m_miro> | is it the "x+y" and the "x+y;" |
| 2021-04-11 23:32:43 +0200 | <monochrom> | OK, "cmd1 ; cmd2" vs "cmd1 ; cmd2 ;" |
| 2021-04-11 23:33:07 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-11 23:33:20 +0200 | <monochrom> | If I expressed adding two numbers as "1 + 2 +" people would say I'm crazy. |
| 2021-04-11 23:33:42 +0200 | <thblt> | Rust has something like that. `cmd1 ; cmd2 ;` evals to (), but `cmd1 ; cmd2` eval to the result of cmd2 |
| 2021-04-11 23:33:43 +0200 | <monochrom> | And that's what people decided to do with sequential-composing two jobs. |
| 2021-04-11 23:34:32 +0200 | ulfryk | (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 23:35:14 +0200 | Guest_11 | (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-11 23:35:40 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-11 23:35:51 +0200 | <d34df00d> | Is there any channel specifically dedicated to numeric haskell in general or repa in particular? |
| 2021-04-11 23:35:55 +0200 | <d34df00d> | Or best to shoot questions here? |
| 2021-04-11 23:36:03 +0200 | <m_miro> | so I see the difference, but I don't see its importance |
| 2021-04-11 23:37:10 +0200 | <monochrom> | The importance is between "I think I'll represent it as Seq Cmd Cmd" and "I think I'll represent it as Cmd Cmd". |
| 2021-04-11 23:38:15 +0200 | ystael | (~ystael@209.6.50.55) |
| 2021-04-11 23:40:34 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-11 23:43:14 +0200 | entel | (uid256215@botters/entel) |
| 2021-04-11 23:43:32 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-11 23:44:41 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-11 23:45:09 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-04-11 23:45:22 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-11 23:45:27 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-11 23:45:31 +0200 | ajc_ | (~ajc@69.231.232.79) |
| 2021-04-11 23:45:58 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-11 23:46:35 +0200 | <m_miro> | oh i think i get it now |
| 2021-04-11 23:47:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 23:47:34 +0200 | <m_miro> | the ";" isnt being used as way to end a "command" but to signal that another "command" is going to be used afterwards |
| 2021-04-11 23:47:35 +0200 | ajc | (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 2021-04-11 23:47:40 +0200 | <m_miro> | am i understanding correctly? |
| 2021-04-11 23:48:00 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b950365222184c91f1222.dip0.t-ipconnect.de) |
| 2021-04-11 23:48:34 +0200 | Sornaensis | (~Sornaensi@102.129.202.233) (Ping timeout: 260 seconds) |
| 2021-04-11 23:49:41 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-11 23:52:28 +0200 | fendor_ | (~fendor@91.141.0.248.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-11 23:55:52 +0200 | myShoggoth | (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds) |
| 2021-04-11 23:56:49 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |