Logs: liberachat/#haskell
| 2025-11-17 16:25:52 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 16:25:54 | → | Googulator89 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 16:27:54 | Googulator89 | is now known as Googulator |
| 2025-11-17 16:28:08 | → | Zemy joins (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-11-17 16:29:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-11-17 16:30:03 | × | vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-11-17 16:31:15 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 2025-11-17 16:31:26 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) (Ping timeout: 265 seconds) |
| 2025-11-17 16:31:28 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-17 16:31:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-17 16:34:06 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) |
| 2025-11-17 16:34:53 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-17 16:35:30 | → | Core7738 joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-17 16:36:29 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) (Read error: Connection reset by peer) |
| 2025-11-17 16:36:29 | → | Core3185 joins (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) |
| 2025-11-17 16:36:48 | × | Zemy quits (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 16:39:44 | × | Core7738 quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 240 seconds) |
| 2025-11-17 16:40:19 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 16:40:34 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 16:43:44 | trickard_ | is now known as trickard |
| 2025-11-17 17:12:13 | → | Zemy joins (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 17:14:15 | <hololeap> | what was the thing where you can give it a type signature and it gives you back a function/one-liner? |
| 2025-11-17 17:15:08 | <hololeap> | (trying to remember the canonical way to do [a -> b] -> a -> [b]) |
| 2025-11-17 17:15:25 | × | Core3185 quits (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) (Ping timeout: 250 seconds) |
| 2025-11-17 17:15:46 | → | Zemy_ joins (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 2025-11-17 17:16:50 | <hololeap> | I guess (\a -> fmap ($ a)) |
| 2025-11-17 17:17:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-17 17:18:31 | × | Zemy quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 240 seconds) |
| 2025-11-17 17:20:28 | <geekosaur> | djinn but it doesn't handle recursive types iirc? |
| 2025-11-17 17:20:50 | <geekosaur> | @djinn [a -> b] -> a -> [b]) |
| 2025-11-17 17:20:50 | <lambdabot> | Cannot parse command |
| 2025-11-17 17:21:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-17 17:21:33 | <hololeap> | thanks, I couldn't remember what it was called. I can install it locally :) |
| 2025-11-17 17:22:27 | → | Zemy joins (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) |
| 2025-11-17 17:24:39 | × | Zemy_ quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 17:28:06 | <haskellbridge> | <doc> hololeap: i think that signature can be satisfied with just sequenceA or sequence |
| 2025-11-17 17:28:28 | <yin> | How can I have an idea of the current state of Yampa? |
| 2025-11-17 17:28:39 | <yin> | still a goto choice for FRP? |
| 2025-11-17 17:33:34 | → | Square3 joins (~Square@user/square) |
| 2025-11-17 17:34:18 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-11-17 17:36:34 | × | Square2 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-11-17 17:37:35 | × | qqe quits (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-17 17:38:40 | × | annamalai quits (~annamalai@157.33.248.131) (Ping timeout: 245 seconds) |
| 2025-11-17 17:47:03 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-17 17:48:52 | <hololeap> | yin: check the repo for recent commits |
| 2025-11-17 17:49:40 | × | Vajb quits (~Vajb@n5ges64xxne6jwy5ufr-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2025-11-17 17:50:20 | → | Vajb joins (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) |
| 2025-11-17 17:50:40 | <hololeap> | kind of concerning that they only test up to ghc 8.10, though: https://app.travis-ci.com/github/ivanperez-keera/Yampa/builds/274379953/config |
| 2025-11-17 17:50:40 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 17:52:35 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 17:52:49 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 17:54:05 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-11-17 17:54:25 | × | Vajb quits (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 2025-11-17 17:56:02 | <geekosaur> | didn't they make a new release within the past couple months? |
| 2025-11-17 17:57:09 | <geekosaur> | hm, apparently not |
| 2025-11-17 17:57:35 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-17 17:57:58 | → | Vajb joins (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) |
| 2025-11-17 17:58:01 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-11-17 18:02:00 | × | Vajb quits (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2025-11-17 18:02:42 | → | Vajb joins (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) |
| 2025-11-17 18:06:38 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-17 18:06:43 | × | Vajb quits (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 2025-11-17 18:06:51 | → | myxokephale joins (~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) |
| 2025-11-17 18:09:18 | × | myxos quits (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) (Ping timeout: 244 seconds) |
| 2025-11-17 18:12:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-17 18:14:44 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-17 18:19:30 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-17 18:19:31 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-17 18:20:39 | × | Zemy quits (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) (Read error: Connection reset by peer) |
| 2025-11-17 18:21:03 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-17 18:21:04 | → | Zemy joins (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) |
| 2025-11-17 18:21:28 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-17 18:21:37 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-17 18:21:56 | → | Vajb joins (~Vajb@n6jd7kwb4e2quheg6tf-1.v6.elisa-mobile.fi) |
| 2025-11-17 18:22:31 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-17 18:22:48 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 2025-11-17 18:23:43 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-17 18:25:13 | × | Zemy quits (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) (Ping timeout: 246 seconds) |
| 2025-11-17 18:25:21 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 2025-11-17 18:26:34 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 18:30:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-17 18:32:26 | × | kuribas quits (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-17 18:33:19 | <yin> | hololeap: common pattern i use is `f <*> pure x` |
| 2025-11-17 18:33:43 | <yin> | or rather `fs <*> pure x` |
| 2025-11-17 18:33:52 | <yin> | where fs :: [a -> b] |
| 2025-11-17 18:36:34 | trickard_ | is now known as trickard |
| 2025-11-17 18:36:43 | <hololeap> | ye |
| 2025-11-17 18:38:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-11-17 18:49:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-17 18:56:56 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2025-11-17 18:57:17 | Xe_ | is now known as Xe |
| 2025-11-17 18:57:41 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-17 19:03:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-17 19:06:18 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-11-17 19:11:29 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2025-11-17 19:15:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-17 19:15:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Read error: Connection reset by peer) |
| 2025-11-17 19:16:23 | <monochrom> | Wait, there is a law about fs <*> pure x. |
| 2025-11-17 19:18:37 | <monochrom> | = (\f -> f x) <*> fs |
| 2025-11-17 19:19:00 | <monochrom> | err, (\f -> f x) <$> fs |
All times are in UTC.