Logs: liberachat/#haskell
| 2025-09-16 14:55:56 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 2025-09-16 14:55:56 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2025-09-16 14:55:56 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 2025-09-16 14:55:56 | ChanServ | sets mode +v lambdabot |
| 2025-09-16 14:56:27 | <pounce> | maybe since ++_ is append and _++ is prepend it's interpend :D |
| 2025-09-16 14:56:30 | → | bcksl joins (~bcksl@user/bcksl) |
| 2025-09-16 14:59:19 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-09-16 14:59:32 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-09-16 14:59:45 | → | AVA joins (~AVA@185.78.138.166) |
| 2025-09-16 15:00:15 | trickard_ | is now known as trickard |
| 2025-09-16 15:01:13 | × | AVA quits (~AVA@185.78.138.166) (Remote host closed the connection) |
| 2025-09-16 15:01:40 | → | Guest77 joins (~Guest77@static-186-121-246-148.acelerate.net) |
| 2025-09-16 15:03:16 | → | tapas_ joins (sid467876@id-467876.ilkley.irccloud.com) |
| 2025-09-16 15:03:52 | → | lyxia joins (~lyxia@poisson.chat) |
| 2025-09-16 15:03:56 | → | Ram-Z_ joins (~Ram-Z@li1814-254.members.linode.com) |
| 2025-09-16 15:04:08 | <Guest77> | hi |
| 2025-09-16 15:04:18 | <[exa]> | hello! |
| 2025-09-16 15:04:18 | → | FragByte_ joins (~christian@user/fragbyte) |
| 2025-09-16 15:04:33 | <[exa]> | pounce: impend. |
| 2025-09-16 15:04:49 | <pounce> | better |
| 2025-09-16 15:04:57 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-09-16 15:04:58 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 2025-09-16 15:04:59 | → | Fangs_ joins (sid141280@id-141280.hampstead.irccloud.com) |
| 2025-09-16 15:05:27 | → | dostoyev1ky2 joins (~sck@user/dostoyevsky2) |
| 2025-09-16 15:05:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-16 15:05:34 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 2025-09-16 15:05:38 | → | edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 2025-09-16 15:05:47 | × | dostoyev1ky2 quits (~sck@user/dostoyevsky2) (Client Quit) |
| 2025-09-16 15:05:53 | → | unlucy_ joins (sid572875@user/unlucy) |
| 2025-09-16 15:06:05 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2025-09-16 15:06:06 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 2025-09-16 15:06:18 | → | iphy_ joins (sid67735@user/iphy) |
| 2025-09-16 15:06:19 | → | adamCS joins (~adamCS@70.19.85.77) |
| 2025-09-16 15:06:24 | → | remsen joins (ianremsen@tilde.team) |
| 2025-09-16 15:06:37 | → | whereiseveryone_ joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 2025-09-16 15:06:44 | → | [dpk] joins (~dpk@jains.nonceword.org) |
| 2025-09-16 15:07:00 | → | dunj3_ joins (~dunj3@h1765027.stratoserver.net) |
| 2025-09-16 15:07:17 | × | remmie quits (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2025-09-16 15:07:17 | × | bcksl quits (~bcksl@user/bcksl) (Quit: \) |
| 2025-09-16 15:07:17 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | unlucy quits (sid572875@user/unlucy) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:17 | × | buhman quits (sid411355@user/buhman) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:18 | × | Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2025-09-16 15:07:18 | tapas_ | is now known as tapas |
| 2025-09-16 15:07:18 | → | buhman joins (sid411355@user/buhman) |
| 2025-09-16 15:07:18 | × | Ram-Z quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:18 | Fangs_ | is now known as Fangs |
| 2025-09-16 15:07:18 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:18 | × | n3t quits (~n3t@user/n3t) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:19 | × | fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:19 | × | FragByte quits (~christian@user/fragbyte) (Read error: Connection reset by peer) |
| 2025-09-16 15:07:19 | unlucy_ | is now known as unlucy |
| 2025-09-16 15:07:19 | × | dunj3 quits (~dunj3@2a01:239:328:1600::1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-16 15:07:19 | × | dpk quits (~dpk@jains.nonceword.org) (Quit: .) |
| 2025-09-16 15:07:20 | FragByte_ | is now known as FragByte |
| 2025-09-16 15:07:21 | remsen | is now known as remmie |
| 2025-09-16 15:07:30 | → | n3t joins (~n3t@user/n3t) |
| 2025-09-16 15:07:32 | × | She quits (haveident@libera/staff/she/her) (Read error: Connection reset by peer) |
| 2025-09-16 15:07:32 | SheRejoined | is now known as She |
| 2025-09-16 15:07:37 | × | iphy quits (sid67735@user/iphy) (Ping timeout: 260 seconds) |
| 2025-09-16 15:07:37 | iphy_ | is now known as iphy |
| 2025-09-16 15:07:42 | × | __monty__ quits (~toonn@user/toonn) (Remote host closed the connection) |
| 2025-09-16 15:07:47 | [dpk] | is now known as dpk |
| 2025-09-16 15:07:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-16 15:08:01 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 2025-09-16 15:08:02 | × | fp quits (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) (Remote host closed the connection) |
| 2025-09-16 15:08:07 | → | snek joins (sid280155@id-280155.lymington.irccloud.com) |
| 2025-09-16 15:08:10 | × | aku_ quits (aku@65.108.245.241) (Remote host closed the connection) |
| 2025-09-16 15:08:20 | → | aku joins (aku@65.108.245.241) |
| 2025-09-16 15:08:26 | → | Guest13 joins (~Guest77@static-186-121-238-172.acelerate.net) |
| 2025-09-16 15:08:47 | × | tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2025-09-16 15:09:24 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 2025-09-16 15:09:24 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 2025-09-16 15:09:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 15:09:37 | → | Guest19 joins (~Guest77@static-186-121-238-172.acelerate.net) |
| 2025-09-16 15:09:42 | <Guest19> | Hi everyone! I'm practicing type inference in Haskell and came across this function: |
| 2025-09-16 15:09:42 | <Guest19> | f10 :: ((Int -> Int) -> Int) -> (Bool -> (Int -> (Bool -> Int))) |
| 2025-09-16 15:09:43 | <Guest19> | f10 x y z w = if y then 10 else (x (\a -> a + 10)) |
| 2025-09-16 15:09:43 | <Guest19> | I understand that `f10` takes a higher-order function and returns a deeply nested function, but I'm struggling to intuitively grasp how to read and reason about this type. Any tips on how to build better intuition for these kinds of multi-layered types? |
| 2025-09-16 15:09:44 | → | fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1) |
| 2025-09-16 15:10:41 | × | Guest13 quits (~Guest77@static-186-121-238-172.acelerate.net) (Client Quit) |
| 2025-09-16 15:10:49 | whereiseveryone_ | is now known as whereiseveryone |
| 2025-09-16 15:10:59 | <tomsmeding> | Guest19: the first step is to realise that `a -> b -> c` is just syntactic sugar for `a -> (b -> c)` |
| 2025-09-16 15:11:15 | <tomsmeding> | so your type can be rewritten `f10 :: ((Int -> Int) -> Int) -> Bool -> Int -> Bool -> Int` |
| 2025-09-16 15:11:24 | <tomsmeding> | does that help, or had you gotten that far already? |
| 2025-09-16 15:11:48 | → | bcksl joins (~bcksl@user/bcksl) |
| 2025-09-16 15:12:19 | × | Guest77 quits (~Guest77@static-186-121-246-148.acelerate.net) (Ping timeout: 250 seconds) |
| 2025-09-16 15:12:57 | → | ames8 joins (~amelia@offtopia/offtopian/amelia) |
| 2025-09-16 15:14:14 | → | pie__ joins (~pie_bnc@user/pie/x-2818909) |
| 2025-09-16 15:14:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-16 15:15:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-16 15:16:36 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2025-09-16 15:17:16 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-16 15:17:36 | → | taktoa[c]_ joins (sid282096@id-282096.tinside.irccloud.com) |
| 2025-09-16 15:17:39 | → | peutri_ joins (~peutri@bobo.desast.re) |
| 2025-09-16 15:17:49 | → | arandombit joins (~arandombi@user/arandombit) |
All times are in UTC.