Logs: freenode/#haskell
| 2021-05-14 20:46:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-14 20:47:04 | → | zyeri joins (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) |
| 2021-05-14 20:47:04 | × | zyeri quits (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) (Changing host) |
| 2021-05-14 20:47:04 | → | zyeri joins (zyeri@tilde.team/users/zyeri) |
| 2021-05-14 20:48:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 20:48:50 | × | conal_ quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-14 20:51:02 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-14 20:52:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-14 20:52:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-14 20:53:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 20:53:23 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:53:47 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:54:26 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:54:51 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:54:52 | → | ppmdo joins (~ppmdo@46.183.103.17) |
| 2021-05-14 20:55:31 | × | aiken quits (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:55:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-14 20:55:54 | → | aiken joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:56:39 | × | Guest13341 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 245 seconds) |
| 2021-05-14 20:56:56 | → | ddellac__ joins (~ddellacos@86.106.143.72) |
| 2021-05-14 20:57:13 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:57:14 | aiken | is now known as Guest738 |
| 2021-05-14 20:57:14 | × | Guest738 quits (~aiken@76.2.143.150.dyn.plus.net) (Killed (karatkievich.freenode.net (Nickname regained by services))) |
| 2021-05-14 20:57:38 | → | Guest738 joins (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:57:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 20:58:17 | → | alexander joins (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) |
| 2021-05-14 20:58:46 | alexander | is now known as Guest71106 |
| 2021-05-14 20:59:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-14 20:59:50 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-14 21:00:49 | × | ep1ctetus quits (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:01:09 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-14 21:01:14 | × | ddellac__ quits (~ddellacos@86.106.143.72) (Ping timeout: 245 seconds) |
| 2021-05-14 21:02:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-14 21:03:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 21:04:55 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-14 21:07:02 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 21:09:27 | × | knupfer quits (~Thunderbi@200116b82bc56d00a029beefcb04ea03.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-14 21:10:55 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-14 21:11:25 | → | Alleria joins (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 2021-05-14 21:11:48 | Alleria | is now known as Guest22204 |
| 2021-05-14 21:11:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 21:12:16 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-14 21:12:25 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:12:56 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-14 21:13:32 | × | Guest738 quits (~aiken@76.2.143.150.dyn.plus.net) (Quit: Leaving) |
| 2021-05-14 21:13:43 | × | Guest71106 quits (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds) |
| 2021-05-14 21:14:04 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 21:14:23 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 21:15:49 | × | Guest22204 quits (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:18:23 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-14 21:22:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 21:25:33 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-14 21:27:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:29:11 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-05-14 21:30:57 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 21:31:05 | × | z88 quits (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) (Ping timeout: 246 seconds) |
| 2021-05-14 21:31:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-05-14 21:31:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:34:11 | <Andriamanitra> | i hate that there's only one read function that handles million different types and then type inference can't do its job and i get compilation errors |
| 2021-05-14 21:34:25 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-epzdtnoswnmmefnx) (Quit: Connection closed for inactivity) |
| 2021-05-14 21:34:33 | <Andriamanitra> | frustration: rising |
| 2021-05-14 21:34:50 | <c_wraith> | in general you shouldn't be using read anyway... |
| 2021-05-14 21:35:19 | <Andriamanitra> | what's the good way to read user inputs into integers then? |
| 2021-05-14 21:35:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 21:36:00 | → | bitmagie joins (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 2021-05-14 21:36:03 | <Andriamanitra> | (the input is guaranteed to be well formed, so i don't care about error handling) |
| 2021-05-14 21:36:19 | → | J_ joins (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) |
| 2021-05-14 21:38:27 | → | inkbottle[m] joins (inkbottlem@gateway/shell/matrix.org/x-kjnrrszdshqslixw) |
| 2021-05-14 21:39:47 | <Iceland_jack> | Andriamanitra: Specifying a type is the same with any approach, I suggest you use the -XTypeApplications extension: read @[Int] :: String -> [Int] |
| 2021-05-14 21:40:17 | <Iceland_jack> | The difficulty lies in the polymorphic return type which is not determined by any visible argument |
| 2021-05-14 21:40:34 | × | J_ quits (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) (Client Quit) |
| 2021-05-14 21:40:49 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:40:56 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-14 21:41:14 | × | ppmdo quits (~ppmdo@46.183.103.17) (Ping timeout: 245 seconds) |
| 2021-05-14 21:41:15 | <Iceland_jack> | We don't have that capability, but the type should be a visible argument to those kinds of functions |
| 2021-05-14 21:42:06 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-14 21:42:10 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-14 21:44:31 | <monochrom> | (read xxx :: [Int]) would work for me. |
| 2021-05-14 21:45:10 | <Andriamanitra> | i think i tried something like that but maybe i had the type or parens in the wrong place |
| 2021-05-14 21:45:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:45:31 | <geekosaur> | or (read :: String -> [Int]) |
| 2021-05-14 21:45:34 | <monochrom> | To be sure, (readMaybe xxx :: Maybe [Int]) would be annoying enough, but you are emphatically not in this case. |
| 2021-05-14 21:45:44 | <c_wraith> | I do occasionally use read for Int/Integer, but always as part of parsing into domain types that specify what they actually contain, so inference is kept local and doesn't get messed up by refactoring. |
| 2021-05-14 21:46:31 | <monochrom> | In reality I don't need to write (read xxx :: [Int]). |
| 2021-05-14 21:47:05 | <monochrom> | I write "f (read xxx)" but f already enjoys a handwritten type sig "f :: [Int] -> Bool" so it all works out very nicely. |
| 2021-05-14 21:48:10 | <Andriamanitra> | coming from dynamic languages i'm just used to running code frequently and printing everything to see what i have, and print is obviously another function that takes just whatever |
| 2021-05-14 21:48:15 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 21:48:20 | <monochrom> | or "case readMaybe xxx of Nothing -> ... ; Just ys -> f ys" |
| 2021-05-14 21:48:34 | <monochrom> | Debug.Trace |
| 2021-05-14 21:48:52 | <c_wraith> | Eh, Debug.Trace is solving a different problem. |
| 2021-05-14 21:49:01 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-14 21:49:06 | <monochrom> | http://www.vex.net/~trebla/haskell/tracing.html |
| 2021-05-14 21:49:07 | <c_wraith> | The problem here is having no clue what type your values are. |
| 2021-05-14 21:49:20 | <c_wraith> | Which is a deep problem, because types come before values in Haskell |
| 2021-05-14 21:49:52 | <monochrom> | My "Debug.Trace" was answering "printing everything to see what i have" |
| 2021-05-14 21:50:12 | <Andriamanitra> | but doesn't the code first needs to compile before it can be debugged |
| 2021-05-14 21:50:15 | <c_wraith> | but the problem wasn't "IO everywhere" it was "can't infer read constraints" |
| 2021-05-14 21:50:32 | <monochrom> | -fdefer-type-errors |
| 2021-05-14 21:51:07 | <monochrom> | To be sure it doesn't defer "if ... then True else 5" |
| 2021-05-14 21:51:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
All times are in UTC.