2021/12/04

2021-12-04 00:00:23 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:5084:9b62:332c:deab) (Quit: gone to sleep. ZZZzzz…)
2021-12-04 00:00:35 +0100	OscarZ	(~oscarz@95.175.104.170)
2021-12-04 00:01:17 +0100	<dmj`>	Anyone have an example of a defunctionalization pass on lamda calculus
2021-12-04 00:01:20 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 00:03:13 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 00:03:32 +0100	aliosablack	(~chomwitt@2a02:587:dc0d:6d00:12c3:7bff:fe6d:d374) (Ping timeout: 252 seconds)
2021-12-04 00:05:32 +0100	<yin>	> read "0xfff" :: Int
2021-12-04 00:05:34 +0100	<lambdabot>	4095
2021-12-04 00:05:37 +0100	<yin>	> read "0bfff" :: Int
2021-12-04 00:05:39 +0100	<lambdabot>	*Exception: Prelude.read: no parse
2021-12-04 00:05:44 +0100	<yin>	:(
2021-12-04 00:06:03 +0100	<monochrom>	Uh what is 0bfff supposed to mean?
2021-12-04 00:06:35 +0100	<yin>	{-# LANGUAGE BinaryLiterals #-}
2021-12-04 00:06:46 +0100	<yin>	oops
2021-12-04 00:06:49 +0100	<monochrom>	What is fff doing there in base 2?
2021-12-04 00:06:49 +0100	<yin>	my mistake
2021-12-04 00:06:56 +0100	<yin>	> read "0b11010" :: Int
2021-12-04 00:06:58 +0100	<lambdabot>	*Exception: Prelude.read: no parse
2021-12-04 00:07:19 +0100	<monochrom>	That one is a fair complaint, yes.
2021-12-04 00:07:39 +0100	<yin>	what's the common solution, it there is one?
2021-12-04 00:07:49 +0100	<yin>	*if
2021-12-04 00:07:51 +0100	<dsal>	Need a more flexible read. f kind of looks like a 1, so it should be treated as such. 6 is zeroish.
2021-12-04 00:07:53 +0100	<monochrom>	But the Read Int instance was written decades ago and hasn't been updated to account for BinaryLiterals.
2021-12-04 00:08:03 +0100	<yin>	dsal: lol
2021-12-04 00:08:05 +0100	dignissimus	(~dignissim@88-104-68-62.dynamic.dsl.as9105.com)
2021-12-04 00:08:22 +0100	<dsal>	How did you end up with "0b11010" ?
2021-12-04 00:08:46 +0100	<dsal>	There are parsers that take base into account. You could use one of them. But I'm not as sure about the 0b part.
2021-12-04 00:08:50 +0100	<monochrom>	Look into Numeric for readInt and tell it to do base 2.
2021-12-04 00:09:03 +0100	<dignissimus>	Wondering if there's a better way to write `map (\x -> (fst x) * (snd x))`? [(2,3), (4, 5)] to [6, 20] for example
2021-12-04 00:10:10 +0100	<monochrom>	(\x -> fst x * snd x) = uncurry (*)
2021-12-04 00:10:31 +0100	alzgh	(alzgh@user/alzgh) (Remote host closed the connection)
2021-12-04 00:11:18 +0100	<dignissimus>	monochrom: Thanks!
2021-12-04 00:11:49 +0100	<dignissimus>	Need to get the hang of priority too, I use too many brackets
2021-12-04 00:12:07 +0100	<yin>	@pl \x -> fst x * snd x
2021-12-04 00:12:07 +0100	<lambdabot>	uncurry (*)
2021-12-04 00:12:12 +0100	<yin>	nice!
2021-12-04 00:12:14 +0100	<xsperry>	I'd prefer uncurry as well, but without it, this would be an improvement over your original code:
2021-12-04 00:12:18 +0100	<xsperry>	> map (\(x, y) -> x * y) [(2,3), (4, 5)]
2021-12-04 00:12:20 +0100	<lambdabot>	[6,20]
2021-12-04 00:12:36 +0100	<dignissimus>	Oh course, pattern matching
2021-12-04 00:12:38 +0100	<dignissimus>	Thank you!
2021-12-04 00:12:53 +0100	<dignissimus>	What's the pl command?
2021-12-04 00:13:13 +0100	<yin>	"pointless" or pointfree
2021-12-04 00:13:45 +0100	<yin>	@pl f x = succ x
2021-12-04 00:13:45 +0100	<lambdabot>	f = succ
2021-12-04 00:14:05 +0100	<dignissimus>	@version
2021-12-04 00:14:06 +0100	<lambdabot>	lambdabot 5.3.0.1
2021-12-04 00:14:06 +0100	<lambdabot>	git clone https://github.com/lambdabot/lambdabot
2021-12-04 00:15:28 +0100	<boxscape>	"There are parsers that take base into account" can always use the ghc package as a parser :P
2021-12-04 00:15:40 +0100	<boxscape>	wait
2021-12-04 00:15:49 +0100	<boxscape>	I thought that was about the base pacakge
2021-12-04 00:15:55 +0100	<boxscape>	still works though I suppose
2021-12-04 00:19:07 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 00:23:38 +0100	<yin>	λ import Numeric ( readBin )
2021-12-04 00:23:38 +0100	<yin>	<interactive>:1:18: error:
2021-12-04 00:23:38 +0100	<yin>	Module ‘Numeric’ does not export ‘readBin’
2021-12-04 00:23:51 +0100	<yin>	^ it doesn't?
2021-12-04 00:24:29 +0100	<geekosaur>	readInjt, wasn't it?
2021-12-04 00:24:33 +0100	<geekosaur>	readInt
2021-12-04 00:24:38 +0100	<geekosaur>	it takes a base parameter
2021-12-04 00:24:41 +0100	<geekosaur>	:t readInt
2021-12-04 00:24:42 +0100	<lambdabot>	Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a
2021-12-04 00:25:14 +0100	__monty__	(~toonn@user/toonn) (Quit: leaving)
2021-12-04 00:25:21 +0100	<int-e>	> readInt (-2) (`elem` "01") digitToInt "11"
2021-12-04 00:25:22 +0100	<lambdabot>	[(-1,"")]
2021-12-04 00:30:12 +0100	<boxscape>	yin: readBin is new
2021-12-04 00:30:46 +0100	<yin>	boxscape: how new?
2021-12-04 00:30:50 +0100	max22-	(~maxime@2a01cb0883359800e7fc8fc683bf0760.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-04 00:31:33 +0100	<yin>	will cabal update get me readBin?
2021-12-04 00:31:39 +0100	<geekosaur>	huh, soo it is. where's the _since_?
2021-12-04 00:31:56 +0100	<boxscape>	yin: ghc 9.2.1 I think
2021-12-04 00:31:58 +0100	<geekosaur>	no, since it's part of base and base can only be updated with ghc
2021-12-04 00:32:06 +0100	<yin>	:(
2021-12-04 00:33:18 +0100	<yin>	oh well...
2021-12-04 00:33:33 +0100	<yin>	is there a way to tell haskell "only use pure functions"
2021-12-04 00:34:00 +0100	<geekosaur>	use signatues that don't involve IO?
2021-12-04 00:34:13 +0100	<geekosaur>	or ST or STM
2021-12-04 00:34:20 +0100	<yin>	oh sorry, not pure
2021-12-04 00:34:26 +0100	<yin>	i mean total
2021-12-04 00:34:31 +0100	cosimone	(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 268 seconds)
2021-12-04 00:34:56 +0100	xff0x	(~xff0x@2001:1a81:5394:4100:724:71c4:c7ef:b5ba) (Ping timeout: 245 seconds)
2021-12-04 00:35:55 +0100	xff0x	(~xff0x@2001:1a81:5394:4100:8386:5ae4:51fd:795)
2021-12-04 00:36:15 +0100	<geekosaur>	no, because type signatures don't include totality
2021-12-04 00:37:12 +0100	<boxscape>	Best you can do for functions you don't write yourself I think is using an alternative prelude that doesn't export the partial functions from base
2021-12-04 00:37:13 +0100	<yin>	and haskell doesn't have a totality checker, des it?
2021-12-04 00:37:21 +0100	<geekosaur>	nor are there other ways to annotate a function as partial
2021-12-04 00:37:46 +0100	<geekosaur>	doesn't and probably can't. (Haven't you asked this before?)
2021-12-04 00:37:52 +0100	<iqubic>	Haskell can certainly warn you when you have an incomplete pattern match.
2021-12-04 00:38:05 +0100	<geekosaur>	the answers haven't changed
2021-12-04 00:38:05 +0100	<dsal>	But that's only one way to have a partial function.
2021-12-04 00:38:10 +0100	<yin>	have i?
2021-12-04 00:39:03 +0100	<dsal>	You can divide by zero, or take the head of an empty list, or just throw an `error` or something in somewhere. But most of these things aren't that hard to avoid.
2021-12-04 00:39:16 +0100	<boxscape_>	I think liquid haskell has a totality checker? Haven't used it though
2021-12-04 00:39:20 +0100	<yin>	geekosaur: sorry if i did
2021-12-04 00:39:23 +0100	<geekosaur>	apparently oit was someone else
2021-12-04 00:39:31 +0100	geekosaur	just checked local logs
2021-12-04 00:39:42 +0100	<EvanR>	> 0b11011
2021-12-04 00:39:43 +0100	<lambdabot>	error: Variable not in scope: b11011
2021-12-04 00:39:52 +0100	abrantesasf	(~abrantesa@187.36.170.211) (Remote host closed the connection)
2021-12-04 00:39:59 +0100	<geekosaur>	% 0b11011
2021-12-04 00:39:59 +0100	<yahb>	geekosaur: ; <interactive>:173:2: error: Variable not in scope: b11011
2021-12-04 00:40:08 +0100	<geekosaur>	guess it's in 9.2
2021-12-04 00:40:08 +0100	<int-e>	% :set -XBinaryLiterals
2021-12-04 00:40:09 +0100	<yahb>	int-e:
2021-12-04 00:40:10 +0100	<dsal>	That error is confusing.
2021-12-04 00:40:15 +0100	vysn	(~vysn@user/vysn) (Read error: Connection reset by peer)
2021-12-04 00:40:15 +0100	<int-e>	% 0b11011
2021-12-04 00:40:15 +0100	<yahb>	int-e: 27
2021-12-04 00:40:21 +0100	<int-e>	it's an extension
2021-12-04 00:40:25 +0100	boxscape_	is wondering if a segfault counts as bottom
2021-12-04 00:40:29 +0100	abrantesasf	(~abrantesa@187.36.170.211)
2021-12-04 00:40:31 +0100	<geekosaur>	yes
2021-12-04 00:40:33 +0100	<boxscape_>	ok
2021-12-04 00:40:37 +0100	<yin>	why wouldnt it :D
2021-12-04 00:40:47 +0100	<boxscape_>	because it's not supposed to happen to begin with
2021-12-04 00:40:54 +0100	<boxscape_>	so it might not have a semantics assigned to it
2021-12-04 00:41:05 +0100	<EvanR>	my syntax highlighter is colored "number" when I type 0b110111. I want my money back xD
2021-12-04 00:41:15 +0100	<yin>	non-termination counts as bottm, desn't it?
2021-12-04 00:41:22 +0100	<geekosaur>	there are certainly ways to make ghc-generated code segfault
2021-12-04 00:41:30 +0100	<dsal>	I had an eiffel library that had a special case for a segfault because it was actually expected due to a library bug.
2021-12-04 00:41:37 +0100	<geekosaur>	unsafeCoerce can easily do it
2021-12-04 00:41:51 +0100	<boxscape_>	yes, but not in the theoretical world of type-safe haskell
2021-12-04 00:42:10 +0100	<yin>	> let a = a in a
2021-12-04 00:42:12 +0100	<lambdabot>	*Exception: <<loop>>
2021-12-04 00:42:31 +0100	<boxscape_>	oh
2021-12-04 00:42:36 +0100	<boxscape_>	lambdabot can do that in interpreted code?
2021-12-04 00:42:38 +0100	<geekosaur>	and there's a way to send signals in the unix library that could be used to send sigSEGV
2021-12-04 00:42:40 +0100	<boxscape_>	% let a = a in a
2021-12-04 00:42:45 +0100	<yahb>	boxscape_: [Timed out]
2021-12-04 00:43:21 +0100	DNH	(~DNH@2a02:8108:1100:16d8:bd44:40bf:fb3b:742a) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-04 00:44:20 +0100	<EvanR>	combination of haskell semantics and IO semantics (or lack thereof)
2021-12-04 00:44:33 +0100	<EvanR>	re segfaults due to signals or ffi
2021-12-04 00:44:52 +0100	<EvanR>	hmm... or unsafeCoerce
2021-12-04 00:45:02 +0100	<EvanR>	which can't even blame IO
2021-12-04 00:45:18 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 00:46:10 +0100	<EvanR>	also unsafe use of unsafe vector ops
2021-12-04 00:46:14 +0100	<int-e>	EvanR: well, you say "Haskell semantics"... but what are they?
2021-12-04 00:46:49 +0100	<EvanR>	stuff like [[f x]] = [[f]] [[x]]
2021-12-04 00:46:51 +0100	<EvanR>	xD
2021-12-04 00:48:14 +0100	abrantesasf	(~abrantesa@187.36.170.211) (Remote host closed the connection)
2021-12-04 00:48:35 +0100	<int-e>	(The Haskell report doesn't have any. GHC translates everything to Core, System F with extensions, and I don't think I've seen any version of this with unsafeCoerce.)
2021-12-04 00:49:11 +0100	jstolarek	(~jstolarek@137.220.120.162) (Ping timeout: 252 seconds)
2021-12-04 00:50:32 +0100	<EvanR>	I can't imagine any sane semantics for unsafeCoerce
2021-12-04 00:51:18 +0100	<EvanR>	it's the magic eraser of type safety
2021-12-04 00:53:21 +0100	<int-e>	well you can track actual types and have reduction rules ala unsafeCoerce . unsafeCoerce = unsafeCoerce and unsafeCoerce :: (a -> a) = id
2021-12-04 00:53:45 +0100	<boxscape_>	int-e if you turn on -ddump-simpl in ghci, every expression you enter will be translated into something containing Unsafe.Coerce.unsafeEqualityProof, which is more or less unsafeCoerce
2021-12-04 00:53:59 +0100	<int-e>	which ends up being partial, which is a good match for how you use it sanely.
2021-12-04 00:55:01 +0100	<int-e>	boxscape_: sure but you won't find formal semantics for that
2021-12-04 00:55:19 +0100	<int-e>	(I think)
2021-12-04 00:55:25 +0100	<boxscape_>	yeah I imagine you're right
2021-12-04 00:55:27 +0100	<EvanR>	semantics for when you use it sanely, that's good
2021-12-04 00:56:47 +0100	dignissimus	(~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: Bye!)
2021-12-04 00:58:21 +0100	zebrag	(~chris@user/zebrag) (Ping timeout: 252 seconds)
2021-12-04 01:01:01 +0100	zebrag	(~chris@user/zebrag)
2021-12-04 01:02:20 +0100	zebrag	(~chris@user/zebrag) (Client Quit)
2021-12-04 01:07:20 +0100	xff0x	(~xff0x@2001:1a81:5394:4100:8386:5ae4:51fd:795) (Ping timeout: 252 seconds)
2021-12-04 01:07:20 +0100	tito	(tito@tilde.team) (Ping timeout: 252 seconds)
2021-12-04 01:07:33 +0100	seanparsons	(~seanparso@cpc158525-gill21-2-0-cust151.20-1.cable.virginm.net) (Quit: WeeChat 3.1)
2021-12-04 01:07:50 +0100	zebrag	(~chris@user/zebrag)
2021-12-04 01:08:51 +0100	tito	(tito@tilde.team)
2021-12-04 01:12:21 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 01:12:50 +0100	doyougnu	(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds)
2021-12-04 01:14:47 +0100	wootehfoot	(~wootehfoo@user/wootehfoot)
2021-12-04 01:16:55 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-12-04 01:18:41 +0100	OscarZ	(~oscarz@95.175.104.170) (Quit: Leaving)
2021-12-04 01:19:45 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 01:20:16 +0100	xff0x	(~xff0x@2001:1a81:53c9:fe00:390a:f606:2045:4876)
2021-12-04 01:22:46 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:5084:9b62:332c:deab)
2021-12-04 01:25:29 +0100	tito	(tito@tilde.team) (Ping timeout: 252 seconds)
2021-12-04 01:26:10 +0100	tito	(tito@tilde.team)
2021-12-04 01:28:28 +0100	<yin>	what is this error: https://paste.jrvieira.com/1638577678818 ?
2021-12-04 01:29:32 +0100	<mrianbloom>	Random question: does anyone know how to create a top level FFI declaration using ghc-source-gen, I just spent an hour looking through the docs and I can't figure it out.
2021-12-04 01:30:30 +0100	<boxscape_>	yin you've enabled OverloadedLists and it doesn't know what kind of list it's supposed to be using
2021-12-04 01:30:38 +0100	<boxscape_>	one solution is to add a type signature
2021-12-04 01:30:50 +0100	<dsal>	Oh, OverloadedLists occasionally makes something better.
2021-12-04 01:30:58 +0100	<dsal>	It often makes things worse.
2021-12-04 01:31:19 +0100	<yin>	add a type signature to what?
2021-12-04 01:31:23 +0100	<yin>	:t '0'
2021-12-04 01:31:24 +0100	<lambdabot>	Char
2021-12-04 01:31:38 +0100	<dsal>	What's the [] part?
2021-12-04 01:31:46 +0100	<dsal>	That's what it's complaining about.
2021-12-04 01:31:57 +0100	<boxscape_>	to the list, so (∈ (['0','1'] :: [Char])) or similar
2021-12-04 01:32:02 +0100	<yin>	ah! i forgot i was using OverloadedLists
2021-12-04 01:32:08 +0100	yin	facepalms
2021-12-04 01:32:24 +0100	<dsal>	% :t ['x']
2021-12-04 01:32:25 +0100	<yahb>	dsal: (IsList l, Item l ~ Char) => l
2021-12-04 01:32:25 +0100	<boxscape_>	yin if you're using a plain old list you can also write "01" instead of ['0', '1']
2021-12-04 01:33:46 +0100	<dsal>	% [1, 2, 2, 3, 4, 5, 6,7,7] :: S.Set
2021-12-04 01:33:47 +0100	<yahb>	dsal: ; <interactive>:6:30: error:; * Expecting one more argument to `S.Set'; Expected a type, but `S.Set' has kind `* -> '; In an expression type signature: S.Set; In the expression: [1, 2, 2, 3, ....] :: S.Set; In an equation for `it': it = [1, 2, 2, ....] :: S.Set
2021-12-04 01:33:51 +0100	<dsal>	% [1, 2, 2, 3, 4, 5, 6,7,7] :: S.Set Int
2021-12-04 01:33:51 +0100	<yahb>	dsal: fromList [1,2,3,4,5,6,7]
2021-12-04 01:34:04 +0100	<dsal>	Rarely worth it for me.
2021-12-04 01:35:11 +0100	<boxscape_>	I imagine it's especially annoying that you can't do something like `traverse_ print [1,2,3]` anymore
2021-12-04 01:38:28 +0100	<yin>	boxscape_: i'm als using OverloadedStrings :D
2021-12-04 01:38:46 +0100	<boxscape_>	yin that on the other hand is quite useful imo
2021-12-04 01:38:54 +0100	<yin>	yes
2021-12-04 01:39:03 +0100	<geekosaur>	but OverloadedStrings won't cause a problem there I think
2021-12-04 01:39:13 +0100	<geekosaur>	because only one type will make sense
2021-12-04 01:39:27 +0100	<boxscape_>	hmm i'm not sure
2021-12-04 01:39:35 +0100	<dsal>	If you didn't have overloaded strings, the "01" thing would be unambiguous.
2021-12-04 01:40:00 +0100	<boxscape_>	geekosaur I think it just knows that it must be a Foldable Stringy type
2021-12-04 01:40:34 +0100	<boxscape_>	there could be more than one type fulfilling that
2021-12-04 01:41:18 +0100	<geekosaur>	mm, but won't Foldable default to [], thus forcing String?
2021-12-04 01:41:25 +0100	<geekosaur>	hm, only in ghci I guess
2021-12-04 01:41:28 +0100	<boxscape_>	yeah
2021-12-04 01:41:45 +0100	<boxscape_>	and the instance is defined as `a ~ Char => IsString [a]`, so it can't infer from Char either
2021-12-04 01:42:25 +0100	Gurkenglas	(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-12-04 01:47:16 +0100	chenqisu1	(~chenqisu1@183.217.200.156)
2021-12-04 01:47:48 +0100	bbear72	(~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) (Quit: Client closed)
2021-12-04 01:51:33 +0100	Tuplanolla	(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-12-04 01:51:54 +0100	<yin>	sorry i had to get away for a bit. i actually previously had "01" and it was ambiguous, it told me something alnog the lines of "there are 3 possible candidates: String and two other types that are out of scope"
2021-12-04 01:52:35 +0100	<yin>	i know Text but what's the other?
2021-12-04 01:53:32 +0100	<geekosaur>	there's still a bad ByteString instance iirc
2021-12-04 01:54:11 +0100	mvk	(~mvk@2607:fea8:5cdd:f000::9788)
2021-12-04 01:54:18 +0100	<yin>	a bad ByteString?
2021-12-04 01:54:19 +0100	<geekosaur>	(bad because it only works for a tiny subset of Chars, it loses data otherwise)
2021-12-04 01:54:43 +0100	<yin>	ah
2021-12-04 01:55:00 +0100	<yin>	i'm guessing "01"
2021-12-04 01:55:03 +0100	wootehfoot	(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2021-12-04 01:55:08 +0100	<geekosaur>	that one would be fine
2021-12-04 01:55:30 +0100	<geekosaur>	any Char > \255 it would truncate
2021-12-04 01:55:53 +0100	<yin>	h right, ByteStrings are 8bit
2021-12-04 01:55:55 +0100	tito	(tito@tilde.team) (Ping timeout: 268 seconds)
2021-12-04 01:56:25 +0100	tito	(tito@tilde.team)
2021-12-04 01:56:55 +0100	<yin>	i feel it shouldn't be this much of a pain to work with binary in haskell
2021-12-04 01:57:42 +0100	nvmd	(~nvmd@user/nvmd) (Quit: Later, nerds.)
2021-12-04 01:57:49 +0100	<yin>	where's BitString?
2021-12-04 01:58:13 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 01:58:19 +0100	johnw	(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in)
2021-12-04 01:58:35 +0100	<hpc>	it should really be Word8String
2021-12-04 01:58:37 +0100	pfurla_	(~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da)
2021-12-04 01:59:12 +0100	<hpc>	(also yeah, is that Char truncate behavior ever useful?)
2021-12-04 01:59:34 +0100	<geekosaur>	there's some BitVector types out there
2021-12-04 01:59:51 +0100	<geekosaur>	I continue to be surprised vector doesn't provide a packed Bool Vector type
2021-12-04 02:00:21 +0100	<yin>	why packed, say I?
2021-12-04 02:00:27 +0100	<yin>	>:)
2021-12-04 02:00:33 +0100	<geekosaur>	becuase that'd beyour bitstring
2021-12-04 02:00:54 +0100	<geekosaur>	recall that an unpacked Bool is 64 bits
2021-12-04 02:01:09 +0100	<geekosaur>	of which 1 is used
2021-12-04 02:01:14 +0100	<yin>	well yeah, in _practice_
2021-12-04 02:01:24 +0100	<yin>	noone cares about practice
2021-12-04 02:02:03 +0100	<geekosaur>	and I think even in 9.2's new sized stuff it's still 8 bits
2021-12-04 02:02:20 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:5084:9b62:332c:deab) (Ping timeout: 252 seconds)
2021-12-04 02:02:47 +0100	<yin>	what changed in 9.2?
2021-12-04 02:02:49 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-04 02:02:52 +0100	<yin>	i'm out of the loop
2021-12-04 02:04:30 +0100	<kennyd>	@pl (\x -> printf "%2d. %s\n" x (fizzbuzz x))
2021-12-04 02:04:30 +0100	<lambdabot>	ap (printf "%2d. %s\n") fizzbuzz
2021-12-04 02:04:33 +0100	<kennyd>	how does that shit work?
2021-12-04 02:04:52 +0100	<geekosaur>	instead of always using a machine word (64 bits) it now uses an appropriate size for the type
2021-12-04 02:05:28 +0100	<yin>	oh nice! finally
2021-12-04 02:05:36 +0100	<geekosaur>	so Char uses 32 bits since it's a Unicode codepoint, Bool uses 8 bits as the smallest memory value available, Int32 is actually 32 bits, etc.
2021-12-04 02:05:41 +0100	<yin>	i still want 1bit bits :p
2021-12-04 02:06:22 +0100	<geekosaur>	someone bring back KL10s :þ
2021-12-04 02:06:58 +0100	<geekosaur>	although that still wouldn't work because I think the smallest it got was 3 bits
2021-12-04 02:07:38 +0100	<yin>	kennyd:
2021-12-04 02:07:41 +0100	<yin>	:t ap
2021-12-04 02:07:42 +0100	<lambdabot>	Monad m => m (a -> b) -> m a -> m b
2021-12-04 02:07:45 +0100	<geekosaur>	and that onlyt for registers; memory was 36 bits
2021-12-04 02:08:33 +0100	geekosaur	wonders if that translation would actualy work given that printf is rather "special"
2021-12-04 02:08:54 +0100	<geekosaur>	and @pl has no clue about PrintfType
2021-12-04 02:09:46 +0100	<geekosaur>	also @pl is out of date
2021-12-04 02:09:52 +0100	lbseale	(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-12-04 02:09:52 +0100	<geekosaur>	:t (<*>)
2021-12-04 02:09:53 +0100	<lambdabot>	Applicative f => f (a -> b) -> f a -> f b
2021-12-04 02:10:56 +0100	albet70	(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-04 02:17:03 +0100	albet70	(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-04 02:17:24 +0100	res0nat0r8	(~Fletch@dia.whatbox.ca)
2021-12-04 02:18:18 +0100	<monochrom>	Yeah, @pl was written way before Applicative existed.
2021-12-04 02:18:51 +0100	<monochrom>	Plus other minor issues such as it doesn't check types.
2021-12-04 02:19:08 +0100	<monochrom>	@pl \x -> x x
2021-12-04 02:19:09 +0100	<lambdabot>	join id
2021-12-04 02:19:11 +0100	<monochrom>	:)
2021-12-04 02:20:09 +0100	<monochrom>	"wont fix" :)
2021-12-04 02:20:11 +0100	<boxscape_>	:t join id
2021-12-04 02:20:12 +0100	<lambdabot>	error:
2021-12-04 02:20:12 +0100	<lambdabot>	• Occurs check: cannot construct the infinite type: m ~ (->) (m a)
2021-12-04 02:20:12 +0100	<lambdabot>	Expected type: m (m a)
2021-12-04 02:20:57 +0100	<int-e>	@pl (\x -> x x) (\x -> x x)
2021-12-04 02:21:00 +0100	<lambdabot>	ap id id (ap id id)
2021-12-04 02:21:00 +0100	<lambdabot>	optimization suspended, use @pl-resume to continue.
2021-12-04 02:25:00 +0100	burnside_	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 02:25:00 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-12-04 02:26:31 +0100	<yin>	@pl-resume
2021-12-04 02:26:33 +0100	<yin>	;D
2021-12-04 02:26:38 +0100	<lambdabot>	ap id id (ap id id)
2021-12-04 02:26:38 +0100	<lambdabot>	optimization suspended, use @pl-resume to continue.
2021-12-04 02:27:19 +0100	<monochrom>	It is true to the nature of (\x -> x x) (\x -> x x).
2021-12-04 02:33:50 +0100	namkeleser	(~namkelese@101.175.102.188) (Quit: Client closed)
2021-12-04 02:36:36 +0100	notzmv	(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2021-12-04 02:37:14 +0100	acidjnk_new	(~acidjnk@p200300d0c7271e92d1e9828b51aa3006.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-12-04 02:49:51 +0100	d34df00d	(~d34df00d@2600:1700:8c60:3a10::48)
2021-12-04 02:50:05 +0100	<d34df00d>	Hi folks!
2021-12-04 02:50:39 +0100	<d34df00d>	I've read a post recently with a mention of a (de)serialization library that's more efficient than both cereal and binary, but I can't remember its name. Does anything come to your (hive)mind?
2021-12-04 02:51:01 +0100	<d34df00d>	Here, "its name" is "the library name", not "the post name".
2021-12-04 02:58:06 +0100	<d34df00d>	Ah, right, that's fpco's store.
2021-12-04 02:58:06 +0100	<d34df00d>	Thanks!
2021-12-04 03:01:16 +0100	burnside_	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-04 03:02:49 +0100	notzmv	(~zmv@user/notzmv)
2021-12-04 03:09:13 +0100	pfurla_	(~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) (Quit: gone to sleep. ZZZzzz…)
2021-12-04 03:09:53 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da)
2021-12-04 03:13:08 +0100	johnw	(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0)
2021-12-04 03:15:52 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 03:17:41 +0100	mmhat	(~mmh@55d45bca.access.ecotel.net) (Ping timeout: 256 seconds)
2021-12-04 03:19:10 +0100	Tuplanolla	(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-04 03:26:29 +0100	neurocyte0132889	(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-12-04 03:29:47 +0100	mmhat	(~mmh@55d45ca5.access.ecotel.net)
2021-12-04 03:32:07 +0100	xff0x	(~xff0x@2001:1a81:53c9:fe00:390a:f606:2045:4876) (Ping timeout: 268 seconds)
2021-12-04 03:33:28 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:b7b4:37a0:2750:d862)
2021-12-04 03:33:29 +0100	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-12-04 03:37:42 +0100	chenqisu1	(~chenqisu1@183.217.200.156) (Remote host closed the connection)
2021-12-04 03:41:25 +0100	machinedgod	(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2021-12-04 03:41:59 +0100	machinedgod	(~machinedg@24.105.81.50)
2021-12-04 03:42:51 +0100	<iqubic>	I'm looking to do some ascii art animations for some of my Haskell AoC solutions. What libraries should I look into to do that?
2021-12-04 03:44:58 +0100	justsomeguy	(~justsomeg@user/justsomeguy)
2021-12-04 03:46:22 +0100	<jackdk>	emit \e[2J a lot?
2021-12-04 03:47:45 +0100	mvk	(~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds)
2021-12-04 03:49:55 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 03:54:37 +0100	CiaoSen	(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-04 03:56:39 +0100	hololeap	(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-12-04 03:57:03 +0100	hololeap	(~hololeap@user/hololeap)
2021-12-04 03:59:37 +0100	ec_	(~ec@gateway/tor-sasl/ec)
2021-12-04 03:59:45 +0100	<dsal>	That's basically what I did.
2021-12-04 03:59:53 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 04:00:00 +0100	machinedgod	(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-12-04 04:00:15 +0100	machinedgod	(~machinedg@24.105.81.50)
2021-12-04 04:01:03 +0100	<dsal>	It looks like I've used this before: https://hackage.haskell.org/package/ansi-terminal
2021-12-04 04:04:26 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 04:10:57 +0100	stevenxl	(~stevenlei@174.128.182.51)
2021-12-04 04:12:02 +0100	mmhat	(~mmh@55d45ca5.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-04 04:14:33 +0100	<yin>	iqubic: JuicyPixels is pretty good for the most basic stuff
2021-12-04 04:14:43 +0100	<iqubic>	That's also good.
2021-12-04 04:15:27 +0100	<yin>	curses at least
2021-12-04 04:15:48 +0100	<yin>	there's a decent vector animation library but i cant remember its name
2021-12-04 04:16:23 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 04:16:23 +0100	<yin>	why is GeneralizedNewtypeDeriving not allowed in Safe Haskell?
2021-12-04 04:16:47 +0100	<boxscape>	jle`: we talked the other day about having a function that can convert any data instance to a String - I have this now, and it works pretty well https://paste.tomsmeding.com/wO8wDWza
2021-12-04 04:17:10 +0100	<boxscape>	of course you'd have to special case other primitive types if they're used
2021-12-04 04:17:28 +0100	<boxscape>	s/data/Data
2021-12-04 04:19:19 +0100	chenqisu1	(~chenqisu1@183.217.200.156)
2021-12-04 04:21:05 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 04:22:12 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 04:22:12 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 04:22:12 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 04:22:13 +0100	machinedgod	(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-12-04 04:26:59 +0100	CiaoSen	(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-04 04:36:57 +0100	td_	(~td@94.134.91.231) (Ping timeout: 256 seconds)
2021-12-04 04:38:29 +0100	td_	(~td@muedsl-82-207-238-245.citykom.de)
2021-12-04 04:40:00 +0100	chenqisu1	(~chenqisu1@183.217.200.156) (Quit: Leaving)
2021-12-04 04:40:01 +0100	justsomeguy	(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-04 04:43:29 +0100	waleee	(~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2021-12-04 04:45:22 +0100	<hololeap>	is there a way to hook up pretty-show to Debug.Trace
2021-12-04 04:45:34 +0100	<hololeap>	with color support
2021-12-04 04:45:40 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-04 04:46:03 +0100	<dmj`>	hololeap: now that's a good idae
2021-12-04 04:46:05 +0100	<dmj`>	idea
2021-12-04 04:46:39 +0100	<dmj`>	traceSolarized
2021-12-04 04:48:52 +0100	harveypwca	(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2021-12-04 04:49:34 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 04:49:38 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 04:51:03 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-12-04 04:51:58 +0100	waleee	(~waleee@h-82-196-111-63.NA.cust.bahnhof.se)
2021-12-04 04:52:37 +0100	<dmj`>	hololeap: if you copy Debug.Trace into its own lib, and sprinkle in System.Console.Rainbow I bet it would work
2021-12-04 04:53:20 +0100	finn_elija	(~finn_elij@user/finn-elija/x-0085643)
2021-12-04 04:53:20 +0100	FinnElija	(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-04 04:53:20 +0100	finn_elija	FinnElija
2021-12-04 04:53:36 +0100	dyeplexer	(~dyeplexer@user/dyeplexer)
2021-12-04 04:53:57 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 04:53:57 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-04 04:54:52 +0100	<hololeap>	oh it actually works already!
2021-12-04 04:55:02 +0100	<hololeap>	trace (T.unpack $ pShow r) r
2021-12-04 04:55:08 +0100	<hololeap>	I actually meant pretty-simple
2021-12-04 04:55:32 +0100	<hololeap>	and if anyone wants to try that be aware it's Data.Text.Lazy
2021-12-04 04:56:23 +0100	<sm>	hololeap: the utilities in https://hackage.haskell.org/package/hledger-lib-1.24/docs/Hledger-Utils-Debug.html do that
2021-12-04 04:57:25 +0100	<hololeap>	the devs might be willing to add it to pretty-simple
2021-12-04 04:58:00 +0100	<sm>	I don't think debugging helpers really belong in pretty-simple, also I'm not married to that lib (it has a few issues)
2021-12-04 04:58:37 +0100	<sm>	I think they'd be great added to Debug.Trace! but not sure how hard that would be
2021-12-04 05:00:49 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 05:05:07 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 05:11:22 +0100	<jle`>	boxscape: ah nice :O i think you can do it for anything that resolves down to an ADT, and special casing on string works well too
2021-12-04 05:11:34 +0100	<boxscape_>	yeah, that makes sense
2021-12-04 05:14:45 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 05:19:31 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-12-04 05:31:42 +0100	sprout	(~quassel@2a02:a467:ccd6:1:ed9e:6da6:fee6:2db6)
2021-12-04 05:31:53 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 05:34:05 +0100	sprout_	(~quassel@2a02:a467:ccd6:1:654a:7e1b:4ab5:b4bb) (Ping timeout: 252 seconds)
2021-12-04 05:39:24 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 05:41:14 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 05:45:58 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 05:46:29 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 05:51:11 +0100	boxscape_	(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-12-04 05:55:36 +0100	chenqisu1	(~chenqisu1@183.217.200.156)
2021-12-04 06:01:13 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds)
2021-12-04 06:02:13 +0100	yauhsien	(~yauhsien@101.12.103.143)
2021-12-04 06:05:22 +0100	waleee	(~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: WeeChat 3.3)
2021-12-04 06:10:14 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 06:14:59 +0100	yauhsien	(~yauhsien@101.12.103.143) (Ping timeout: 256 seconds)
2021-12-04 06:20:39 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-04 06:23:29 +0100	chenqisu1	(~chenqisu1@183.217.200.156) (Ping timeout: 256 seconds)
2021-12-04 06:33:24 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:b7b4:37a0:2750:d862) (Remote host closed the connection)
2021-12-04 06:33:41 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:ed50:8b1e:4614:201b)
2021-12-04 06:33:51 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-04 06:33:58 +0100	slowButPresent	(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-04 06:37:16 +0100	mbuf	(~Shakthi@171.61.205.226)
2021-12-04 06:47:03 +0100	stevenxl	(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-12-04 06:50:05 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 06:50:05 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 06:50:05 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 06:55:13 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-04 06:57:32 +0100	zebrag	(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-04 06:59:03 +0100	[_]	(~itchyjunk@user/itchyjunk/x-7353470)
2021-12-04 07:00:53 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 07:00:57 +0100	[itchyjunk]	(~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
2021-12-04 07:01:36 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 07:06:03 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-04 07:06:35 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 07:07:39 +0100	sheltheconquerer	(~ret@109-110-184-193-dynamic.shabdiznet.com)
2021-12-04 07:07:42 +0100	justsomeguy	(~justsomeg@user/justsomeguy)
2021-12-04 07:24:42 +0100	kennyd	(~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2021-12-04 07:25:33 +0100	notzmv	(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-12-04 07:27:03 +0100	jonathanx	(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-12-04 07:30:50 +0100	jonathanx	(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-12-04 07:30:55 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-12-04 07:34:08 +0100	evan	(~evan@2600:1700:ba69:10:81bb:b5c:744b:f329)
2021-12-04 07:34:14 +0100	evan	Guest4250
2021-12-04 07:35:39 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 07:36:40 +0100	notzmv	(~zmv@user/notzmv)
2021-12-04 07:38:51 +0100	shapr	(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-12-04 07:39:06 +0100	takuan	(~takuan@178-116-218-225.access.telenet.be)
2021-12-04 07:40:13 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 07:42:27 +0100	<sheltheconquerer>	:q
2021-12-04 07:42:29 +0100	<sheltheconquerer>	clear
2021-12-04 07:42:31 +0100	<sheltheconquerer>	quit
2021-12-04 07:42:32 +0100	sheltheconquerer	(~ret@109-110-184-193-dynamic.shabdiznet.com) (Quit: WeeChat 3.3)
2021-12-04 07:44:01 +0100	[_]	(~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-04 07:49:58 +0100	jonathanx	(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-12-04 07:53:03 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:dcf1:6c47:4df:1ed1) (Remote host closed the connection)
2021-12-04 07:55:39 +0100	max22-	(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr)
2021-12-04 08:09:55 +0100	stevenxl	(~stevenlei@174.128.182.51)
2021-12-04 08:13:22 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 08:14:19 +0100	stevenxl	(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-12-04 08:15:12 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Read error: Connection reset by peer)
2021-12-04 08:15:35 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 08:17:13 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 08:18:01 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-04 08:18:08 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 08:18:16 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) (Quit: gone to sleep. ZZZzzz…)
2021-12-04 08:22:33 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 08:24:35 +0100	Guest4250	(~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) (Ping timeout: 252 seconds)
2021-12-04 08:25:42 +0100	img	(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-04 08:27:09 +0100	img	(~img@user/img)
2021-12-04 08:30:59 +0100	cyphase	(~cyphase@user/cyphase)
2021-12-04 08:33:15 +0100	dyeplexer	(~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds)
2021-12-04 08:36:56 +0100	chenqisu1	(~chenqisu1@183.217.200.156)
2021-12-04 08:40:36 +0100	rekahsoft	(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-12-04 08:46:55 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 08:50:59 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 08:50:59 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 08:50:59 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 08:51:23 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 08:52:31 +0100	rekahsoft	(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds)
2021-12-04 08:53:26 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b)
2021-12-04 08:54:51 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 08:55:23 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-04 08:58:41 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Ping timeout: 252 seconds)
2021-12-04 09:02:00 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 09:06:41 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-04 09:14:09 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!)
2021-12-04 09:15:26 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 09:16:42 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 09:18:52 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 09:24:03 +0100	zer0bitz	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi)
2021-12-04 09:27:33 +0100	dyeplexer	(~dyeplexer@user/dyeplexer)
2021-12-04 09:31:25 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 09:36:05 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-12-04 09:37:35 +0100	econo	(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-04 09:42:10 +0100	chomwitt	(~chomwitt@ppp-94-67-1-114.home.otenet.gr)
2021-12-04 09:44:09 +0100	fabfianda	(~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) (Ping timeout: 252 seconds)
2021-12-04 09:44:55 +0100	fabfianda	(~fabfianda@mob-5-90-243-224.net.vodafone.it)
2021-12-04 09:46:01 +0100	_ht	(~quassel@82-169-194-8.biz.kpn.net)
2021-12-04 09:49:47 +0100	Sgeo	(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-04 09:50:32 +0100	Sgeo	(~Sgeo@user/sgeo)
2021-12-04 09:56:14 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-12-04 09:58:13 +0100	stevenxl	(~stevenlei@174.128.182.51)
2021-12-04 10:01:39 +0100	whatsupdoc	(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-04 10:01:55 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net)
2021-12-04 10:02:51 +0100	ishutin	(~ishutin@87-97-82-128.pool.digikabel.hu) (Ping timeout: 245 seconds)
2021-12-04 10:02:51 +0100	stevenxl	(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-12-04 10:04:34 +0100	ishutin	(~ishutin@178-164-208-88.pool.digikabel.hu)
2021-12-04 10:04:41 +0100	xkuru	(~xkuru@user/xkuru)
2021-12-04 10:07:19 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 10:13:05 +0100	whatsupdoc	(uid509081@id-509081.hampstead.irccloud.com)
2021-12-04 10:14:36 +0100	fabfianda	(~fabfianda@mob-5-90-243-224.net.vodafone.it) (Read error: Connection reset by peer)
2021-12-04 10:14:44 +0100	fabfianda	(~fabfianda@net-109-115-246-237.cust.vodafonedsl.it)
2021-12-04 10:16:28 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 10:17:36 +0100	allbery_b	(~geekosaur@xmonad/geekosaur)
2021-12-04 10:17:36 +0100	geekosaur	(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-04 10:17:38 +0100	iqubic`	(~user@c-67-171-37-233.hsd1.wa.comcast.net)
2021-12-04 10:17:39 +0100	allbery_b	geekosaur
2021-12-04 10:17:59 +0100	iqubic`	(~user@c-67-171-37-233.hsd1.wa.comcast.net) (Client Quit)
2021-12-04 10:19:21 +0100	iqubic	(~user@2601:602:9502:c70:f6f0:c69f:f066:4465) (Ping timeout: 252 seconds)
2021-12-04 10:20:24 +0100	iqubic	(~user@c-67-171-37-233.hsd1.wa.comcast.net)
2021-12-04 10:21:37 +0100	mc47	(~mc47@xmonad/TheMC47)
2021-12-04 10:22:20 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-12-04 10:25:31 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 10:28:15 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net)
2021-12-04 10:38:54 +0100	img	(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-04 10:39:53 +0100	acidjnk_new	(~acidjnk@p200300d0c7271e92fcd25810b1025e43.dip0.t-ipconnect.de)
2021-12-04 10:42:35 +0100	Midjak	(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-04 10:46:19 +0100	img	(~img@user/img)
2021-12-04 10:52:40 +0100	Tuplanolla	(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-12-04 10:53:59 +0100	wootehfoot	(~wootehfoo@user/wootehfoot)
2021-12-04 10:54:32 +0100	fef	(~thedawn@user/thedawn)
2021-12-04 10:55:37 +0100	fef	(~thedawn@user/thedawn) (Remote host closed the connection)
2021-12-04 10:56:01 +0100	Erutuon	(~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-12-04 11:04:02 +0100	tzh	(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-12-04 11:04:03 +0100	mbuf	(~Shakthi@171.61.205.226) (Quit: Leaving)
2021-12-04 11:06:26 +0100	Lord_of_Life_	(~Lord@user/lord-of-life/x-2819915)
2021-12-04 11:07:23 +0100	Lord_of_Life	(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2021-12-04 11:07:45 +0100	Lord_of_Life_	Lord_of_Life
2021-12-04 11:10:31 +0100	fef	(~thedawn@user/thedawn)
2021-12-04 11:21:14 +0100	jmorris	(uid433911@id-433911.hampstead.irccloud.com)
2021-12-04 11:23:52 +0100	cosimone\	(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-12-04 11:30:17 +0100	[itchyjunk]	(~itchyjunk@user/itchyjunk/x-7353470)
2021-12-04 11:32:27 +0100	Gurkenglas	(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-04 11:33:43 +0100	Vajb	(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-04 11:33:57 +0100	Vajb	(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-04 11:35:54 +0100	fabfianda	(~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2021-12-04 11:36:09 +0100	fabfianda	(~fabfianda@mob-5-90-243-224.net.vodafone.it)
2021-12-04 11:38:11 +0100	kmein	(~weechat@user/kmein) (Quit: ciao kakao)
2021-12-04 11:38:28 +0100	kmein	(~weechat@user/kmein)
2021-12-04 11:42:28 +0100	Sgeo	(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-04 11:46:29 +0100	Techcable	(~Techcable@168.235.93.147) (Ping timeout: 256 seconds)
2021-12-04 11:46:31 +0100	stevenxl	(~stevenlei@174.128.182.51)
2021-12-04 11:48:15 +0100	halides	(halides@imases.biss.ee)
2021-12-04 11:48:22 +0100	FragByte	(~christian@user/fragbyte) (Quit: Quit)
2021-12-04 11:49:11 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 11:49:39 +0100	<halides>	hi all, doing the mooc at https://haskell.mooc.fi/ and figured i'd join here to ask some noob questions :-)
2021-12-04 11:49:57 +0100	<halides>	i guess this is the biggest channel for that?
2021-12-04 11:50:09 +0100	<halides>	opqdonut: hi ;-)
2021-12-04 11:50:16 +0100	FragByte	(~christian@user/fragbyte)
2021-12-04 11:51:01 +0100	stevenxl	(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-12-04 11:52:45 +0100	<Rembane>	halides: Do it! :)
2021-12-04 11:56:33 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:ed50:8b1e:4614:201b) (Ping timeout: 268 seconds)
2021-12-04 11:56:55 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:7792:97a8:546b:8af7)
2021-12-04 11:57:24 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-04 11:58:36 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-04 11:58:55 +0100	<halides>	thanks Rembane :-)
2021-12-04 12:03:06 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 12:10:11 +0100	simendsjo	(~user@84.211.91.241)
2021-12-04 12:20:23 +0100	pretty_dumm_guy	(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-04 12:22:25 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 12:25:22 +0100	pavonia	(~user@user/siracusa) (Quit: Bye!)
2021-12-04 12:25:32 +0100	mc47	(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-12-04 12:25:32 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)
2021-12-04 12:26:46 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:7792:97a8:546b:8af7) (Ping timeout: 268 seconds)
2021-12-04 12:27:07 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:9294:809b:2f89:3306)
2021-12-04 12:28:25 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds)
2021-12-04 12:36:24 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 12:40:53 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-12-04 12:42:23 +0100	zaquest	(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-12-04 12:43:46 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-04 12:46:42 +0100	gehmehgeh	(~user@user/gehmehgeh)
2021-12-04 12:48:01 +0100	fef	(~thedawn@user/thedawn) (Remote host closed the connection)
2021-12-04 12:48:10 +0100	<nerdypepper>	is there a "replace range" method on String or Text anywhere? or would such a method be unsound?
2021-12-04 12:49:31 +0100	mmhat	(~mmh@55d45ca5.access.ecotel.net)
2021-12-04 12:49:40 +0100	zaquest	(~notzaques@5.130.79.72)
2021-12-04 12:50:46 +0100	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-04 12:51:58 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-04 12:52:33 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 12:54:58 +0100	zer0bitz_	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi)
2021-12-04 12:55:37 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 12:57:01 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 12:57:23 +0100	zer0bitz	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-12-04 12:58:31 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 12:59:35 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-12-04 13:01:42 +0100	zer0bitz_	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-04 13:02:33 +0100	waleee	(~waleee@h-82-196-111-63.na.cust.bahnhof.se)
2021-12-04 13:02:41 +0100	fef	(~thedawn@user/thedawn)
2021-12-04 13:03:41 +0100	zer0bitz	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi)
2021-12-04 13:03:44 +0100	<geekosaur>	actual "replace" would violate purity, but producing a modified String/Text would be fine
2021-12-04 13:04:08 +0100	<geekosaur>	for String it'd just perform poorly because String is [Char] and lists kinda suck
2021-12-04 13:05:07 +0100	[itchyjunk]	(~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-12-04 13:06:20 +0100	<geekosaur>	https://hackage.haskell.org/package/text-1.2.5.0/docs/Data-Text.html#v:replace
2021-12-04 13:07:28 +0100	vgtw	(~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 268 seconds)
2021-12-04 13:08:36 +0100	cosimone`	(~user@93-47-228-147.ip115.fastwebnet.it)
2021-12-04 13:09:39 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 13:10:02 +0100	cosimone\	(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 252 seconds)
2021-12-04 13:11:39 +0100	whatsupdoc	(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-04 13:11:50 +0100	nrl^	(~nrl@68.101.58.90)
2021-12-04 13:12:45 +0100	geekosaur	(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-04 13:13:53 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-12-04 13:14:32 +0100	geekosaur	(~geekosaur@xmonad/geekosaur)
2021-12-04 13:17:57 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 13:26:13 +0100	Gurkenglas	(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-12-04 13:33:37 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 13:34:48 +0100	stevenxl	(~stevenlei@174.128.182.51)
2021-12-04 13:38:05 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-12-04 13:39:11 +0100	stevenxl	(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-12-04 13:41:01 +0100	jmorris	(uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-04 13:42:18 +0100	fef	(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-12-04 13:47:26 +0100	TheCoffeMaker	(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2021-12-04 13:49:35 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 13:54:06 +0100	TheCoffeMaker	(~TheCoffeM@user/thecoffemaker)
2021-12-04 13:54:23 +0100	fef	(~thedawn@user/thedawn)
2021-12-04 13:54:39 +0100	pta2002	(~pta2002@161.230.90.170)
2021-12-04 13:55:13 +0100	__monty__	(~toonn@user/toonn)
2021-12-04 13:55:50 +0100	<pta2002>	Hi, quick question. I have a function a -> Either b a, and I want to make [a] -> Either b [a] from that function, that will return the left side if any of the applications of the first function error out
2021-12-04 13:56:08 +0100	<pta2002>	I am sure there's some obvious way to do this, but I can't remember how ><
2021-12-04 13:57:50 +0100	<pta2002>	I mean, I can easily do this the long way, just wanted to know if there is some simple function that I can just apply to it
2021-12-04 14:00:13 +0100	TheCoffeMaker	(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2021-12-04 14:00:45 +0100	<pta2002>	Basically I want (a -> Either b a) -> [a] -> Either b [a], but hoogle finds nothing :(
2021-12-04 14:01:13 +0100	<Taneb>	:t traverse
2021-12-04 14:01:14 +0100	<lambdabot>	(Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
2021-12-04 14:01:24 +0100	<pta2002>	hm let me try that
2021-12-04 14:01:25 +0100	<Taneb>	:t traverse @[] @(Either _)
2021-12-04 14:01:26 +0100	<lambdabot>	error:
2021-12-04 14:01:26 +0100	<lambdabot>	Pattern syntax in expression context: traverse@[]
2021-12-04 14:01:27 +0100	<lambdabot>	Did you mean to enable TypeApplications?
2021-12-04 14:01:34 +0100	<geekosaur>	gotta use yahb
2021-12-04 14:01:45 +0100	<Taneb>	I can't remember how to invoke yahb :(
2021-12-04 14:01:56 +0100	<geekosaur>	% :t traverse @[] @(Either _)
2021-12-04 14:01:57 +0100	<yahb>	geekosaur: (a -> Either w b) -> [a] -> Either w [b]
2021-12-04 14:02:02 +0100	<Taneb>	Thanks
2021-12-04 14:02:57 +0100	AlexNoo	(~AlexNoo@178.34.151.83) (Quit: Leaving)
2021-12-04 14:03:03 +0100	Alex_test	(~al_test@178.34.151.83) (Quit: ;-)
2021-12-04 14:03:07 +0100	slowButPresent	(~slowButPr@user/slowbutpresent)
2021-12-04 14:03:11 +0100	AlexZenon	(~alzenon@178.34.151.83) (Quit: ;-)
2021-12-04 14:03:24 +0100	TheCoffeMaker	(~TheCoffeM@user/thecoffemaker)
2021-12-04 14:03:30 +0100	<pta2002>	hm now it's not working even though by that description it should
2021-12-04 14:03:37 +0100	cosimone`	(~user@93-47-228-147.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
2021-12-04 14:03:55 +0100	<pta2002>	hang on i'll figure this out
2021-12-04 14:04:04 +0100	cosimone`	(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-04 14:04:29 +0100	<pta2002>	I have now figured this out, I was missing an argument
2021-12-04 14:04:34 +0100	<pta2002>	thanks!
2021-12-04 14:04:58 +0100	<Taneb>	Happy to help!
2021-12-04 14:05:01 +0100	<pta2002>	also, that :t traverse @[] @(Either _) thing, is that possible to run in GHCi? gives me an error when I try
2021-12-04 14:05:21 +0100	<Taneb>	Run ":set -XTypeApplications" in GHCi
2021-12-04 14:05:41 +0100	<pta2002>	ah got it
2021-12-04 14:05:56 +0100	<geekosaur>	yahb is ghci, it just has a bunch of extensions enabled and is a fairly recent version of ghc
2021-12-04 14:06:17 +0100	<geekosaur>	but TypeApplications goes back a bit so version shouldn't matter
2021-12-04 14:09:59 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds)
2021-12-04 14:12:50 +0100	cosimone`	(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 268 seconds)
2021-12-04 14:13:27 +0100	Techcable	(~Techcable@168.235.93.147)
2021-12-04 14:15:27 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 14:19:53 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds)
2021-12-04 14:22:38 +0100	AlexZenon	(~alzenon@178.34.151.83)
2021-12-04 14:22:42 +0100	AlexNoo	(~AlexNoo@178.34.151.83)
2021-12-04 14:24:24 +0100	Alex_test	(~al_test@178.34.151.83)
2021-12-04 14:34:58 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-04 14:35:45 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 14:41:01 +0100	waleee	(~waleee@h-82-196-111-63.na.cust.bahnhof.se) (Ping timeout: 256 seconds)
2021-12-04 14:42:58 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-04 14:52:29 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 14:56:23 +0100	Katarushisu	(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 256 seconds)
2021-12-04 14:59:11 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b)
2021-12-04 15:03:31 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Ping timeout: 252 seconds)
2021-12-04 15:06:53 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 15:08:46 +0100	jstolarek	(~jstolarek@137.220.120.162)
2021-12-04 15:18:30 +0100	jpds	(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-12-04 15:19:33 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6)
2021-12-04 15:21:21 +0100	jpds	(~jpds@gateway/tor-sasl/jpds)
2021-12-04 15:23:26 +0100	mmhat	(~mmh@55d45ca5.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-04 15:26:59 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-04 15:29:40 +0100	stevenxl	(~stevenlei@174.128.182.67)
2021-12-04 15:32:04 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 15:34:41 +0100	acidjnk_new	(~acidjnk@p200300d0c7271e92fcd25810b1025e43.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-04 15:36:31 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-04 15:37:41 +0100	simendsjo	(~user@84.211.91.241) (Ping timeout: 256 seconds)
2021-12-04 15:40:56 +0100	zincy_	(~zincy@host86-181-60-139.range86-181.btcentralplus.com)
2021-12-04 15:41:21 +0100	justsomeguy	(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-04 15:42:37 +0100	chenqisu1	(~chenqisu1@183.217.200.156) (Quit: Leaving)
2021-12-04 15:43:34 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-04 15:43:39 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 15:44:08 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 15:47:19 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 15:48:05 +0100	stevenxl	(~stevenlei@174.128.182.67) (Quit: leaving)
2021-12-04 15:48:14 +0100	juhp	(~juhp@128.106.188.82) (Quit: juhp)
2021-12-04 15:48:27 +0100	juhp	(~juhp@128.106.188.82)
2021-12-04 15:48:37 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 15:53:33 +0100	juhp	(~juhp@128.106.188.82) (Quit: juhp)
2021-12-04 15:53:49 +0100	juhp	(~juhp@128.106.188.82)
2021-12-04 15:54:35 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-12-04 15:55:23 +0100	zebrag	(~chris@user/zebrag)
2021-12-04 15:56:23 +0100	Megant	(megant@user/megant) (Ping timeout: 256 seconds)
2021-12-04 15:58:06 +0100	Megant	(megant@user/megant)
2021-12-04 15:58:14 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 16:00:30 +0100	boxscape_	(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de)
2021-12-04 16:09:28 +0100	MoC	(~moc@user/moc)
2021-12-04 16:11:52 +0100	elvishjerricco	(sid237756@id-237756.helmsley.irccloud.com) (Ping timeout: 265 seconds)
2021-12-04 16:13:57 +0100	elvishjerricco	(sid237756@id-237756.helmsley.irccloud.com)
2021-12-04 16:14:57 +0100	zincy_	(~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection)
2021-12-04 16:17:55 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 16:18:44 +0100	renzhi	(~xp@2607:fa49:6500:b100::5cef)
2021-12-04 16:20:31 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a)
2021-12-04 16:24:06 +0100	justsomeguy	(~justsomeg@user/justsomeguy)
2021-12-04 16:31:12 +0100	hololeap	(~hololeap@user/hololeap) (Remote host closed the connection)
2021-12-04 16:31:36 +0100	Gurkenglas	(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-04 16:32:35 +0100	hololeap	(~hololeap@user/hololeap)
2021-12-04 16:36:37 +0100	xkuru	(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-04 16:38:55 +0100	xkuru	(~xkuru@user/xkuru)
2021-12-04 16:43:59 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds)
2021-12-04 16:44:23 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 16:49:01 +0100	machinedgod	(~machinedg@24.105.81.50)
2021-12-04 16:49:05 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 16:52:52 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 16:52:52 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 16:52:52 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 16:53:40 +0100	<__monty__>	I'm having a bit of trouble with ghcid. `cabal v2-repl GiantSquid` fails to load because of errors but `ghcid -c cabal v2-repl GiantSquid` reports "All good."
2021-12-04 16:55:15 +0100	dschrempf	(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-04 16:58:06 +0100	mc47	(~mc47@xmonad/TheMC47)
2021-12-04 16:59:50 +0100	dschrempf	(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2021-12-04 17:00:06 +0100	Drew[m]	(~drewefenw@2001:470:69fc:105::c8c4) (Quit: You have been kicked for being idle)
2021-12-04 17:00:11 +0100	anotherbruce[m]	(~anotherbr@2001:470:69fc:105::1:2548) (Quit: You have been kicked for being idle)
2021-12-04 17:03:38 +0100	<albet70>	I tried to install scotty on my vps, but my vps only has 1GB RAM, to installl scotty with cabal failed because of compiling is out-of-memory, how to solve that?
2021-12-04 17:04:11 +0100	<sclv>	you can give it a ton of virtual memory but it'll crawl
2021-12-04 17:04:27 +0100	<sclv>	best to build the binary on a system with the same os and config but with more ram, then copy it over
2021-12-04 17:05:17 +0100	<albet70>	that's a vps, how I can give it more virtual memory?
2021-12-04 17:05:48 +0100	<albet70>	I don't think I can change the swap partition
2021-12-04 17:06:31 +0100	<albet70>	does cabal or other tools provide binary package?
2021-12-04 17:06:31 +0100	<int-e>	Compile with -j1, lower optimization level... but you probably don't want the latter and at 1GB the former is not certain to be enough.
2021-12-04 17:06:36 +0100	<albet70>	or stack?
2021-12-04 17:06:44 +0100	<int-e>	Compiling elsewhere is the sane approach really.
2021-12-04 17:07:47 +0100	JimL	(~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 260 seconds)
2021-12-04 17:08:15 +0100	<int-e>	This is one reason why people use containers. But you can do things like installing to a custom prefix (/usr/local or /opt) and copying that around?
2021-12-04 17:08:18 +0100	<albet70>	but I'm afraid the the package which compiled on other machines is too big to transfer
2021-12-04 17:08:42 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 17:09:06 +0100	<albet70>	I see there's a haskell docker container, but no scotty in it
2021-12-04 17:09:17 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-04 17:09:38 +0100	<shachaf>	I wonder, is producing statically-linked binaries practical with GHC yet?
2021-12-04 17:10:01 +0100	<shachaf>	I remember GMP was one reason that couldn't be done, but I heard people were working on alternatives.
2021-12-04 17:10:22 +0100	<int-e>	?
2021-12-04 17:10:41 +0100	<int-e>	You /can/ link GMP statically. You just can't distribute the resulting binary.
2021-12-04 17:11:09 +0100	<shachaf>	Right, fair enough. I guess I should say "one reason that wasn't done".
2021-12-04 17:12:51 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:12:55 +0100	<shachaf>	But I wonder whether producing a completely statically-linked Linux binary is practical, with no libc or anything.
2021-12-04 17:14:35 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 17:14:53 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:16:33 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 17:16:50 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:17:14 +0100	hook54321	(sid149355@user/hook54321) (Ping timeout: 268 seconds)
2021-12-04 17:18:38 +0100	johnjay	(~pi@192.142.100.50)
2021-12-04 17:18:46 +0100	<johnjay>	is there any way to run and compile haskell on a tablet?
2021-12-04 17:18:51 +0100	<johnjay>	or should I use replit or some similar site?
2021-12-04 17:19:33 +0100	hook54321	(sid149355@user/hook54321)
2021-12-04 17:19:51 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 17:20:07 +0100	cosimone	(~user@93-47-228-147.ip115.fastwebnet.it)
2021-12-04 17:20:09 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:21:37 +0100	<albet70>	"johnjay :is there any way to run and compile haskell on a tablet?", a x86 tablet is possible
2021-12-04 17:21:51 +0100	<johnjay>	sure. but i think we both know i'm using an android. XD
2021-12-04 17:22:02 +0100	<albet70>	if it's x86-android, u can use chroot
2021-12-04 17:22:03 +0100	<johnjay>	i guess ipads still exist. you can draw on them apparently
2021-12-04 17:22:53 +0100	<albet70>	"johnjay :sure. but i think we both know i'm using an android. XD", oh I forgot, there's a ghc package for arm64
2021-12-04 17:23:25 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 17:23:35 +0100	<johnjay>	i see. i think i tried compiling something on my imac and i had problems cause of that
2021-12-04 17:23:53 +0100	<johnjay>	i don't fully understand how the built in rosetta emulation works either
2021-12-04 17:23:56 +0100	<albet70>	u need install a debian rootfs on android, then install that ghc arm64 package
2021-12-04 17:24:00 +0100	<johnjay>	it sort of runs x86 stuff... idk
2021-12-04 17:24:16 +0100	<johnjay>	is that like rooting the device? idk the lingo
2021-12-04 17:24:28 +0100	<albet70>	"johnjay :is that like rooting the device? idk the lingo", no need to root
2021-12-04 17:24:47 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-04 17:24:55 +0100	<albet70>	use linuxdepoly some kind of android app to create a chroot environment
2021-12-04 17:24:59 +0100	[itchyjunk]	(~itchyjunk@user/itchyjunk/x-7353470)
2021-12-04 17:25:06 +0100	<albet70>	or termux
2021-12-04 17:25:56 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 17:25:56 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 17:25:56 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 17:26:51 +0100	<johnjay>	i know about termux. i thought about trying run haskell from there
2021-12-04 17:27:00 +0100	<johnjay>	apparently the termux in the app store is old and not supported due to google changes
2021-12-04 17:28:13 +0100	justsomeguy	(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-04 17:28:15 +0100	hiruji	aeka
2021-12-04 17:29:37 +0100	<albet70>	then download termux from f-droid, remember u need termux-proot to get a linux environment, then download ghc-8.10.5-aarch64-deb10-linux.tar.xz from downloads.haskell.org, and compile it on that termux-proot
2021-12-04 17:30:31 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-04 17:31:12 +0100	<johnjay>	ahh ok. thanks i will
2021-12-04 17:31:41 +0100	<albet70>	my android phone has 6GB RAM, my computer has 4GB, and my vps has 1GB, how ironic
2021-12-04 17:32:35 +0100	mikoto-chan	(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan)
2021-12-04 17:32:45 +0100	boxscape_	(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-04 17:33:50 +0100	mikoto-chan	(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-04 17:35:14 +0100	neurocyte0132889	(~neurocyte@IP-213188116193.dynamic.medianet-world.de)
2021-12-04 17:35:14 +0100	neurocyte0132889	(~neurocyte@IP-213188116193.dynamic.medianet-world.de) (Changing host)
2021-12-04 17:35:14 +0100	neurocyte0132889	(~neurocyte@user/neurocyte)
2021-12-04 17:35:53 +0100	pfurla	(~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6) (Quit: gone to sleep. ZZZzzz…)
2021-12-04 17:37:04 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:37:18 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 17:37:18 +0100	axeman	(~AdminUser@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9)
2021-12-04 17:37:30 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Remote host closed the connection)
2021-12-04 17:37:36 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 17:39:16 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 17:39:57 +0100	zincy_	(~zincy@host86-181-60-139.range86-181.btcentralplus.com)
2021-12-04 17:41:50 +0100	<tomsmeding>	albet70: I have termux, not termux-proot. I've tried to use an aarch64 distribution of ghc before but it didn't work because some libraries were missing. Have you had more luck?
2021-12-04 17:42:07 +0100	<tomsmeding>	"install a debian rootfs" ah there you go
2021-12-04 17:42:26 +0100	<tomsmeding>	thanks all clear :)
2021-12-04 17:44:37 +0100	Guest4250	(~evan@2600:1700:ba69:10:81bb:b5c:744b:f329)
2021-12-04 17:45:44 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 17:50:02 +0100	ees	(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-12-04 17:52:54 +0100	gabriel_sevecek	(~gabriel@188-167-229-200.dynamic.chello.sk)
2021-12-04 17:55:25 +0100	axeman	(~AdminUser@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-12-04 17:55:53 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9)
2021-12-04 17:56:44 +0100	Guest4250	(~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) (Quit: WeeChat 3.3)
2021-12-04 17:57:12 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Client Quit)
2021-12-04 17:57:32 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9)
2021-12-04 17:57:41 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-04 18:04:02 +0100	ees	(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Remote host closed the connection)
2021-12-04 18:06:26 +0100	shapr	(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-12-04 18:12:11 +0100	<albet70>	tomsmeding: u need libnuma-dev, build-essential and libc-dev
2021-12-04 18:12:24 +0100	ss4	(~wootehfoo@user/wootehfoot)
2021-12-04 18:12:26 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 18:12:54 +0100	<albet70>	and also termux-proot is a linux environment to run ghc, and it's part of termux
2021-12-04 18:14:03 +0100	<albet70>	and I do have a ghc-deb10-arm64.deb if u need, I can share it
2021-12-04 18:16:38 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 18:16:56 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 18:18:16 +0100	tv	(~tv@user/tv) (Ping timeout: 268 seconds)
2021-12-04 18:22:58 +0100	CiaoSen	(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-04 18:24:57 +0100	briandaed	(~jaroslawj@185.234.208.208.r.toneticgroup.pl)
2021-12-04 18:28:26 +0100	_xor	(~xor@72.49.199.147) (Read error: Connection reset by peer)
2021-12-04 18:28:51 +0100	_xor	(~xor@72.49.199.147)
2021-12-04 18:30:09 +0100	gabriel_sevecek	(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.3)
2021-12-04 18:31:02 +0100	bollu	(uid233390@id-233390.helmsley.irccloud.com)
2021-12-04 18:32:42 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 18:32:59 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 18:33:26 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:9294:809b:2f89:3306) (Ping timeout: 252 seconds)
2021-12-04 18:34:12 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 18:34:19 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:798e:f8b0:91f3:38f8)
2021-12-04 18:34:29 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 18:35:05 +0100	jstolarek	(~jstolarek@137.220.120.162) (Ping timeout: 252 seconds)
2021-12-04 18:36:11 +0100	chomwitt	(~chomwitt@ppp-94-67-1-114.home.otenet.gr) (Ping timeout: 256 seconds)
2021-12-04 18:38:25 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 18:39:21 +0100	fef	(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-12-04 18:39:29 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Ping timeout: 252 seconds)
2021-12-04 18:41:18 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b)
2021-12-04 18:46:43 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 18:46:45 +0100	chomwitt	(~chomwitt@ppp-94-67-1-114.home.otenet.gr)
2021-12-04 18:47:53 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:fbae:9981:ef06:fecb)
2021-12-04 18:49:13 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 18:50:55 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-04 18:51:27 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 18:53:27 +0100	pta2002	(~pta2002@161.230.90.170) (Quit: leaving)
2021-12-04 18:54:21 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 18:58:19 +0100	lavaman	(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-04 18:58:54 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 19:00:45 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds)
2021-12-04 19:02:44 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-04 19:03:23 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 19:03:40 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 19:07:29 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 19:07:47 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 19:08:29 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection)
2021-12-04 19:11:51 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 19:12:09 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 19:12:19 +0100	nickdaly	(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2021-12-04 19:12:28 +0100	nickdaly	(45ce440a48@2604:bf00:561:2000::e2)
2021-12-04 19:14:43 +0100	tv	(~tv@user/tv)
2021-12-04 19:18:30 +0100	NinjaTrappeur	(~ninja@user/ninjatrappeur) (Quit: WeeChat 3.3)
2021-12-04 19:19:26 +0100	NinjaTrappeur	(~ninja@user/ninjatrappeur)
2021-12-04 19:19:49 +0100	econo	(uid147250@user/econo)
2021-12-04 19:23:48 +0100	Guest42	(~Guest42@cpc159864-nmal26-2-0-cust352.19-2.cable.virginm.net)
2021-12-04 19:23:59 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b)
2021-12-04 19:24:26 +0100	Guest42	(~Guest42@cpc159864-nmal26-2-0-cust352.19-2.cable.virginm.net) (Client Quit)
2021-12-04 19:26:16 +0100	bontaq	(~user@ool-45779fe5.dyn.optonline.net)
2021-12-04 19:31:12 +0100	<hololeap>	anyone know of a mnemonic for remembering what some and many do?
2021-12-04 19:33:22 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-04 19:33:42 +0100	<hololeap>	I guess s/o/me -- one or more;
2021-12-04 19:34:07 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 19:35:41 +0100	jstolarek	(~jstolarek@137.220.120.162)
2021-12-04 19:36:37 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 19:36:40 +0100	<c_wraith>	I still find it weird that those are even part of Alternative, given that they don't do anything useful for a lot of instances
2021-12-04 19:37:35 +0100	<c_wraith>	> many [1,2,3]
2021-12-04 19:37:37 +0100	<lambdabot>	*Exception: <<loop>>
2021-12-04 19:38:03 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 19:38:33 +0100	<geekosaur>	some implies at least one to me
2021-12-04 19:39:14 +0100	<hololeap>	I guess you're right, but I don't usually think of "many" as including the possibility of zero
2021-12-04 19:39:15 +0100	<geekosaur>	many's a bit weird though namewise since to me it implies a lot
2021-12-04 19:40:04 +0100	<hololeap>	I have many achievements
2021-12-04 19:40:30 +0100	<tomsmeding>	"I have many friends"
2021-12-04 19:41:08 +0100	<c_wraith>	"A friend of the devil is a friend of mine". wait, wrong direction
2021-12-04 19:41:21 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-12-04 19:41:22 +0100	<lyxia>	yeah I remember many as the one that's not some
2021-12-04 19:41:25 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-04 19:41:49 +0100	tomsmeding	remembers many as the combinator that's regex' *, and some is "the other one"
2021-12-04 19:42:15 +0100	<c_wraith>	I just... remember them. My capacity for trivia is vast.
2021-12-04 19:42:23 +0100	<geekosaur>	that's more orloess the rest of how I remember them, some is + so many must be *
2021-12-04 19:42:37 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 19:42:46 +0100	<geekosaur>	it's still weird though
2021-12-04 19:43:19 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 19:45:48 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 19:46:06 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 19:47:01 +0100	dyeplexer	(~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds)
2021-12-04 19:50:24 +0100	<hololeap>	is there a way to prove that you have a Show instance for (f a) if you have a Show1 instance for f?
2021-12-04 19:51:18 +0100	<tomsmeding>	and Show a, presumably
2021-12-04 19:51:31 +0100	Jeanne-Kamikaze	(~Jeanne-Ka@static-198-54-131-169.cust.tzulo.com)
2021-12-04 19:51:37 +0100	cheater	(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-12-04 19:51:41 +0100	<tomsmeding>	you _don't_ necessarily have a Show instance for (f a) though; however, that information is sufficient to _make_ one
2021-12-04 19:51:47 +0100	cheater	(~Username@user/cheater)
2021-12-04 19:51:59 +0100	<geekosaur>	^
2021-12-04 19:52:24 +0100	<geekosaur>	Show1 f is only enough to say that, if you have an a with Show, you can make Show (f a)
2021-12-04 19:52:43 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 19:52:55 +0100	<tomsmeding>	and if so, showsPrec = liftShowsPrec showsPrec showList
2021-12-04 19:53:01 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 19:53:03 +0100	<dsal>	hololeap: how many of these do you have?
2021-12-04 19:53:04 +0100	justsomeguy	(~justsomeg@user/justsomeguy)
2021-12-04 19:53:41 +0100	<hololeap>	how many of what do I have?
2021-12-04 19:53:49 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 19:54:13 +0100	mikoto-chan	(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer)
2021-12-04 19:54:31 +0100	<dsal>	How many intuitive mnemonics have you collected?
2021-12-04 19:55:07 +0100	<hololeap>	I have no idea
2021-12-04 19:55:36 +0100	<hololeap>	should I be counting them as I go? :3
2021-12-04 19:56:36 +0100	<hpc>	if only there was a way to remember lots of things at once, to make it easier to keep track of
2021-12-04 19:57:00 +0100	mikoto-chan	(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-04 19:57:13 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-04 19:58:01 +0100	<dsal>	hololeap: if the answer is zero, that's ok, because when I ask you how many of something you have, you can have none, but if you have some, then you must have at least one.
2021-12-04 19:58:22 +0100	<hololeap>	"many" ;)
2021-12-04 19:59:22 +0100	Lycurgus	(~juan@98.4.112.204)
2021-12-04 19:59:29 +0100	fabfianda	(~fabfianda@mob-5-90-243-224.net.vodafone.it) (Ping timeout: 256 seconds)
2021-12-04 19:59:42 +0100	<dsal>	Good, then hopefully you see that I've answered your question several times. :)
2021-12-04 19:59:52 +0100	fabfianda	(~fabfianda@net-2-32-227-53.cust.dsl.teletu.it)
2021-12-04 20:00:03 +0100	jstolarek	(~jstolarek@137.220.120.162) (Ping timeout: 256 seconds)
2021-12-04 20:01:41 +0100	waleee	(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-12-04 20:01:48 +0100	Erutuon	(~Erutuon@user/erutuon)
2021-12-04 20:01:56 +0100	tzh	(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-04 20:01:59 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:fbae:9981:ef06:fecb) (Ping timeout: 252 seconds)
2021-12-04 20:02:46 +0100	<hololeap>	oh, I get it
2021-12-04 20:03:30 +0100	Jeanne-Kamikaze	(~Jeanne-Ka@static-198-54-131-169.cust.tzulo.com) (Quit: Leaving)
2021-12-04 20:06:17 +0100	cheater	(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-12-04 20:06:25 +0100	cheater	(~Username@user/cheater)
2021-12-04 20:06:51 +0100	fabfianda	(~fabfianda@net-2-32-227-53.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2021-12-04 20:07:45 +0100	ec_	(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-12-04 20:08:00 +0100	fabfianda	(~fabfianda@mob-5-90-252-134.net.vodafone.it)
2021-12-04 20:08:45 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 20:08:45 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-04 20:08:45 +0100	wroathe	(~wroathe@user/wroathe)
2021-12-04 20:11:55 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 20:11:59 +0100	<energizer>	`let {x = 2 + x} in x` what do the curly braces mean?
2021-12-04 20:12:19 +0100	<geekosaur>	they can replace layout
2021-12-04 20:12:58 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 20:13:04 +0100	<energizer>	oh
2021-12-04 20:13:22 +0100	<geekosaur>	so there, they're not doing much
2021-12-04 20:13:22 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 20:14:40 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 20:14:58 +0100	justsomeguy	(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-04 20:18:16 +0100	vicfred	(~vicfred@user/vicfred)
2021-12-04 20:18:55 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection)
2021-12-04 20:19:19 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-12-04 20:19:49 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 20:20:35 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 20:22:45 +0100	geekosaur	(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-04 20:22:47 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 20:24:00 +0100	stiell	(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-12-04 20:24:29 +0100	geekosaur	(~geekosaur@xmonad/geekosaur)
2021-12-04 20:27:50 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-04 20:27:53 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-04 20:29:25 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b)
2021-12-04 20:29:39 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 20:31:05 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 20:31:22 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 20:32:00 +0100	stiell	(~stiell@gateway/tor-sasl/stiell)
2021-12-04 20:33:18 +0100	<juri_>	hmm. is anyone else using stan to lint check their code for totality? I'm wondering what to do with functions like sum, minimum, and maximum.
2021-12-04 20:34:04 +0100	<maerwald>	I don't think stan can check your code for totality
2021-12-04 20:34:28 +0100	fizbin	(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-04 20:34:49 +0100	nitrix	(~nitrix@user/nitrix) (Leaving)
2021-12-04 20:35:26 +0100	<Lycurgus>	i looked at it a while back, didn seem to be worth the effort
2021-12-04 20:35:35 +0100	<eyJhb>	Reading this piece of Haskell sourcecode https://termbin.com/2rtf and I am unsure what `s'` and `s''`means? I have tried searching for it, but can't really find an anwser.
2021-12-04 20:35:37 +0100	<eyJhb>	answer*
2021-12-04 20:35:45 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-12-04 20:36:05 +0100	cosimone	(~user@93-47-228-147.ip115.fastwebnet.it) (Ping timeout: 252 seconds)
2021-12-04 20:38:42 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:38:57 +0100	stiell	(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-12-04 20:39:46 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 20:40:43 +0100	<juri_>	Stan has done my code a lot of good. mostly making me add calls to error when conditions are out of the norm.
2021-12-04 20:41:57 +0100	<juri_>	I just got done with eliminating head, tail, init, last, etc from Data.List, but eliminating sum, minimum, and maximum is a bit more problematic. they require noninfinite lists.
2021-12-04 20:42:04 +0100	stiell	(~stiell@gateway/tor-sasl/stiell)
2021-12-04 20:42:09 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:90ba:bdb8:fd93:c610)
2021-12-04 20:42:20 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:42:25 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 20:42:28 +0100	<dsal>	> sum []
2021-12-04 20:42:30 +0100	<lambdabot>	0
2021-12-04 20:42:42 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 20:43:26 +0100	<dsal>	I tried stan in the past and it mostly just made noise.
2021-12-04 20:43:54 +0100	<dsal>	I don't generally use a lot of partial functions, though.
2021-12-04 20:43:54 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:44:12 +0100	wroathe	(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-04 20:44:20 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:44:38 +0100	<dsal>	I'm pretty convinced anyone who says not to use `sum` should probably offer a lot of qualifiers, though.
2021-12-04 20:45:02 +0100	<Profpatsch>	How about when I have a “lens” that will use an IO action to view/set the lens? Is that possible?
2021-12-04 20:45:24 +0100	<energizer>	https://en.wikibooks.org/wiki/Haskell/Fix_and_recursion says `fix` "finds the least-defined fixed point of a function" and "In any type, ⊥ is the least-defined value". So why isn't the least-defined fixed point of a function /always/ ⊥?
2021-12-04 20:45:26 +0100	<geekosaur>	eyJhb, they're just new identifiers. haskell allows you to add ticks (primes in math parlance) to variable names to make new ones, usually meaning they're related in sonme way to the unticked one
2021-12-04 20:45:47 +0100	<geekosaur>	> fix (const 2)
2021-12-04 20:45:49 +0100	<lambdabot>	2
2021-12-04 20:45:55 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:46:02 +0100	<energizer>	geekosaur: bottom is less defined than 2, right?
2021-12-04 20:46:10 +0100	<Lycurgus>	or the one less ticked
2021-12-04 20:46:18 +0100	<geekosaur>	right, but const 2 <anything> is always 2
2021-12-04 20:46:21 +0100	<Lycurgus>	*ones
2021-12-04 20:46:21 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:46:54 +0100	<geekosaur>	so 2 is the least defined fixed point of (const 2)
2021-12-04 20:47:13 +0100	<geekosaur>	> const 2 undefined
2021-12-04 20:47:15 +0100	<lambdabot>	2
2021-12-04 20:47:29 +0100	<energizer>	geekosaur: because it's impossible to get undefined out of `const 2 _`
2021-12-04 20:47:44 +0100	<energizer>	ok
2021-12-04 20:47:55 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:47:58 +0100	<monochrom>	⊥ is less defined than 0:0:0... That doesn't mean ⊥ satisfies the equation x = 0:x. 0:0:0:... does.
2021-12-04 20:48:17 +0100	kupi	(uid212005@id-212005.hampstead.irccloud.com)
2021-12-04 20:48:20 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:48:24 +0100	<eyJhb>	Thanks geekosaur :)
2021-12-04 20:48:29 +0100	<geekosaur>	> let s' = 5 in s' -- s' is just another name
2021-12-04 20:48:31 +0100	<lambdabot>	5
2021-12-04 20:48:33 +0100	wroathe	(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-04 20:48:59 +0100	pfurla	(~pfurla@201.17.118.230)
2021-12-04 20:49:12 +0100	<Lycurgus>	as far as stan, statements vs more stuff;peoples want like quickcheck but for real not just tests rather than like a deep lint
2021-12-04 20:49:51 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:50:23 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:51:41 +0100	cheater	(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-12-04 20:51:44 +0100	cheater1__	(~Username@user/cheater)
2021-12-04 20:51:48 +0100	cheater1__	cheater
2021-12-04 20:51:55 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:52:34 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:53:05 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 20:54:06 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:54:44 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:55:31 +0100	zer0bitz	(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-12-04 20:55:57 +0100	<juri_>	Lycurgus: I have property tests, unit tests and integration tests. i think testing is a separate subject.
2021-12-04 20:56:17 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:56:53 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:57:07 +0100	<geekosaur>	> let foo'bar = 6 in foo'bar
2021-12-04 20:57:08 +0100	<lambdabot>	6
2021-12-04 20:57:18 +0100	<Lycurgus>	will (programmer coded) tests go away when programs can be automatically proven correct?
2021-12-04 20:57:50 +0100	<juri_>	no, because correct programs don't necessarilly do what the programmer intended.
2021-12-04 20:58:04 +0100	<geekosaur>	you can prove a program fits its specification. you can't prove the spec is correct
2021-12-04 20:58:28 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 20:58:41 +0100	<monochrom>	"prove correct" is only relative to a specification. Now you have to test your specification.
2021-12-04 20:58:47 +0100	<Lycurgus>	so i was actually looking forward to a system that synthesized hs from English
2021-12-04 20:59:06 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 20:59:06 +0100	<geekosaur>	english is way too multivalued
2021-12-04 20:59:18 +0100	<geekosaur>	to work as either a programming language or a specification language
2021-12-04 21:00:17 +0100	<geekosaur>	not to mention things like, the common use of "sort" is not the programming one
2021-12-04 21:00:19 +0100	<Lycurgus>	well controlled english ofc
2021-12-04 21:00:23 +0100	hololeap_	(~hololeap@user/hololeap)
2021-12-04 21:00:39 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:00:51 +0100	<Lycurgus>	for which there's already a well worked hs system
2021-12-04 21:01:03 +0100	hololeap	(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-12-04 21:01:15 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:02:48 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:03:27 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:04:56 +0100	takuan	(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-04 21:05:01 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:05:14 +0100	juhp	(~juhp@128.106.188.82) (Ping timeout: 252 seconds)
2021-12-04 21:05:40 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:06:45 +0100	juhp	(~juhp@128.106.188.82)
2021-12-04 21:07:13 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:07:23 +0100	<maerwald>	I'm in love with windows paths
2021-12-04 21:07:45 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:07:53 +0100	<juri_>	maerwald: CON
2021-12-04 21:08:00 +0100	<maerwald>	`\\?\GLOBALROOT\GLOBAL??\UNC\localhost\c$\foo\bar` -> `C:\foo\bar`
2021-12-04 21:08:22 +0100	<geekosaur>	gesundheit
2021-12-04 21:08:36 +0100	<maerwald>	well, most of our libraries choke on it :p
2021-12-04 21:08:45 +0100	<maerwald>	but it's valid
2021-12-04 21:08:54 +0100	<geekosaur>	I don't blame them :þ
2021-12-04 21:09:08 +0100	Lycurgus	(~juan@98.4.112.204) (Quit: Exeunt)
2021-12-04 21:09:12 +0100	lavaman	(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-12-04 21:09:17 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:09:40 +0100	<maerwald>	makes you appreciate how well posix is actually designed
2021-12-04 21:09:46 +0100	lavaman	(~lavaman@98.38.249.169)
2021-12-04 21:09:49 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:10:04 +0100	<maerwald>	windows specification was created by an intern
2021-12-04 21:10:18 +0100	<juri_>	... who was drunk.
2021-12-04 21:11:20 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:11:30 +0100	<energizer>	wiki gives exercise to write nonrecursive version of `filter` using `fix`. i'm stuck. can someone show the answer for another function like map or takeWhile
2021-12-04 21:11:31 +0100	<yushyin>	but only to reach ballmer peak
2021-12-04 21:11:54 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:12:17 +0100	<maerwald>	I reach that every day.
2021-12-04 21:12:27 +0100	<geekosaur>	and then blow past it?
2021-12-04 21:12:45 +0100	<maerwald>	without being actually drunk
2021-12-04 21:13:24 +0100	<maerwald>	I mean... if you read through windows documentation more than half an hour, you'll get there
2021-12-04 21:13:27 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:14:06 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:14:06 +0100	<maerwald>	it's a stream of WTF moments that doesn't end
2021-12-04 21:14:26 +0100	<tomsmeding>	energizer: 'fix' has type '(a -> a) -> a'. What if you set 'a ~ s -> t'?
2021-12-04 21:14:37 +0100	<geekosaur>	I was amazed at how much of basic win32 looked like "let's just flip the meaning of this flag so we're not a clone of os/2 1.x"
2021-12-04 21:15:41 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:16:02 +0100	<geekosaur>	regardless of how rational flipping that flag was
2021-12-04 21:16:05 +0100	tromp	(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-04 21:16:13 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:17:34 +0100	eggplantade	(~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection)
2021-12-04 21:17:45 +0100	<EvanR>	BeOS supremity
2021-12-04 21:17:46 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:18:12 +0100	eggplantade	(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-04 21:18:22 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:19:52 +0100	hololeap_	hololeap
2021-12-04 21:19:56 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be)
2021-12-04 21:20:22 +0100	betelgeuse9	(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-12-04 21:25:37 +0100	<leah2>	is there a haskell library ala Shake.Command that supports creating pipes?
2021-12-04 21:27:25 +0100	Sgeo	(~Sgeo@user/sgeo)
2021-12-04 21:27:41 +0100	chomwitt	(~chomwitt@ppp-94-67-1-114.home.otenet.gr) (Quit: Leaving)
2021-12-04 21:29:21 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 21:29:37 +0100	tromp	(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-04 21:29:39 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 21:29:52 +0100	<geekosaur>	Turtle or shelly?
2021-12-04 21:29:59 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 21:30:05 +0100	<maerwald>	pipes?
2021-12-04 21:30:13 +0100	<maerwald>	what do you mean with pipes
2021-12-04 21:30:34 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 21:31:28 +0100	<geekosaur>	System.Process in base can create pipes also but you'll have to do a bit more work. And in any case beware of the open3 problem: you can't sensibly read from and write to an external command at the same time, unlessa multithreaded
2021-12-04 21:32:22 +0100	<geekosaur>	(as "open3" should suggest, this is a very general problem not at all limited to haskell)
2021-12-04 21:34:17 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Client Quit)
2021-12-04 21:35:57 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 21:35:57 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 21:36:14 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 21:38:11 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 21:38:28 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 21:38:55 +0100	gehmehgeh	(~user@user/gehmehgeh) (Quit: Leaving)
2021-12-04 21:39:20 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net)
2021-12-04 21:40:07 +0100	<tomsmeding>	geekosaur: why, because writing and/or reading may block and thus prevent you from doing the other thing? Does select(2) (and friends) fix this in C?
2021-12-04 21:41:13 +0100	<geekosaur>	you expect tp write to the program, then read the result. program streams its output. program's output pipe blocks because you're not reading. program stops reading. you block on full pipe
2021-12-04 21:41:19 +0100	<geekosaur>	classic deadlock
2021-12-04 21:41:32 +0100	<tomsmeding>	oh right, if you don't anticipate this scenario
2021-12-04 21:41:45 +0100	<geekosaur>	select() only goes so far, you still have to be prepared to read output while writing
2021-12-04 21:41:54 +0100	<tomsmeding>	like, you can fix this as host program, but you need to be aware that it needs fixing
2021-12-04 21:42:08 +0100	jinsun__	(~quassel@user/jinsun)
2021-12-04 21:42:21 +0100	<leah2>	geekosaur: i'll look at these, thx
2021-12-04 21:42:22 +0100	<tomsmeding>	easy trap though :)
2021-12-04 21:42:34 +0100	<geekosaur>	and very common one
2021-12-04 21:42:53 +0100	awschnap	(~lavaman@98.38.249.169)
2021-12-04 21:43:07 +0100	<geekosaur>	lots of people get this wrong because they assume the OS being concurrent means it can't happen, when their program must be concurrent in some sense to prevent it
2021-12-04 21:43:27 +0100	<tomsmeding>	which can be within one thread if you program carefully
2021-12-04 21:43:55 +0100	yauhsien	(~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 21:44:11 +0100	<tomsmeding>	good advice though
2021-12-04 21:44:24 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 21:44:40 +0100	pgib	(~textual@173.38.117.87) (Ping timeout: 256 seconds)
2021-12-04 21:44:40 +0100	<monochrom>	Oh, I know of an even more fantastic fantasy of automatic concurrency.
2021-12-04 21:44:53 +0100	kmein	(~weechat@user/kmein) (Ping timeout: 256 seconds)
2021-12-04 21:44:53 +0100	son0p	(~ff@181.136.122.143) (Ping timeout: 256 seconds)
2021-12-04 21:44:53 +0100	barrucadu	(~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 256 seconds)
2021-12-04 21:45:17 +0100	barrucadu	(~barrucadu@carcosa.barrucadu.co.uk)
2021-12-04 21:45:27 +0100	tromp	(~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-12-04 21:45:27 +0100	lavaman	(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-04 21:45:27 +0100	fabfianda	(~fabfianda@mob-5-90-252-134.net.vodafone.it) (Ping timeout: 256 seconds)
2021-12-04 21:45:27 +0100	jinsun	(~quassel@user/jinsun) (Ping timeout: 256 seconds)
2021-12-04 21:45:27 +0100	wz1000	(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
2021-12-04 21:45:28 +0100	kmein	(~weechat@user/kmein)
2021-12-04 21:45:39 +0100	<monochrom>	I had a student who thought that just because you have called "listen(10)", it means when you call "accept(s)" it can talk to 10 clients concurrently.
2021-12-04 21:45:44 +0100	deadmarshal	(~deadmarsh@95.38.116.22)
2021-12-04 21:45:46 +0100	wz1000	(~zubin@static.11.113.47.78.clients.your-server.de)
2021-12-04 21:46:05 +0100	<tomsmeding>	as if by magic ✨
2021-12-04 21:46:16 +0100	<tomsmeding>	mutable state doesn't exist
2021-12-04 21:47:53 +0100	AlexNoo	(~AlexNoo@178.34.151.83) (Read error: Connection reset by peer)
2021-12-04 21:48:19 +0100	AlexNoo	(~AlexNoo@178.34.151.83)
2021-12-04 21:50:03 +0100	deadmarshal	(~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds)
2021-12-04 21:51:59 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 21:52:16 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 21:53:20 +0100	<zincy_>	monochrom: What so opening a concurrent connection means everything automatically works concurrently?
2021-12-04 21:54:49 +0100	<EvanR>	if I just have a haskell file and no project, can I possibly use vector without dealing with a "system package"
2021-12-04 21:55:03 +0100	<monochrom>	You write an accept-interact-close loop. You find that after the 1st client has connected, your loop is unresponsive to future clients.
2021-12-04 21:55:14 +0100	<monochrom>	You think that listen(big number) solves that.
2021-12-04 21:56:05 +0100	<monochrom>	Or rather, s/you/my student/
2021-12-04 21:56:10 +0100	<tomsmeding>	cabal repl -b vector --repl-options=yourfile.hs, but make sure that it has a module header otherwise it won't work
2021-12-04 21:56:18 +0100	<dsal>	EvanR: I'm afraid you're going to need to install NixOS and start using stack.
2021-12-04 21:56:25 +0100	<zincy_>	I am your student just not on your course
2021-12-04 21:56:37 +0100	<geekosaur>	cabal has scripts, they're just poorly documented
2021-12-04 21:57:29 +0100	<dsal>	Data.Map.Strict.partition is ~10x slower than Data.Map.Strict.filter when I end up matching slightly less than one item on average.
2021-12-04 21:57:31 +0100	acidjnk_new	(~acidjnk@p200300d0c7271e5135c37e9089e8a354.dip0.t-ipconnect.de)
2021-12-04 21:58:17 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 21:59:05 +0100	<EvanR>	dsal, lol
2021-12-04 22:00:15 +0100	<EvanR>	tomsmeding, k that's something
2021-12-04 22:00:44 +0100	<sm>	EvanR: certainly, use a stack script
2021-12-04 22:00:52 +0100	<EvanR>	:\|
2021-12-04 22:01:07 +0100	<EvanR>	I might as well just create a cabal project
2021-12-04 22:01:09 +0100	<sm>	or a cabal script if you don't like stack, it's just not quite as good
2021-12-04 22:01:21 +0100	<sm>	you asked for no project
2021-12-04 22:01:30 +0100	jinsun__	jinsun
2021-12-04 22:01:30 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 22:01:34 +0100	<tomsmeding>	but yeah also cabal script https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run
2021-12-04 22:01:37 +0100	<EvanR>	a stack script is less?
2021-12-04 22:01:56 +0100	<EvanR>	I haven't had to install stack this go around with haskell
2021-12-04 22:02:05 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-04 22:02:10 +0100	<sm>	a stack/cabal script is less than a project, yes (but still reproducible)
2021-12-04 22:02:28 +0100	<sm>	they're great
2021-12-04 22:03:10 +0100	<EvanR>	cool
2021-12-04 22:03:25 +0100	JimL	(~quassel@89-162-2-132.fiber.signal.no)
2021-12-04 22:04:57 +0100	<EvanR>	so a cabal script is a script that cabal runs... and the language is haskell?
2021-12-04 22:05:19 +0100	<sm>	yes
2021-12-04 22:05:20 +0100	hgolden	(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection)
2021-12-04 22:05:37 +0100	bontaq	(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2021-12-04 22:06:36 +0100	<sm>	https://docs.haskellstack.org/en/stable/GUIDE/#script-interpreter
2021-12-04 22:06:59 +0100	<EvanR>	that's awesome
2021-12-04 22:07:28 +0100	coolnickname	(~coolnickn@73.194.7.51.dyn.plus.net)
2021-12-04 22:07:47 +0100	<EvanR>	does it cache the compiled exe
2021-12-04 22:08:04 +0100	<sm>	stack does, cabal doesn't
2021-12-04 22:09:01 +0100	trillp	(~user@69.233.98.238)
2021-12-04 22:10:27 +0100	_ht	(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-04 22:13:31 +0100	<fgaz>	EvanR: you could also use cabal-env to create an enviroment with the packages you need then use ghc directly
2021-12-04 22:13:56 +0100	<EvanR>	and that's different from just creating a cabal project? xD
2021-12-04 22:16:24 +0100	<fgaz>	it's... less declarative
2021-12-04 22:17:08 +0100	<fgaz>	it works great for quick experiments for example
2021-12-04 22:17:26 +0100	<fgaz>	long term i'd definitely create a project though
2021-12-04 22:19:06 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:19:24 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:21:04 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:21:23 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:23:03 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:23:21 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:23:45 +0100	<EvanR>	cool, the cabal script works and runs
2021-12-04 22:23:56 +0100	<EvanR>	and using vector instead of list is much faster
2021-12-04 22:24:19 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-04 22:24:21 +0100	<EvanR>	and running the script itself now has high latency due to compilation I guess xD
2021-12-04 22:24:53 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net)
2021-12-04 22:25:02 +0100	<sm>	yes, cabal compiles it every time
2021-12-04 22:25:13 +0100	<sm>	nullifying the advantage a bit
2021-12-04 22:25:30 +0100	<EvanR>	some unfortunate infrastructure overhead just to use arrays hehe
2021-12-04 22:27:35 +0100	yauhsien	(~yauhsien@61-231-32-247.dynamic-ip.hinet.net)
2021-12-04 22:29:09 +0100	geekosaur	wonders if there's some way to abuse ccache into being hcache
2021-12-04 22:32:08 +0100	yauhsien	(~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-12-04 22:32:23 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:90ba:bdb8:fd93:c610) (Quit: No Ping reply in 180 seconds.)
2021-12-04 22:33:38 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:814a:ccac:5077:2ffa)
2021-12-04 22:36:28 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:36:47 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:38:34 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:38:51 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:40:31 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:40:49 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:42:29 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:42:47 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:42:51 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-04 22:47:47 +0100	jgeerds	(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-04 22:48:30 +0100	xkuru	(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-04 22:50:41 +0100	zincy_	(~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection)
2021-12-04 22:51:57 +0100	vgtw	(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2021-12-04 22:53:50 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:54:07 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:55:47 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 22:56:05 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 22:57:00 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:798e:f8b0:91f3:38f8) (Ping timeout: 268 seconds)
2021-12-04 22:57:26 +0100	jstolarek	(~jstolarek@137.220.120.162)
2021-12-04 22:57:35 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:ae6c:946a:bfb4:e41d)
2021-12-04 22:58:32 +0100	merijn	(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-04 22:59:45 +0100	<EvanR>	Vector.modify is documented as doing in-place update if possible other makes a copy. Is this real? I.e. does it ever not just make a copy
2021-12-04 23:00:21 +0100	briandaed	(~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal)
2021-12-04 23:00:39 +0100	<EvanR>	otherwise*
2021-12-04 23:02:00 +0100	pretty_dumm_guy	(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-12-04 23:02:12 +0100	<int-e>	EvanR: I'd take this as code-speak for fusion, so if you modify a freshly created vector it'll just create one
2021-12-04 23:03:15 +0100	<int-e>	let's see if I understand the code well enough to figure out whether there's more to it
2021-12-04 23:03:22 +0100	<EvanR>	haha yeah I tried
2021-12-04 23:04:04 +0100	<EvanR>	clone creates a New wrapper, so maybe the optimizer can recognize that and avoid a copy
2021-12-04 23:04:56 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a)
2021-12-04 23:06:41 +0100	<int-e>	e.g. there's a rule like this, `"clone/new [Vector]" forall p. clone (new p) = p` and `modify` is implemented as `modify p = new . New.modify p . clone`
2021-12-04 23:07:20 +0100	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-12-04 23:07:33 +0100	<EvanR>	so clone and new cancel
2021-12-04 23:07:47 +0100	<EvanR>	if you chain modifies, it only creates 1 new
2021-12-04 23:07:55 +0100	<int-e>	where `clone :: Vector v a => v a -> New v a` and `new :: Vector v a => New v a -> v a` switch between vector and vector-being-initialized (really a wrapper around ST)
2021-12-04 23:08:37 +0100	vgtw	(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 252 seconds)
2021-12-04 23:08:40 +0100	<int-e>	so yeah it still looks like code-speak for fusion :)
2021-12-04 23:09:05 +0100	<EvanR>	that's pretty slick
2021-12-04 23:09:10 +0100	raehik	(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-04 23:09:27 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Client Quit)
2021-12-04 23:09:41 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a)
2021-12-04 23:10:46 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:ae6c:946a:bfb4:e41d) (Ping timeout: 245 seconds)
2021-12-04 23:11:48 +0100	xff0x	(~xff0x@2001:1a81:53e7:c700:da53:be98:ac38:235d)
2021-12-04 23:13:49 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:14:07 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:14:36 +0100	__monty__	(~toonn@user/toonn) (Quit: leaving)
2021-12-04 23:14:41 +0100	nrl^	(~nrl@68.101.58.90) (Remote host closed the connection)
2021-12-04 23:17:13 +0100	awschnap	(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-04 23:17:23 +0100	zincy_	(~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Remote host closed the connection)
2021-12-04 23:19:47 +0100	neurocyte0132889	(~neurocyte@user/neurocyte) (Read error: Connection reset by peer)
2021-12-04 23:20:55 +0100	neurocyte0132889	(~neurocyte@user/neurocyte)
2021-12-04 23:21:04 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 23:22:55 +0100	jassob1	jassob
2021-12-04 23:24:56 +0100	jstolarek	(~jstolarek@137.220.120.162) (Ping timeout: 252 seconds)
2021-12-04 23:25:29 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-12-04 23:26:15 +0100	vgtw	(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2021-12-04 23:29:07 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:29:25 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:31:05 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:31:23 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:31:55 +0100	dsrt^	(~dsrt@68.101.58.90)
2021-12-04 23:33:11 +0100	vgtw	(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 252 seconds)
2021-12-04 23:35:21 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:35:40 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:36:22 +0100	MoC	(~moc@user/moc) (Quit: Konversation terminated!)
2021-12-04 23:36:22 +0100	burnsidesLlama	(~burnsides@dhcp168-020.wadham.ox.ac.uk)
2021-12-04 23:37:51 +0100	vgtw	(~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se)
2021-12-04 23:43:51 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:44:10 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:46:27 +0100	fabfianda	(~fabfianda@net-109-115-246-237.cust.vodafonedsl.it)
2021-12-04 23:46:36 +0100	madjestic	(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-04 23:50:05 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:50:24 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:52:04 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:52:22 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:53:28 +0100	rusty	(~rustyboy@2a02:2f0e:5610:ab00:b16b:f583:26df:4061)
2021-12-04 23:54:12 +0100	max22-	(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-12-04 23:56:19 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-12-04 23:56:38 +0100	hskpractice	(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-12-04 23:57:45 +0100	geekosaur	(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-04 23:58:16 +0100	axeman	(~quassel@2a02:8109:a3c0:b10:814a:ccac:5077:2ffa) (Ping timeout: 245 seconds)
2021-12-04 23:59:24 +0100	geekosaur	(~geekosaur@xmonad/geekosaur)
2021-12-04 23:59:45 +0100	curiousgay	(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds)