Logs: freenode/#haskell
| 2021-03-07 17:20:35 | → | SegFaultAX joins (SegFaultAX@unaffiliated/segfaultax) |
| 2021-03-07 17:20:38 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-07 17:20:49 | <infinisil> | mikoto-chan: Oh, then I _really_ don't think you should use the `show` solution |
| 2021-03-07 17:21:02 | → | gambpang joins (~gambpang@unaffiliated/gambpang) |
| 2021-03-07 17:21:14 | <infinisil> | I mean, you do you |
| 2021-03-07 17:21:19 | <ADG1089__> | I wish to measure the running time of my program, but using `cabal run <executable>` already adds some cost. How can I benchmark the executable independently? One way was to do `time ./dist-newstyle/build/x86_64-linux/ghc-8.10.4/<project_name>-<version>/x/<executable>/build/<executable>/<executable>` |
| 2021-03-07 17:21:25 | × | adziahel[m] quits (adziahelma@gateway/shell/matrix.org/x-gzxprvasiinkibkp) (Ping timeout: 240 seconds) |
| 2021-03-07 17:21:25 | × | sramsay64[m] quits (sramsay64p@gateway/shell/matrix.org/x-nofjuyisaelgsjpz) (Ping timeout: 240 seconds) |
| 2021-03-07 17:21:26 | × | jeffcasavant[m]1 quits (jeffcasava@gateway/shell/matrix.org/x-zuesfmusebgxexbx) (Ping timeout: 240 seconds) |
| 2021-03-07 17:21:29 | shadowdaemon | is now known as Guest6996 |
| 2021-03-07 17:21:33 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-ykeglgztelluebmc) (Ping timeout: 246 seconds) |
| 2021-03-07 17:21:34 | <infinisil> | But that's just not how Haskell should be coded :) |
| 2021-03-07 17:21:49 | × | jerin quits (jerinmatri@gateway/shell/matrix.org/x-uiruxsqbuirnuhcm) (Ping timeout: 265 seconds) |
| 2021-03-07 17:21:49 | × | anon1891[m] quits (anon1891ma@gateway/shell/matrix.org/x-vgmfrgdeedfuosds) (Ping timeout: 265 seconds) |
| 2021-03-07 17:21:49 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-lkcvikipshxfqrsl) (Ping timeout: 265 seconds) |
| 2021-03-07 17:21:49 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-iaialaudtoihlpte) (Ping timeout: 244 seconds) |
| 2021-03-07 17:21:49 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-emhptsxdqutjjoxk) (Ping timeout: 244 seconds) |
| 2021-03-07 17:21:56 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-bnvsoeizanvczqdz) (Ping timeout: 240 seconds) |
| 2021-03-07 17:21:56 | × | boistordu quits (boistordum@gateway/shell/matrix.org/x-epqhlcgltbmupbxi) (Ping timeout: 240 seconds) |
| 2021-03-07 17:21:56 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-sallzvkvkldcgkut) (Ping timeout: 240 seconds) |
| 2021-03-07 17:22:18 | × | mjlbach quits (atriusmatr@gateway/shell/matrix.org/x-ietoxhbonvcmpxmf) (Ping timeout: 265 seconds) |
| 2021-03-07 17:22:18 | × | DamienCassou quits (damiencass@gateway/shell/matrix.org/x-eprxxdwijffydrdi) (Ping timeout: 265 seconds) |
| 2021-03-07 17:22:23 | → | Alleria_ joins (~textual@2603-7000-3040-0000-1db4-c99c-5289-cfbe.res6.spectrum.com) |
| 2021-03-07 17:22:40 | <mikoto-chan> | infinisil: I will get to the real FP part soon don't worry, I barely understood what type theory has to do with ADTs but it will all become clear soon |
| 2021-03-07 17:22:42 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) |
| 2021-03-07 17:22:55 | × | sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-vtxmfxjoeekeagds) (Ping timeout: 240 seconds) |
| 2021-03-07 17:22:55 | × | simara[m] quits (simaramatr@gateway/shell/matrix.org/x-anbvmsbvavejhojm) (Ping timeout: 240 seconds) |
| 2021-03-07 17:22:59 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-07 17:23:18 | × | pineapples[m] quits (pineapples@gateway/shell/matrix.org/x-fntvhpevrfdituay) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-mqkrcevpalnehvqb) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | invent[m] quits (inventmatr@gateway/shell/matrix.org/x-pjnyshafozlreedo) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | immae quits (immaematri@gateway/shell/matrix.org/x-aohzbgtnvkvkxgyu) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-axvntgkvdisfemal) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | freeman42x[m]1 quits (freeman42x@gateway/shell/matrix.org/x-lzazrkeobggmslyf) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | mly[m] quits (mlydisenco@gateway/shell/matrix.org/x-cntmtcfjpjgfyemu) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | ManofLetters[m] quits (manoflette@gateway/shell/matrix.org/x-ntjjesgcogujguzg) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:18 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-pwtjczbvhoktmglx) (Ping timeout: 246 seconds) |
| 2021-03-07 17:23:25 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-sivibcbidnslmvhv) (Ping timeout: 240 seconds) |
| 2021-03-07 17:23:26 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp) (Ping timeout: 240 seconds) |
| 2021-03-07 17:23:26 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-lkhxesooszpdtuzd) (Ping timeout: 240 seconds) |
| 2021-03-07 17:23:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) (Client Quit) |
| 2021-03-07 17:23:41 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-utkhqzitnbcyceql) (Ping timeout: 268 seconds) |
| 2021-03-07 17:23:41 | × | AbtractSingleton quits (rasurumatr@gateway/shell/matrix.org/x-fubfwjnqfyqisvqw) (Ping timeout: 268 seconds) |
| 2021-03-07 17:23:41 | × | darkcodi[m] quits (darkcodima@gateway/shell/matrix.org/x-npqntjjhuhxltvgw) (Ping timeout: 268 seconds) |
| 2021-03-07 17:23:45 | × | alecs[m] quits (malumorema@gateway/shell/matrix.org/x-dlpnoymfcpnetnsl) (Ping timeout: 265 seconds) |
| 2021-03-07 17:23:45 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-uzqgiiovyutwaadq) (Ping timeout: 265 seconds) |
| 2021-03-07 17:23:52 | Guest6996 | is now known as shadowdao |
| 2021-03-07 17:23:53 | × | alar[m] quits (alarmxalat@gateway/shell/matrix.org/x-cktkugutuxvtjihl) (Ping timeout: 244 seconds) |
| 2021-03-07 17:23:53 | × | meff[m]1 quits (meffsunado@gateway/shell/matrix.org/x-buufiutwpfhtkcfl) (Ping timeout: 244 seconds) |
| 2021-03-07 17:23:53 | × | the_1_[m] quits (the1matrix@gateway/shell/matrix.org/x-ydnkooibksztllyy) (Ping timeout: 244 seconds) |
| 2021-03-07 17:23:53 | × | themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-hbatkioaxwxoyeob) (Ping timeout: 244 seconds) |
| 2021-03-07 17:23:55 | × | joe[m]3 quits (joemonoida@gateway/shell/matrix.org/x-wrdyeabcrguvhelc) (Ping timeout: 240 seconds) |
| 2021-03-07 17:23:57 | × | shadowdao quits (~user@2607:8b00:0:96::43e5:bc0b) (Changing host) |
| 2021-03-07 17:23:57 | → | shadowdao joins (~user@unaffiliated/shadowdaemon) |
| 2021-03-07 17:24:05 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-gwwwaooyqtgnnprg) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:24 | × | Pressyware[m] quits (pressyware@gateway/shell/matrix.org/x-cypbqfareuipwdxl) (Ping timeout: 244 seconds) |
| 2021-03-07 17:24:24 | × | maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-uhnhkfwqbcavnxpt) (Ping timeout: 244 seconds) |
| 2021-03-07 17:24:24 | × | MichaelHoffmannb quits (brisadmozi@gateway/shell/matrix.org/x-bxwoulfwiwwtdyhj) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:25 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-esnxvkbmvtiuhuxs) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:25 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:25 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-fomxwbukrzfljorj) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:25 | × | CrabMan quits (phi-matrix@gateway/shell/matrix.org/x-ncflvngxohdcpaqc) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:26 | × | beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-yblxynzepndwlzrx) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:26 | × | speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-grrchxbekhuqojog) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:26 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-naqkszpohzlsbubr) (Ping timeout: 240 seconds) |
| 2021-03-07 17:24:41 | × | a-tsioh[m] quits (a-tsiohmat@gateway/shell/matrix.org/x-rrcleclrzigajexo) (Ping timeout: 258 seconds) |
| 2021-03-07 17:24:41 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 258 seconds) |
| 2021-03-07 17:24:47 | <mikoto-chan> | How do I return the `Car` part of `myCar = Car Manufacturer Price` instead? |
| 2021-03-07 17:25:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) |
| 2021-03-07 17:25:00 | <mikoto-chan> | Brb in 30 mins |
| 2021-03-07 17:25:02 | → | totte joins (~totte@chakra/totte) |
| 2021-03-07 17:25:04 | × | ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-adbxucyaclkjrrut) (Ping timeout: 240 seconds) |
| 2021-03-07 17:25:15 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr) (Ping timeout: 240 seconds) |
| 2021-03-07 17:25:15 | × | brightly-salty[m quits (brightly-s@gateway/shell/matrix.org/x-buliqctfxktasemp) (Ping timeout: 240 seconds) |
| 2021-03-07 17:25:15 | × | toasty_avocado[m quits (toastyavoc@gateway/shell/matrix.org/x-wkhjyjmxecrptsuj) (Ping timeout: 240 seconds) |
| 2021-03-07 17:25:27 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-vqjrvuxpfudllnzv) (Ping timeout: 258 seconds) |
| 2021-03-07 17:25:27 | × | mud quits (kadobanmat@gateway/shell/matrix.org/x-vshgkgtjqjjszdqu) (Ping timeout: 258 seconds) |
| 2021-03-07 17:25:32 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-cxfwanztfqrqbbdt) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-jgikxfrvozhpbsoi) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-xzyglswxynebzkit) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-kbuniydwnivkskyv) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | siraben quits (sirabenmat@gateway/shell/matrix.org/x-ofqfbyaxrzohrkzu) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-cdnoacaikcqweptz) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-qjriisacmnwggisj) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | utdemir[m] quits (utdemirmat@gateway/shell/matrix.org/x-pmladlzouojlwrsx) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | Robin[m]2 quits (robinrobin@gateway/shell/matrix.org/x-qitylqaxjgpvphgf) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-qrvidzgjkxctjdul) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | Lurkki[m]1 quits (lurkkifene@gateway/shell/matrix.org/x-nxoeksmofthnqmyh) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:32 | × | psydruid quits (psydruidma@gateway/shell/matrix.org/x-nqquprpkcjqwwhao) (Ping timeout: 268 seconds) |
| 2021-03-07 17:25:33 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-bbtyofnilpeshbbz) (Ping timeout: 260 seconds) |
| 2021-03-07 17:25:33 | × | oreoking[m] quits (oreokingma@gateway/shell/matrix.org/x-sfbsvckrwskkmqtb) (Ping timeout: 260 seconds) |
| 2021-03-07 17:25:33 | × | my_name_is_not_j quits (mynameisno@gateway/shell/matrix.org/x-cikestsovlfgskzl) (Ping timeout: 260 seconds) |
| 2021-03-07 17:26:06 | <geekosaur> | there's an xy problem in there somewhere, I think |
| 2021-03-07 17:26:37 | <minoru_shiraeesh> | ADG1089_: how about running the program as usual and then reading logs? |
| 2021-03-07 17:28:03 | <infinisil> | ADG1089__: You can also do a `getCurrentTime` at the start of main, and another at the end, then print the difference (with `diffUTCTime`) |
| 2021-03-07 17:28:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 17:28:50 | <infinisil> | (there's probably something more adequate than getCurrentTime too) |
| 2021-03-07 17:29:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 17:29:13 | <ADG1089__> | infinisil: I found something relevant: http://www.serpentine.com/criterion/tutorial.html |
| 2021-03-07 17:29:14 | geekosaur | contemplates Criterion |
All times are in UTC.