Logs: freenode/#haskell
| 2021-04-25 09:55:51 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-25 09:55:57 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-25 09:56:28 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-25 09:59:03 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-25 09:59:21 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-25 09:59:51 | → | mmfood joins (~mmfood@45.91.21.59) |
| 2021-04-25 10:00:26 | × | mmfood_1 quits (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 2021-04-25 10:00:31 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-25 10:02:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-25 10:04:47 | × | mmfood quits (~mmfood@45.91.21.59) (Ping timeout: 260 seconds) |
| 2021-04-25 10:04:51 | × | drbean_ quits (~drbean@TC210-63-209-152.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-25 10:05:26 | × | jgt quits (~jgt@78.162.43.217) (Ping timeout: 240 seconds) |
| 2021-04-25 10:08:09 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-25 10:08:46 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-25 10:09:04 | → | mmfood joins (~mmfood@45.91.21.59) |
| 2021-04-25 10:10:41 | → | jgt joins (~jgt@78.162.43.217) |
| 2021-04-25 10:11:55 | × | dansho quits (~dansho@ec2-52-198-118-239.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 2021-04-25 10:12:45 | → | shad0w_ joins (a0ca2598@160.202.37.152) |
| 2021-04-25 10:21:12 | × | __minoru__shirae quits (~shiraeesh@77.94.25.177) (Ping timeout: 240 seconds) |
| 2021-04-25 10:21:34 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-25 10:22:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-25 10:23:33 | → | mmfood_1 joins (~mmfood@45.91.21.59) |
| 2021-04-25 10:24:01 | × | mmfood quits (~mmfood@45.91.21.59) (Ping timeout: 268 seconds) |
| 2021-04-25 10:25:11 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-25 10:26:41 | → | __minoru__shirae joins (~shiraeesh@77.94.25.177) |
| 2021-04-25 10:30:34 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-25 10:32:52 | × | dastomaten quits (~dastomate@0543f40b.skybroadband.com) (Ping timeout: 240 seconds) |
| 2021-04-25 10:32:59 | → | dastomaten joins (~dastomate@0543f40b.skybroadband.com) |
| 2021-04-25 10:34:09 | <DigitalKiwi> | kiwi@mvp-nixos ~ []$ nix shell nixpkgs#jq nixpkgs#fzf nixpkgs#peco -c bash -c "nix-instantiate --eval --json -E 'builtins.attrNames (import <nixpkgs> {}).haskellPackages' | jq '.[]' -r|wc -l" |
| 2021-04-25 10:34:10 | <DigitalKiwi> | 16009 |
| 2021-04-25 10:35:58 | <DigitalKiwi> | how many are broken on the other hand... |
| 2021-04-25 10:36:52 | × | bennofs_ quits (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-04-25 10:36:56 | × | lemmih quits (~lemmih@2406:3003:2072:44:b750:bcd2:3182:6116) (Remote host closed the connection) |
| 2021-04-25 10:37:13 | → | bennofs_ joins (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) |
| 2021-04-25 10:37:14 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-04-25 10:39:14 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-04-25 10:40:34 | <DigitalKiwi> | nix-env -f channel:nixos-unstable -qaP -A haskellPackages|wc -l |
| 2021-04-25 10:40:36 | <DigitalKiwi> | 15992 |
| 2021-04-25 10:41:25 | <DigitalKiwi> | https://dpaste.com/A7WXCR9CY here's that for last 5 nixos releases |
| 2021-04-25 10:41:28 | → | kuribas joins (~user@ptr-25vy0i9wzo9a9ov2el7.18120a2.ip6.access.telenet.be) |
| 2021-04-25 10:42:30 | × | oleks_ quits (~oleks@188.166.34.97) (Quit: leaving) |
| 2021-04-25 10:42:44 | → | oleks joins (~oleks@188.166.34.97) |
| 2021-04-25 10:43:47 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-25 10:45:16 | <kuribas> | @hoogle (a -> a -> a) -> Maybe a -> Maybe a -> a |
| 2021-04-25 10:45:17 | <lambdabot> | Data.Functor.Adjunction zapWithAdjunction :: Adjunction f u => (a -> b -> c) -> u a -> f b -> c |
| 2021-04-25 10:45:17 | <lambdabot> | Util foldMap2 :: (Foldable t, Applicative t, Monoid z) => (a -> b -> z) -> t a -> t b -> z |
| 2021-04-25 10:45:17 | <lambdabot> | Linear.Vector liftU2 :: Additive f => (a -> a -> a) -> f a -> f a -> f a |
| 2021-04-25 10:45:27 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-25 10:48:36 | → | ADG1089 joins (~aditya@171.76.29.233) |
| 2021-04-25 10:50:07 | <ADG1089> | any ideas how can i optimize this function for speed? https://bpa.st/7BXQ |
| 2021-04-25 10:50:23 | <ADG1089> | should i use bang patterns on r & r'? |
| 2021-04-25 10:50:36 | <ADG1089> | and case statement on q to force evaluation? |
| 2021-04-25 10:50:52 | × | __minoru__shirae quits (~shiraeesh@77.94.25.177) (Ping timeout: 240 seconds) |
| 2021-04-25 10:53:52 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-25 10:55:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-25 10:56:44 | → | HelplessProgramm joins (4f911f9c@156.red-79-145-31.dynamicip.rima-tde.net) |
| 2021-04-25 10:57:04 | <HelplessProgramm> | hello guys |
| 2021-04-25 10:57:06 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-25 10:57:09 | <HelplessProgramm> | Anyone here? |
| 2021-04-25 10:57:27 | <HelplessProgramm> | I'm really desperate with a haskell program :( |
| 2021-04-25 10:57:41 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-04-25 10:57:45 | → | __minoru__shirae joins (~shiraeesh@77.94.25.177) |
| 2021-04-25 10:58:02 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-25 10:58:22 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-25 10:58:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-25 10:58:49 | → | mmfood_2 joins (~mmfood@185.176.246.69) |
| 2021-04-25 10:59:22 | <HelplessProgramm> | Pleaseee |
| 2021-04-25 11:00:06 | <HelplessProgramm> | My problem is i have a tuple and a list, and i want to search the first element in the tuple in the list and replace it with the second |
| 2021-04-25 11:00:35 | × | shad0w_ quits (a0ca2598@160.202.37.152) (Quit: Connection closed) |
| 2021-04-25 11:01:10 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-25 11:01:15 | × | HelplessProgramm quits (4f911f9c@156.red-79-145-31.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-04-25 11:01:18 | × | mmfood_1 quits (~mmfood@45.91.21.59) (Ping timeout: 260 seconds) |
| 2021-04-25 11:02:24 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-25 11:04:55 | → | tlaxkit joins (~konversat@185.228.155.197) |
| 2021-04-25 11:05:12 | <ADG1089> | > {f _ _ [] = [];f t@(a, _) b (x:xs)|a==x=b:xs'|True=x:xs' where xs' = f t b xs} |
| 2021-04-25 11:05:14 | <lambdabot> | <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘{’ |
| 2021-04-25 11:05:36 | <ADG1089> | > let {f _ _ [] = [];f t@(a, _) b (x:xs)|a==x=b:xs'|True=x:xs' where xs' = f t b xs} |
| 2021-04-25 11:05:38 | <lambdabot> | <no location info>: error: |
| 2021-04-25 11:05:38 | <lambdabot> | not an expression: ‘let {f _ _ [] = [];f t@(a, _) b (x:xs)|a==x=b:xs'|Tr... |
| 2021-04-25 11:06:26 | <ADG1089> | > let {f _ _ [] = [];f t@(a, _) b (x:xs)|a==x=b:xs'|True=x:xs' where xs' = f t b xs} in f (2,3) 5 [1..10] |
| 2021-04-25 11:06:28 | <lambdabot> | [1,5,3,4,5,6,7,8,9,10] |
| 2021-04-25 11:06:48 | <ADG1089> | HelplessProgramm: ^ |
| 2021-04-25 11:07:50 | → | gaff joins (~user@49.207.205.205) |
| 2021-04-25 11:08:45 | <gaff> | :t forAll (listOf1 arbitrary) $ \xs -> last (g xs) == maximum xs -- gives Property |
| 2021-04-25 11:08:46 | <lambdabot> | error: |
| 2021-04-25 11:08:46 | <lambdabot> | • No instance for (FromExpr [()]) arising from a use of ‘g’ |
| 2021-04-25 11:08:46 | <lambdabot> | • In the first argument of ‘last’, namely ‘(g xs)’ |
| 2021-04-25 11:09:29 | <gaff> | :t forAll (listOf1 arbitrary) $ \xs -> classify (length xs == 0) "empty" $ last (g xs) == maximum xs -- also gives Property |
| 2021-04-25 11:09:31 | <lambdabot> | error: |
| 2021-04-25 11:09:31 | <lambdabot> | Variable not in scope: classify :: Bool -> [Char] -> Bool -> prop0 |
| 2021-04-25 11:09:52 | <gaff> | this stuff is from quick check |
| 2021-04-25 11:10:10 | <gaff> | how could both these expressions have same type? |
| 2021-04-25 11:10:50 | <gaff> | ignore the lamdabot for now |
| 2021-04-25 11:11:36 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-25 11:11:55 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-25 11:12:55 | <gaff> | appreciate any help |
| 2021-04-25 11:15:10 | × | __minoru__shirae quits (~shiraeesh@77.94.25.177) (Ping timeout: 252 seconds) |
| 2021-04-25 11:16:47 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-25 11:17:12 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-25 11:17:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
All times are in UTC.