Logs: liberachat/#haskell
| 2021-05-26 10:01:12 | × | agumonkey quits (~user@88.160.31.174) (Ping timeout: 244 seconds) |
| 2021-05-26 10:03:22 | <bfrk> | It also tells that the highlighted expression is a function with the correct input type. But the output (result) has an excess Maybe layer. |
| 2021-05-26 10:03:36 | → | Schrostfutz joins (~Schrostfu@p2e585eba.dip0.t-ipconnect.de) |
| 2021-05-26 10:03:42 | → | sviat13355 joins (~sviat1335@93-77-247-133.ter.volia.net) |
| 2021-05-26 10:04:01 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-26 10:04:23 | × | pe200012_ quits (~pe200012@218.107.17.245) (Ping timeout: 272 seconds) |
| 2021-05-26 10:04:32 | <bfrk> | I think to see where the error originates we need to have the type of 'go'. |
| 2021-05-26 10:05:04 | <enicar> | I think the use of `fromMaybe [] . listToMaybe` is suspicious, unless the type result is [[a]]… |
| 2021-05-26 10:05:11 | → | meridion joins (~meridion@punt.hetgrotebos.org) |
| 2021-05-26 10:06:13 | × | sviat13355 quits (~sviat1335@93-77-247-133.ter.volia.net) (Client Quit) |
| 2021-05-26 10:06:38 | <bfrk> | @ty fromMaybe [] . listToMaybe |
| 2021-05-26 10:06:39 | <lambdabot> | [[a]] -> [a] |
| 2021-05-26 10:06:52 | <Schrostfutz> | I'm trying to find an error in my code: http://sprunge.us/4gUYUf. I'm wondering whether it's invalid to mix applicative syntax and monadic binds like that, is it possible to do it? |
| 2021-05-26 10:06:53 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2021-05-26 10:07:25 | → | Baloo_ joins (~Baloo@185.65.135.181) |
| 2021-05-26 10:07:37 | → | bec joins (~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr) |
| 2021-05-26 10:07:50 | <Rembane> | Schrostfutz: That should be possible. Does it typecheck? |
| 2021-05-26 10:08:19 | <maerwald> | seems like the first <*> should be a <$>, but that's just a guess |
| 2021-05-26 10:08:21 | → | therion joins (~therion@191.177.175.57) |
| 2021-05-26 10:08:26 | <bfrk> | I think you want your first <*> to be <$> |
| 2021-05-26 10:08:33 | → | tose joins (~tose@ip-85-160-8-1.eurotel.cz) |
| 2021-05-26 10:09:41 | → | ddellacosta joins (~ddellacos@86.106.121.89) |
| 2021-05-26 10:10:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:5cf2:3d3e:4f1f:a60e) (Ping timeout: 264 seconds) |
| 2021-05-26 10:10:31 | <bfrk> | curiousgay: the easiest way to find the type of something is to add a signature with a hole: <expr> :: _ |
| 2021-05-26 10:11:23 | → | pera joins (~pera@user/pera) |
| 2021-05-26 10:11:47 | <bfrk> | ahem, doesn't work a for an expression, should be a variable |
| 2021-05-26 10:12:06 | <curiousgay> | merijn: thanks, that helped me to fix the type error |
| 2021-05-26 10:12:18 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 264 seconds) |
| 2021-05-26 10:13:46 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-26 10:14:11 | × | ddellacosta quits (~ddellacos@86.106.121.89) (Ping timeout: 252 seconds) |
| 2021-05-26 10:16:45 | × | bilegeek quits (~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386) (Quit: Leaving) |
| 2021-05-26 10:21:43 | → | p_____ joins (~dyeplexer@user/dyeplexer) |
| 2021-05-26 10:22:06 | dy | is now known as |\ |
| 2021-05-26 10:22:17 | |\ | is now known as dy |
| 2021-05-26 10:22:19 | dy | is now known as || |
| 2021-05-26 10:22:25 | || | is now known as \\ |
| 2021-05-26 10:22:32 | × | p_____ quits (~dyeplexer@user/dyeplexer) (Client Quit) |
| 2021-05-26 10:22:33 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 272 seconds) |
| 2021-05-26 10:22:38 | \\ | is now known as \\\ |
| 2021-05-26 10:22:40 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-05-26 10:23:25 | \\\ | is now known as dy |
| 2021-05-26 10:24:38 | <Schrostfutz> | maerwald, bfrk: You're right, that fixed it. Rembane: It didn't but I was struggling interpreting the mismatch error message |
| 2021-05-26 10:26:11 | × | ignis quits (~ignisf@user/ignis) (Quit: Leaving) |
| 2021-05-26 10:27:52 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-26 10:28:12 | → | ddellacosta joins (~ddellacos@86.106.121.77) |
| 2021-05-26 10:28:36 | × | wirtshutter quits (~wirtshutt@190.193.215.9) (Quit: Saliendo) |
| 2021-05-26 10:29:43 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-26 10:30:47 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds) |
| 2021-05-26 10:31:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-26 10:32:53 | × | ddellacosta quits (~ddellacos@86.106.121.77) (Ping timeout: 272 seconds) |
| 2021-05-26 10:32:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 10:34:20 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 10:35:50 | <starlord> | What I like to do a lot (part from using holes) is to do something like `let thing = <expr; let k = thing :: Int`, the compiler will yell about not being able to unify <type you need> with Int. I found it a bit more reliable than holes because constraining the type to a hole is not an error so the compiler will happily continue |
| 2021-05-26 10:35:57 | → | gensyst joins (~gensyst@user/gensyst) |
| 2021-05-26 10:36:51 | <therion> | I prefer doing this way as well, using holes sometimes gives me nothing. |
| 2021-05-26 10:36:56 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Quit: SanchayanM) |
| 2021-05-26 10:37:16 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-26 10:38:04 | <starlord> | conceptually using `Void` instead would be better but that requires an import :| |
| 2021-05-26 10:38:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-26 10:39:07 | × | Baloo_ quits (~Baloo@185.65.135.181) (Quit: Leaving) |
| 2021-05-26 10:39:14 | → | Baloo_ joins (~Baloo@185.65.135.181) |
| 2021-05-26 10:39:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 10:39:29 | × | Baloo_ quits (~Baloo@185.65.135.181) (Remote host closed the connection) |
| 2021-05-26 10:39:34 | <bfrk> | Sometime I use an arbitrary simple type like Char, look at the error message, then refine. |
| 2021-05-26 10:40:31 | → | Guest53e joins (~Guest53e@85.206.163.148) |
| 2021-05-26 10:40:33 | <bfrk> | Especially in cases where _ doesn't work |
| 2021-05-26 10:40:34 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Client Quit) |
| 2021-05-26 10:40:47 | <starlord> | bfrk what do you mean by refine? |
| 2021-05-26 10:40:52 | → | SanchayanMaity_ joins (~Sanchayan@136.185.150.127) |
| 2021-05-26 10:40:58 | <Guest53e> | Is Haskell growing or stagnant in industry? |
| 2021-05-26 10:41:04 | <Guest53e> | worth investment? |
| 2021-05-26 10:41:15 | <maerwald> | Guest53e: in what sense investment? |
| 2021-05-26 10:41:32 | <bfrk> | e.g. if it tells me that the thing is a function I may change it to Char -> Char and so on |
| 2021-05-26 10:41:35 | × | SanchayanMaity_ quits (~Sanchayan@136.185.150.127) (Client Quit) |
| 2021-05-26 10:41:55 | <Guest53e> | for learning myself or adopting in my workplace. (btw, when i mention "haskell" people tend to run away and ghost me) |
| 2021-05-26 10:42:08 | <Guest53e> | i think there's something about it that turns some people off |
| 2021-05-26 10:42:09 | <ksqsf> | Z.Haskell seems to be a recent industrial product |
| 2021-05-26 10:42:11 | <maerwald> | "adopting in my workplace" needs mote context |
| 2021-05-26 10:42:19 | → | hr0m joins (~hr0m@2a03:4000:6:446f:899:53ff:fe87:3ffe) |
| 2021-05-26 10:42:30 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-26 10:42:46 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-26 10:42:52 | <bfrk> | Guest53e: I had that experience, too, where I work |
| 2021-05-26 10:42:55 | → | simon1 joins (~simon@91-114-147-117.adsl.highway.telekom.at) |
| 2021-05-26 10:43:00 | → | dolio joins (~dolio@130.44.130.54) |
| 2021-05-26 10:43:05 | <maerwald> | choosing technology should be done with care and haskell might or might not be the right fit, it depends |
| 2021-05-26 10:43:11 | <starlord> | Guest53e I've never worked with haskell professionally, and I don't know anyone who ever did personally, and I think it's a bit esoteric to take over something older like Rust is doing. So if you want to learn a language to increase your chanses of finding jobs you should not learn haskell. However, there are many other reasons to learn haskell. |
| 2021-05-26 10:43:24 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-26 10:44:29 | → | Baloo_ joins (~Baloo_@185.65.135.181) |
| 2021-05-26 10:44:31 | <maerwald> | There are increasingly many jobs in haskell, but IME they're tough in selection process |
| 2021-05-26 10:44:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-26 10:44:41 | <mniip> | it's a narrow niche |
| 2021-05-26 10:45:09 | ← | simon1 parts (~simon@91-114-147-117.adsl.highway.telekom.at) (WeeChat 3.1) |
| 2021-05-26 10:45:12 | <Guest53e> | ok maybe best to learn for hobby and worry about pro later |
| 2021-05-26 10:45:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 10:46:11 | <bfrk> | IMO Haskell is very well suited for routine data processing stuff that people used to do in Perl and nowadays mostly use Python for. |
| 2021-05-26 10:46:21 | → | ddellacosta joins (~ddellacos@86.106.121.33) |
| 2021-05-26 10:46:43 | <maerwald> | bfrk: I have high hopes for streamly becoming the de-facto standard for such things |
| 2021-05-26 10:47:03 | <Guest53e> | bfrk there are just so many things you can model with ADT that doing with objects is ... PITA. |
| 2021-05-26 10:47:05 | <bfrk> | The type discipline makes the result rock solid and the compiler makes it pretty fast. |
| 2021-05-26 10:47:07 | <maerwald> | but the rewrite rules and inlining is so complex it appears to break with every other GHC release |
All times are in UTC.