Logs: freenode/#haskell
| 2021-03-07 17:29:14 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-124.cust.tzulo.com) |
| 2021-03-07 17:29:54 | <c_wraith> | criterion is excellent for benchmarking. It's not great for monitoring, like of the "wait, it suddenly doubled how long it takes this program to run" sort. |
| 2021-03-07 17:30:23 | <infinisil> | https://hackage.haskell.org/package/time-1.11.1.1/docs/Data-Time-Clock-System.html#v:getSystemTime |
| 2021-03-07 17:30:29 | <infinisil> | This sounds better |
| 2021-03-07 17:30:47 | × | Schrostfutz quits (~Schrostfu@p2e585ac0.dip0.t-ipconnect.de) (Read error: No route to host) |
| 2021-03-07 17:31:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 17:31:17 | <c_wraith> | so... if you want to benchmark, use criterion. If you want monitoring... good logs sound like a good choice. |
| 2021-03-07 17:31:23 | × | pincel quits (~pyon@unaffiliated/pyon) (Ping timeout: 260 seconds) |
| 2021-03-07 17:32:22 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-07 17:32:50 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-pnufdayfznwnuums) |
| 2021-03-07 17:32:56 | <ADG1089__> | ok so benchmark, hence criterion. |
| 2021-03-07 17:33:24 | → | pincel joins (~pyon@unaffiliated/pyon) |
| 2021-03-07 17:34:11 | × | theDon_ quits (~td@94.134.91.77) (Quit: Reconnecting) |
| 2021-03-07 17:34:28 | → | theDon joins (~td@94.134.91.77) |
| 2021-03-07 17:35:54 | → | rond_ joins (594020c5@89-64-32-197.dynamic.chello.pl) |
| 2021-03-07 17:35:59 | → | bigboss98 joins (~Android@223.204.217.185) |
| 2021-03-07 17:36:43 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-ihqazvwwbaedusci) |
| 2021-03-07 17:36:44 | × | pincel quits (~pyon@unaffiliated/pyon) (Client Quit) |
| 2021-03-07 17:36:50 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 17:37:35 | × | mayleesia quits (590cf471@dynamic-089-012-244-113.89.12.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-07 17:38:16 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 17:38:21 | × | bigbosskor quits (~Android@223.204.217.185) (Ping timeout: 264 seconds) |
| 2021-03-07 17:38:21 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 264 seconds) |
| 2021-03-07 17:38:56 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-07 17:39:18 | × | ADG1089__ quits (~aditya@122.163.167.99) (Remote host closed the connection) |
| 2021-03-07 17:39:27 | <minoru_shiraeesh> | mikoto-chan: sounds like you're asking about using "@" in pattern matching |
| 2021-03-07 17:40:02 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 17:40:03 | × | rond_ quits (594020c5@89-64-32-197.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2021-03-07 17:40:16 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-03-07 17:40:21 | <minoru_shiraeesh> | let car@(Car x y) = myCar |
| 2021-03-07 17:40:41 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 17:40:52 | → | obiwahn joins (~obiwahn@pdpc/supporter/student/obiwahn) |
| 2021-03-07 17:43:52 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-zvkdvuuatxmtttsb) |
| 2021-03-07 17:44:28 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-cyaabyhfuyvoxqpo) |
| 2021-03-07 17:44:52 | → | anon1891[m] joins (anon1891ma@gateway/shell/matrix.org/x-gkpezsilaexknhmv) |
| 2021-03-07 17:44:58 | → | jerin joins (jerinmatri@gateway/shell/matrix.org/x-vbxscyotkofvtytb) |
| 2021-03-07 17:45:00 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-nddsubvqwkcbmidr) |
| 2021-03-07 17:45:06 | → | DamienCassou joins (damiencass@gateway/shell/matrix.org/x-kigjdqwdwvpjebga) |
| 2021-03-07 17:45:10 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-jiodvserklaqeevq) |
| 2021-03-07 17:45:17 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-uxortgpodmpgutfq) |
| 2021-03-07 17:45:35 | → | sramsay64[m] joins (sramsay64p@gateway/shell/matrix.org/x-yvgptxnhoswmcqba) |
| 2021-03-07 17:45:36 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-nsopxdhafmyjbgcc) |
| 2021-03-07 17:45:37 | → | adziahel[m] joins (adziahelma@gateway/shell/matrix.org/x-pihnaizkiayzbmma) |
| 2021-03-07 17:45:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-07 17:45:39 | → | jeffcasavant[m]1 joins (jeffcasava@gateway/shell/matrix.org/x-romdayesernblvyy) |
| 2021-03-07 17:45:47 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-gsusihhksyxhkmvx) |
| 2021-03-07 17:45:49 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-alsxfyrrkthoxfgo) |
| 2021-03-07 17:45:56 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-cseojiaisucumjfd) |
| 2021-03-07 17:46:02 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-jmopghdotibeqpvo) |
| 2021-03-07 17:46:06 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-yguyfyqjremfbkfs) |
| 2021-03-07 17:46:44 | × | NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 245 seconds) |
| 2021-03-07 17:47:09 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-03-07 17:47:44 | yorick1 | is now known as yorick |
| 2021-03-07 17:47:56 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-jozbabmrjtaqnwec) (Quit: Connection closed for inactivity) |
| 2021-03-07 17:49:43 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 17:49:44 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-07 17:50:32 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-07 17:50:56 | → | mananamenos_ joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-07 17:51:08 | → | ADG1089__ joins (~aditya@122.163.167.99) |
| 2021-03-07 17:51:16 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2021-03-07 17:51:43 | → | rond_ joins (594020c5@89-64-32-197.dynamic.chello.pl) |
| 2021-03-07 17:52:38 | <rond_> | Hi! I've got a question about this snippet: https://paste.tomsmeding.com/QJydYVQd Would it work for an infinite list? If so, why? |
| 2021-03-07 17:53:22 | <rond_> | Is Haskell smart enough to reason about the function in this case and to realize that once `acc == True` it'd remain as such? |
| 2021-03-07 17:53:30 | <monochrom> | I won't. Generally, foldl doesn't. |
| 2021-03-07 17:53:40 | <monochrom> | err, s/I/It/ |
| 2021-03-07 17:53:49 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2021-03-07 17:54:03 | <monochrom> | No, Haskell isn't that smart. |
| 2021-03-07 17:54:04 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-zgfgtuflrtrzeoqi) |
| 2021-03-07 17:54:32 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-07 17:54:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-07 17:54:41 | × | NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 265 seconds) |
| 2021-03-07 17:54:45 | <rond_> | So if I were to perform such a thing, it's better to implement it with some recursive function so it would cut off computations appropriately? |
| 2021-03-07 17:54:59 | → | NieDzejkob joins (~quassel@user-5-173-105-218.play-internet.pl) |
| 2021-03-07 17:55:22 | → | sigmacool[m] joins (sigmacoolm@gateway/shell/matrix.org/x-hrctfofefschsgwh) |
| 2021-03-07 17:55:22 | → | simara[m] joins (simaramatr@gateway/shell/matrix.org/x-dckaxkaaasuvaumo) |
| 2021-03-07 17:55:36 | <rond_> | Basically, a rule of thumb would be that `foldl` doesn't work with infinite inputs? |
| 2021-03-07 17:55:37 | <monochrom> | Yes, explicitly code up early exit. |
| 2021-03-07 17:56:06 | <rond_> | Is there a type for finite lists? |
| 2021-03-07 17:56:12 | <monochrom> | foldr is much better for elem' |
| 2021-03-07 17:56:36 | <rond_> | why?\ |
| 2021-03-07 17:56:41 | <[exa]> | rond_: even if the list would be finite, there could be an element where (==) could diverge |
| 2021-03-07 17:56:49 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2021-03-07 17:57:01 | <rond_> | [exa] what do you mean? could you elaborate a bit? |
| 2021-03-07 17:57:20 | × | NieDzejkob quits (~quassel@user-5-173-105-218.play-internet.pl) (Client Quit) |
| 2021-03-07 17:57:49 | <monochrom> | [exa], that one can't be helped no matter what you do. So I would think we don't worry about it at this stage. |
| 2021-03-07 17:58:18 | <[exa]> | ah yes you can make the function so that it doesn't call (==)... sorry :] |
| 2021-03-07 17:58:29 | <rond_> | I'm lsot.. |
| 2021-03-07 17:58:32 | <rond_> | lost* |
| 2021-03-07 17:58:40 | <monochrom> | See what you did? |
| 2021-03-07 17:59:20 | <[exa]> | rond_: I wanted to point out that there are other dangers than infinite lists (eg. good old `undefined` is one of them) |
| 2021-03-07 17:59:43 | <rond_> | I'm learning from LYAH and I haven't stumbled upon `undefined` yet. |
| 2021-03-07 18:00:29 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2021-03-07 18:01:20 | <monochrom> | Here is a more basic example of why foldr can do early exit, for example. |
| 2021-03-07 18:01:22 | → | AbtractSingleton joins (rasurumatr@gateway/shell/matrix.org/x-hsxpwrgsikiawcsr) |
| 2021-03-07 18:01:30 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-peeuxxsdomqfhtbj) |
| 2021-03-07 18:01:45 | <monochrom> | > foldr (&&) True (repeat False) |
| 2021-03-07 18:01:47 | <lambdabot> | False |
| 2021-03-07 18:01:56 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 265 seconds) |
| 2021-03-07 18:02:00 | <rond_> | "To put it plainly, if you take an infinite list at some point and you fold it up from the right, you'll eventually reach the beginning of the list. However, if you take an infinite list at a point and you try to fold it up from the left, you'll never reach an end! " I don't understand this sentence - how could `foldr` even start with an infinite |
| 2021-03-07 18:02:01 | <rond_> | list? |
All times are in UTC.