Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 514 515 516 517 518 519 520 521 522 523 524 .. 18004
— 1,800,397 events total
2021-06-17 19:30:11 → cfricke joins (~cfricke@user/cfricke)
2021-06-17 19:33:09 <dminuoso> Guest9: A loop is trivially mapped into recursion of an (auxiliary) function. We encode a "loop variable" as a function argument, when the "loop increments a loop variable" we encode that as recursion with the argument modified, and exiting the loop by simply returning the final value.
2021-06-17 19:33:24 <dminuoso> @src length
2021-06-17 19:33:24 <lambdabot> Source not found. My brain just exploded
2021-06-17 19:33:41 <[exa]> imploded.
2021-06-17 19:34:46 <dminuoso> A possible version of the length function might look like this: length xs = go 0 xs where go n (x:xs) = go (n+1) xs; go n [] = n;
2021-06-17 19:36:07 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-17 19:36:39 <dminuoso> Guest9: If you look at this, you might notice that the outside call into `go` with an argument of 0 is akin to "initializing a loop variable", modifying it by (n+1) in the recursive step is akin to "increment each step", and we can use guards/pattern matching/conditionals that decide whether or not to keep recursion as a way to keep looping or exit the loop.
2021-06-17 19:38:31 <Guest9> dminuoso trying to understand your point
2021-06-17 19:38:38 → agumonke` joins (~user@88.160.31.174)
2021-06-17 19:39:35 → Deide joins (~Deide@wire.desu.ga)
2021-06-17 19:39:35 × Deide quits (~Deide@wire.desu.ga) (Changing host)
2021-06-17 19:39:35 → Deide joins (~Deide@user/deide)
2021-06-17 19:40:17 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-17 19:40:21 × kuribas quits (~user@ptr-25vy0i9z0t743gg6aow.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-06-17 19:40:42 × fabfianda quits (~fabfianda@mob-5-90-247-131.net.vodafone.it) (Ping timeout: 240 seconds)
2021-06-17 19:41:04 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-17 19:41:06 → involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net)
2021-06-17 19:41:29 → fabfianda joins (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it)
2021-06-17 19:43:26 → Donvini joins (~Donvini@user/donvini)
2021-06-17 19:44:53 → ml90864 joins (~ml90864@81-204-103-231.fixed.kpn.net)
2021-06-17 19:45:23 → Pickchea joins (~private@user/pickchea)
2021-06-17 19:48:54 × fabfianda quits (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 264 seconds)
2021-06-17 19:49:22 → fabfianda joins (~fabfianda@mob-5-90-243-110.net.vodafone.it)
2021-06-17 19:49:59 → superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net)
2021-06-17 19:57:07 → neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-17 19:57:35 × jludwig quits (~jludwig@2601:644:8500:c460:82e6:50ff:fe1c:f30e) (Ping timeout: 272 seconds)
2021-06-17 20:00:20 × boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed)
2021-06-17 20:01:30 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds)
2021-06-17 20:03:53 × fabfianda quits (~fabfianda@mob-5-90-243-110.net.vodafone.it) (Ping timeout: 268 seconds)
2021-06-17 20:04:07 → fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-17 20:05:13 <kw> Gonna ask this again. `traverseOf` has an operator `(%%~)` . If `traverseOf_` had on operator, would it be `(-%~)`, `(%%-)` , or something else?
2021-06-17 20:05:44 × juhp quits (~juhp@128.106.188.66) (Ping timeout: 268 seconds)
2021-06-17 20:07:11 → juhp joins (~juhp@128.106.188.66)
2021-06-17 20:11:17 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-17 20:11:24 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-17 20:11:28 × kw quits (~user@152.1.137.158) (Quit: going down for a restart)
2021-06-17 20:14:18 × Guest9 quits (~Guest9@103.240.170.8) (Quit: Connection closed)
2021-06-17 20:15:53 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-17 20:19:09 → Guest7 joins (~Guest7@r167-62-166-76.dialup.adsl.anteldata.net.uy)
2021-06-17 20:19:34 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-06-17 20:20:06 × muto quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 264 seconds)
2021-06-17 20:20:16 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-17 20:20:40 → ixlun joins (~matthew@213.205.241.86)
2021-06-17 20:20:42 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-17 20:21:09 × Guest7 quits (~Guest7@r167-62-166-76.dialup.adsl.anteldata.net.uy) (Client Quit)
2021-06-17 20:21:23 → zangi joins (~azure@103.154.230.133)
2021-06-17 20:22:29 × derelict quits (~derelict@user/derelict) (Ping timeout: 252 seconds)
2021-06-17 20:24:17 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:110d:2114:b7bd:a1e5)
2021-06-17 20:27:11 → NieDzejkob_ joins (~quassel@195.149.98.3)
2021-06-17 20:27:18 × NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 272 seconds)
2021-06-17 20:27:44 → elvishjerricco_ joins (sid237756@id-237756.brockwell.irccloud.com)
2021-06-17 20:27:50 → scav_ joins (sid309693@id-309693.brockwell.irccloud.com)
2021-06-17 20:27:54 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-17 20:27:56 → jmct_ joins (sid160793@id-160793.tinside.irccloud.com)
2021-06-17 20:28:00 → jackdk_ joins (sid373013@cssa/jackdk)
2021-06-17 20:28:00 → cbarrett_ joins (sid192934@id-192934.brockwell.irccloud.com)
2021-06-17 20:28:10 → PotatoGim_ joins (sid99505@id-99505.tooting.irccloud.com)
2021-06-17 20:28:16 → hololeap joins (hololeap@user/hololeap)
2021-06-17 20:30:27 → kosmikus_ joins (~kosmikus@nullzig.kosmikus.org)
2021-06-17 20:32:06 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-06-17 20:32:06 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-06-17 20:32:22 allbery_b is now known as geekosaur
2021-06-17 20:32:55 → fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-17 20:35:05 × jmct quits (sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
2021-06-17 20:35:05 × mikko quits (~mikko@2a02:7b40:d418:6a61::1) (*.net *.split)
2021-06-17 20:35:05 × cbarrett quits (sid192934@id-192934.brockwell.irccloud.com) (*.net *.split)
2021-06-17 20:35:05 × elvishjerricco quits (sid237756@id-237756.brockwell.irccloud.com) (*.net *.split)
2021-06-17 20:35:05 × kosmikus quits (~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2021-06-17 20:35:05 × jackdk quits (sid373013@cssa/jackdk) (*.net *.split)
2021-06-17 20:35:05 × scav quits (sid309693@id-309693.brockwell.irccloud.com) (*.net *.split)
2021-06-17 20:35:05 × PotatoGim quits (sid99505@id-99505.tooting.irccloud.com) (*.net *.split)
2021-06-17 20:35:05 jmct_ is now known as jmct
2021-06-17 20:35:05 jackdk_ is now known as jackdk
2021-06-17 20:35:05 elvishjerricco_ is now known as elvishjerricco
2021-06-17 20:35:05 cbarrett_ is now known as cbarrett
2021-06-17 20:35:05 scav_ is now known as scav
2021-06-17 20:35:06 PotatoGim_ is now known as PotatoGim
2021-06-17 20:38:05 → derelict joins (~derelict@user/derelict)
2021-06-17 20:38:45 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2021-06-17 20:40:49 → lavaman joins (~lavaman@98.38.249.169)
2021-06-17 20:41:01 → bilegeek joins (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7)
2021-06-17 20:42:14 → mikko joins (~mikko@2a02:7b40:d418:6a61::1)
2021-06-17 20:42:27 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-06-17 20:42:31 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 244 seconds)
2021-06-17 20:42:37 → fluffyballoon31 joins (~fluffybal@2620:72:0:6480::11fd)
2021-06-17 20:45:36 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-17 20:45:49 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-17 20:46:12 × fluffyballoon quits (~fluffybal@199.204.58.62) (Ping timeout: 250 seconds)
2021-06-17 20:46:59 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2021-06-17 20:49:42 fluffyballoon31 is now known as fluffyballoon
2021-06-17 20:50:43 × ixlun quits (~matthew@213.205.241.86) (Read error: Connection reset by peer)
2021-06-17 20:51:18 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-17 20:51:22 × alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds)
2021-06-17 20:51:51 → Obo joins (~roberto@139.47.77.82)
2021-06-17 20:52:39 → hexfive joins (~eric@50.35.83.177)
2021-06-17 20:53:12 blackbar1 is now known as blackbart
2021-06-17 20:53:32 × tako quits (~user@net-2-34-77-146.cust.vodafonedsl.it) (Quit: ERC (IRC client for Emacs 27.2))
2021-06-17 20:53:38 × hexfive quits (~eric@50.35.83.177) (Client Quit)
2021-06-17 20:54:14 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 514 515 516 517 518 519 520 521 522 523 524 .. 18004

All times are in UTC.