Logs: freenode/#haskell
| 2021-04-29 05:55:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-29 05:55:33 | <solidus-river> | I envy you, you'll probably see neural nets really impact how we think about coding |
| 2021-04-29 05:55:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-29 05:56:11 | <solidus-river> | and maybe even something like haskell go mainstream |
| 2021-04-29 05:57:26 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-29 06:00:07 | → | shad0w_ joins (a0ca2598@160.202.37.152) |
| 2021-04-29 06:00:33 | <solidus-river> | we should move to haskell otw, but do you think its universities who need to guide industry? |
| 2021-04-29 06:00:51 | <solidus-river> | moving to #haskell-offtopic |
| 2021-04-29 06:01:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-29 06:01:48 | × | aerona quits (~aerona@2600:6c54:4600:f300:1d6a:6687:1ec3:ebd2) (Read error: Connection reset by peer) |
| 2021-04-29 06:02:50 | → | michalz joins (~user@185.246.204.103) |
| 2021-04-29 06:05:47 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-29 06:05:59 | → | Shailangsa_ joins (~shailangs@host86-186-132-95.range86-186.btcentralplus.com) |
| 2021-04-29 06:11:24 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 2021-04-29 06:11:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-29 06:12:26 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-29 06:13:11 | × | shad0w_ quits (a0ca2598@160.202.37.152) (Quit: Connection closed) |
| 2021-04-29 06:15:45 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-04-29 06:15:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-29 06:16:09 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-29 06:17:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-29 06:18:29 | × | timCF quits (~i.tkachuk@m91-129-104-226.cust.tele2.ee) (Ping timeout: 252 seconds) |
| 2021-04-29 06:20:11 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-29 06:20:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-29 06:22:11 | × | bennofs__ quits (~quassel@x4dbf4f4d.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2021-04-29 06:22:27 | → | bennofs_ joins (~quassel@x4dbf4f4d.dyn.telefonica.de) |
| 2021-04-29 06:25:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-29 06:26:53 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-29 06:27:10 | → | ddellacosta joins (~ddellacos@86.106.143.242) |
| 2021-04-29 06:27:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-29 06:29:36 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-04-29 06:30:16 | → | idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-29 06:30:21 | → | plutoniix joins (~q@ppp-124-120-200-197.revip2.asianet.co.th) |
| 2021-04-29 06:30:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-29 06:31:42 | × | nineonin_ quits (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) (Remote host closed the connection) |
| 2021-04-29 06:32:16 | × | ddellacosta quits (~ddellacos@86.106.143.242) (Ping timeout: 260 seconds) |
| 2021-04-29 06:32:23 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) |
| 2021-04-29 06:33:10 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-29 06:33:43 | × | Shailangsa_ quits (~shailangs@host86-186-132-95.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-04-29 06:34:43 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-29 06:35:41 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-plkwxelyikqpwdno) (Quit: Connection closed for inactivity) |
| 2021-04-29 06:35:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-29 06:37:04 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) (Ping timeout: 276 seconds) |
| 2021-04-29 06:38:52 | → | jgt_ joins (~jgt@88.225.221.135) |
| 2021-04-29 06:40:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-29 06:45:20 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-29 06:48:51 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-04-29 06:51:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-29 06:51:40 | → | swater joins (bouhier200@perso.iiens.net) |
| 2021-04-29 06:57:23 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-04-29 06:59:34 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-04-29 07:01:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-29 07:03:07 | → | ddellacosta joins (~ddellacos@86.106.143.151) |
| 2021-04-29 07:04:26 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-04-29 07:06:38 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-29 07:07:23 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-04-29 07:07:31 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:69f7:7042:9b54:a0e6) (Ping timeout: 260 seconds) |
| 2021-04-29 07:07:49 | × | ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 252 seconds) |
| 2021-04-29 07:08:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) |
| 2021-04-29 07:09:37 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) (Remote host closed the connection) |
| 2021-04-29 07:10:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-29 07:10:53 | → | chele joins (~chele@5.53.222.202) |
| 2021-04-29 07:14:04 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-04-29 07:16:04 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 276 seconds) |
| 2021-04-29 07:19:45 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:97f0:170a:ab39:7a21) |
| 2021-04-29 07:20:51 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-29 07:21:52 | × | tempate quits (~tempate@unaffiliated/tempate) (Ping timeout: 240 seconds) |
| 2021-04-29 07:23:46 | × | solidus-river quits (~fuag1@174.127.249.180) (Ping timeout: 240 seconds) |
| 2021-04-29 07:26:34 | → | SolidusRiver joins (~fuag1@174.127.249.180) |
| 2021-04-29 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-29 07:31:25 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-04-29 07:32:28 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-04-29 07:32:48 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2021-04-29 07:33:15 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-godfdjwdzqpwbqck) (Quit: Connection closed for inactivity) |
| 2021-04-29 07:35:33 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-29 07:35:59 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-04-29 07:36:12 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-29 07:37:41 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Client Quit) |
| 2021-04-29 07:38:09 | <desophos> | what's the recommended way to export things for testing only? i don't want to expose internal functions but i want a separate test module for quickcheck |
| 2021-04-29 07:38:32 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 2021-04-29 07:39:26 | → | jokester_ joins (~mono@unaffiliated/jokester) |
| 2021-04-29 07:39:26 | × | jokester quits (~mono@unaffiliated/jokester) (Read error: Connection reset by peer) |
| 2021-04-29 07:39:41 | <desophos> | currently i have some quickcheck properties running with doctest in the source file so i don't have to export anything, but it doesn't feel right because they're too complex to be documentation |
| 2021-04-29 07:40:49 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-29 07:41:15 | <tomsmeding> | desophos: I believe the standard approach is to make an .Internal module that exports all you want, and have the outside-visible module export only the public interfaces |
| 2021-04-29 07:41:37 | <tomsmeding> | i.e. that outside-visible module only contains some imports and some re-exports, no actual code |
| 2021-04-29 07:42:03 | <Philonous> | I would export everything via »Internal« modules. Avoids abstraction inversion and allows you to test everything |
| 2021-04-29 07:42:33 | → | ServerStatsDisco joins (serverstat@gateway/shell/matrix.org/x-oxgvtvxuexgkqkan) |
| 2021-04-29 07:42:52 | <desophos> | hmm ok, that makes sense. should i put them both in the same file? |
| 2021-04-29 07:43:30 | <Philonous> | You can only have exactly one module per file |
| 2021-04-29 07:43:39 | <tomsmeding> | (with ghc) |
| 2021-04-29 07:43:51 | <desophos> | oh ok, thanks |
| 2021-04-29 07:45:24 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-29 07:46:19 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-29 07:46:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-29 07:47:57 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-29 07:50:38 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-04-29 07:52:59 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-04-29 07:53:28 | alexander | is now known as Guest35908 |
| 2021-04-29 07:55:20 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:b972:f5c7:dd8f:5421) |
All times are in UTC.