Logs: freenode/#haskell
| 2021-03-20 16:21:16 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-20 16:25:02 | × | Lycurgus quits (~niemand@98.4.116.165) (Quit: Exeunt) |
| 2021-03-20 16:25:49 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-20 16:25:49 | finn_elija | is now known as Guest94917 |
| 2021-03-20 16:25:49 | FinnElija | is now known as finn_elija |
| 2021-03-20 16:26:30 | × | LogicUpgrade quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-03-20 16:26:35 | × | Guest94917 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-03-20 16:27:49 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-20 16:27:49 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-20 16:27:54 | × | Nik05 quits (~Nik05@unaffiliated/nik05) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-20 16:28:03 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-20 16:28:40 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-20 16:29:53 | hackage | eio 0.0.0.0 - IO with Exceptions tracked on the type-level https://hackage.haskell.org/package/eio-0.0.0.0 (shersh) |
| 2021-03-20 16:31:31 | × | peanut__ quits (~peanut@2a02:8388:a101:2600:c761:606c:52ea:3637) (Quit: Leaving) |
| 2021-03-20 16:31:31 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-20 16:31:39 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-20 16:31:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:6075:d116:7f4b:9342) |
| 2021-03-20 16:32:07 | → | Nik05 joins (~Nik05@unaffiliated/nik05) |
| 2021-03-20 16:32:37 | <ski> | bbhoss : tail calls are relevant, but not as relevant as in strict languages. often, it may be better to be incremental, rather than bulky (which is forced by being tail-recursive), if possible |
| 2021-03-20 16:32:46 | × | Nik05 quits (~Nik05@unaffiliated/nik05) (Remote host closed the connection) |
| 2021-03-20 16:33:42 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-20 16:34:25 | → | Nik05 joins (~Nik05@unaffiliated/nik05) |
| 2021-03-20 16:36:00 | × | smerdyakov quits (~dan@5.146.194.90) (Read error: Connection reset by peer) |
| 2021-03-20 16:36:13 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:6075:d116:7f4b:9342) (Ping timeout: 244 seconds) |
| 2021-03-20 16:37:02 | → | smerdyakov joins (~dan@5.146.194.90) |
| 2021-03-20 16:37:11 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-03-20 16:37:33 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-20 16:38:56 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-20 16:43:42 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-20 16:44:21 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-03-20 16:46:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-20 16:46:50 | × | xff0x_ quits (~xff0x@2001:1a81:527b:4200:5766:67eb:a550:2a8c) (Ping timeout: 264 seconds) |
| 2021-03-20 16:48:00 | × | zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-03-20 16:48:32 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-20 16:48:37 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:f505:704b:5f9d:32bd) (Ping timeout: 244 seconds) |
| 2021-03-20 16:48:40 | → | xff0x_ joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-03-20 16:50:11 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-20 16:50:28 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-20 16:51:46 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-20 16:52:08 | × | Benzi-Junior quits (~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 240 seconds) |
| 2021-03-20 16:52:24 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-20 16:54:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-03-20 16:54:32 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-03-20 16:55:00 | → | nfd joins (~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net) |
| 2021-03-20 16:55:28 | × | frozenErebus quits (~frozenEre@94.129.70.18) (Ping timeout: 256 seconds) |
| 2021-03-20 16:55:28 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-20 16:55:45 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-20 16:55:49 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-03-20 16:56:10 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2021-03-20 16:56:24 | × | ariel_ quits (~ariel_@178.239.168.171) (Remote host closed the connection) |
| 2021-03-20 16:57:53 | hackage | flatparse 0.1.1.2 - High-performance parsing from strict bytestrings https://hackage.haskell.org/package/flatparse-0.1.1.2 (AndrasKovacs) |
| 2021-03-20 17:01:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-20 17:02:01 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:d9c5) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-20 17:02:26 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-20 17:02:48 | → | timCF joins (~i.tkachuk@m91-129-99-43.cust.tele2.ee) |
| 2021-03-20 17:03:46 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-20 17:05:31 | <timCF> | Hello! Does anybody know what is the reason behind `Functor` being superclass of `Applicative`, and `Applicative` being superclass of `Monad`? |
| 2021-03-20 17:05:46 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2021-03-20 17:07:04 | tomsmeding | thinks that 'flatparse' library looks pretty nifty |
| 2021-03-20 17:07:50 | <tomsmeding> | timCF: are you asking why those classes exist in the first place, or why they are in that superclass relationship? |
| 2021-03-20 17:08:21 | → | xhlr joins (~xhlr@static.144.156.216.95.clients.your-server.de) |
| 2021-03-20 17:08:51 | <timCF> | tomsmeding: why there is such superclass relationship. Why they have to be related this way? |
| 2021-03-20 17:09:13 | <tomsmeding> | timCF: because every Applicative would be a Functor anyhow: fmap f x = pure f <*> x |
| 2021-03-20 17:09:50 | <geekosaur> | and every Monad would be a Functor anyhow (see liftM) |
| 2021-03-20 17:09:53 | <tomsmeding> | and similarly every Monad would be an Applicative anyhow: pure = return; mf <*> mx = mf >>= \f -> mx >>= \x -> return (f x) |
| 2021-03-20 17:09:54 | <geekosaur> | @src liftM |
| 2021-03-20 17:09:54 | <lambdabot> | liftM f m1 = do |
| 2021-03-20 17:09:54 | <lambdabot> | x1 <- m1 |
| 2021-03-20 17:09:54 | <lambdabot> | return (f x1) |
| 2021-03-20 17:10:19 | → | Beetstra1 joins (~Beetstra@185.204.1.185) |
| 2021-03-20 17:10:24 | tomsmeding | hopes that <*> implementation typechecks |
| 2021-03-20 17:10:37 | <tomsmeding> | :t \mf mx -> mf >>= \f -> mx >>= \x -> return (f x) |
| 2021-03-20 17:10:39 | <lambdabot> | Monad m => m (t -> b) -> m t -> m b |
| 2021-03-20 17:10:42 | <tomsmeding> | yay |
| 2021-03-20 17:11:12 | <hpc> | :t return |
| 2021-03-20 17:11:14 | <lambdabot> | Monad m => a -> m a |
| 2021-03-20 17:11:17 | <hpc> | :t (>>=) |
| 2021-03-20 17:11:18 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2021-03-20 17:11:26 | <ski> | (<*>) = ap |
| 2021-03-20 17:11:28 | <hpc> | i wonder why it decided to name that type variable t |
| 2021-03-20 17:12:14 | <ski> | @type ap |
| 2021-03-20 17:12:15 | <lambdabot> | Monad m => m (a -> b) -> m a -> m b |
| 2021-03-20 17:12:22 | <ski> | @src ap |
| 2021-03-20 17:12:22 | <lambdabot> | ap = liftM2 id |
| 2021-03-20 17:12:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-20 17:12:56 | × | xff0x_ quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds) |
| 2021-03-20 17:12:59 | × | Nik05 quits (~Nik05@unaffiliated/nik05) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-20 17:13:21 | → | Nik05 joins (~Nik05@unaffiliated/nik05) |
| 2021-03-20 17:14:06 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:8dad:96e9:564f:ba6c) |
| 2021-03-20 17:14:07 | <geekosaur> | :t let x = x in x -- seems to be the new "default type" |
| 2021-03-20 17:14:09 | <lambdabot> | t |
| 2021-03-20 17:14:52 | → | xff0x_ joins (~xff0x@2001:1a81:527b:4200:5766:67eb:a550:2a8c) |
| 2021-03-20 17:14:58 | <dhruvasagar> | who is developing this bot ? |
| 2021-03-20 17:15:03 | <hpc> | ah, interesting |
| 2021-03-20 17:15:13 | <dhruvasagar> | I hope it's build in haskell :) |
| 2021-03-20 17:15:36 | <Uniaika> | dredozubov: yep |
| 2021-03-20 17:15:59 | <dhruvasagar> | Uniaika: I am assuming you meant that for me |
| 2021-03-20 17:16:10 | × | timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving) |
| 2021-03-20 17:17:10 | <Uniaika> | damnit |
| 2021-03-20 17:17:10 | <Uniaika> | yes |
All times are in UTC.