Logs: freenode/#haskell
| 2021-05-16 02:23:47 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-16 02:23:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-16 02:24:22 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-16 02:24:22 | finn_elija | is now known as Guest32020 |
| 2021-05-16 02:24:22 | FinnElija | is now known as finn_elija |
| 2021-05-16 02:26:37 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 250 seconds) |
| 2021-05-16 02:26:58 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-16 02:27:57 | × | Guest32020 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-16 02:45:58 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-16 02:47:06 | × | theDon quits (~td@muedsl-82-207-238-251.citykom.de) (Ping timeout: 240 seconds) |
| 2021-05-16 02:48:33 | × | xcmw quits (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-16 02:49:14 | → | theDon joins (~td@94.134.91.128) |
| 2021-05-16 02:52:03 | × | roconnor quits (~roconnor@host-23-91-186-24.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-05-16 02:53:05 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 02:54:53 | → | mayleesia joins (~mayleesia@x4dbf5c18.dyn.telefonica.de) |
| 2021-05-16 02:57:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-16 02:57:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-16 02:58:14 | × | maylee quits (~mayleesia@dynamic-077-013-052-059.77.13.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2021-05-16 02:58:32 | → | xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) |
| 2021-05-16 03:02:04 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-16 03:04:13 | → | a6a45081-2b83 joins (~aditya@171.76.17.86) |
| 2021-05-16 03:04:52 | <a6a45081-2b83> | how to install haskell programs such as hadolint without registering the dependencies in global ghc-pkg (sudo pacman -S hadolint?) |
| 2021-05-16 03:07:38 | <dmwit> | I believe the default behavior of cabal these days does not install dependencies into the global package database. |
| 2021-05-16 03:08:16 | <hrnz> | I believe the default behaviour of this channel these days is to tell people not to use arch haskell packages |
| 2021-05-16 03:08:21 | <dmwit> | So... `cabal install --exes hadolint` would be my recommendation, assuming `hadolint` is the name of the package that provides whatever executable you care about. |
| 2021-05-16 03:08:53 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 2021-05-16 03:09:02 | × | mjo quits (73570cf5@ppp-115-87-12-245.revip4.asianet.co.th) (Quit: Connection closed) |
| 2021-05-16 03:12:25 | <a6a45081-2b83> | dmwit: yeah I think that's great. Seems like one downside is that I have to compile it myself. |
| 2021-05-16 03:17:03 | <davean> | a6a45081-2b83: I'd warn that using arch will generally be difficult with Haskell because they break packages. |
| 2021-05-16 03:17:10 | → | bitmagie joins (~Thunderbi@200116b806a58c00ac447dc2fd201add.dip.versatel-1u1.de) |
| 2021-05-16 03:18:11 | × | bitmagie quits (~Thunderbi@200116b806a58c00ac447dc2fd201add.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-16 03:18:54 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-16 03:19:18 | <dmwit> | koz_: What does "sublist" mean? |
| 2021-05-16 03:20:03 | <koz_> | dmwit: The elements at a subset of the valid indices of the list. |
| 2021-05-16 03:20:23 | <dmwit> | Okay. I'd probably just drop the last element of `subsequences . toList`. |
| 2021-05-16 03:20:31 | <dmwit> | > subsequences "abc" |
| 2021-05-16 03:20:32 | <lambdabot> | ["","a","b","ab","c","ac","bc","abc"] |
| 2021-05-16 03:20:38 | <dmwit> | > init $ subsequences "abc" |
| 2021-05-16 03:20:40 | <lambdabot> | ["","a","b","ab","c","ac","bc"] |
| 2021-05-16 03:20:41 | <koz_> | Figures. |
| 2021-05-16 03:20:43 | <koz_> | Thanks! |
| 2021-05-16 03:22:20 | <dmwit> | > (inits >=> tails) "abc" |
| 2021-05-16 03:22:21 | <lambdabot> | ["","a","","ab","b","","abc","bc","c",""] |
| 2021-05-16 03:22:44 | <dmwit> | > (drop 1 . inits >=> tails) "abc" |
| 2021-05-16 03:22:46 | <lambdabot> | ["a","","ab","b","","abc","bc","c",""] |
| 2021-05-16 03:22:55 | <dmwit> | err... hm |
| 2021-05-16 03:23:49 | <dmwit> | > [] : (inits >=> drop 1 . tails) "abc" |
| 2021-05-16 03:23:51 | <lambdabot> | ["","","b","","bc","c",""] |
| 2021-05-16 03:24:03 | <dmwit> | ok I give up |
| 2021-05-16 03:25:02 | <dmwit> | > [] : (inits >=> init . tails) "abc" -- I lied |
| 2021-05-16 03:25:05 | <lambdabot> | ["","a","ab","b","abc","bc","c"] |
| 2021-05-16 03:28:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 03:29:07 | <a6a45081-2b83> | davean: I agree, I only limit installing globally usable packages with pacman like pandoc/shellcheck/hadolint. Otherwise I use cabal/stack |
| 2021-05-16 03:33:35 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-16 03:33:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-05-16 03:36:10 | <dmwit> | I guess I don't really know what you want. You don't like your distro's package manager, and you don't like the Haskell community's de-facto package managers (both of which build from source). Which is fine and all, but what are you really expecting of us? |
| 2021-05-16 03:36:25 | <dmwit> | Should we magic up a different package manager somehow? |
| 2021-05-16 03:40:30 | × | davros quits (~davros@host86-185-126-190.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 2021-05-16 03:43:39 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 03:45:31 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-16 03:48:13 | <hrnz> | https://stuff.hrnz.li/677150485379022858.gif |
| 2021-05-16 03:51:21 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-xbpjbbtirknbijsk) (Quit: Connection closed for inactivity) |
| 2021-05-16 03:51:58 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-05-16 03:53:55 | × | notzmv quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-05-16 03:54:16 | <dmwit> | Sure, you can switch distros. I strongly encourage it, if you're starting out on Arch. |
| 2021-05-16 03:54:50 | <dmwit> | Seems like kind of a big hammer for this nail. |
| 2021-05-16 03:56:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-16 03:56:22 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-16 03:58:19 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-16 04:00:26 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-05-16 04:00:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-16 04:01:14 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-05-16 04:03:16 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-16 04:05:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-16 04:06:00 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 04:07:32 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-16 04:09:09 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 245 seconds) |
| 2021-05-16 04:10:24 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-16 04:10:25 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-16 04:15:39 | × | no-def quits (~no-def@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
| 2021-05-16 04:16:23 | × | alx741 quits (~alx741@186.178.108.187) (Quit: alx741) |
| 2021-05-16 04:17:38 | × | a6a45081-2b83 quits (~aditya@171.76.17.86) (Remote host closed the connection) |
| 2021-05-16 04:23:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-16 04:24:16 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-16 04:26:11 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-05-16 04:27:48 | → | sophi4c4pozzoli3 joins (~sophi4c4p@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-16 04:30:12 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
| 2021-05-16 04:39:40 | <Andriamanitra> | why doesn't this work? i'm basically trying to create a union type that can be "Int" or "Reg": https://paste.tomsmeding.com/waFImXzW |
| 2021-05-16 04:40:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 04:41:04 | <dmwit> | Andriamanitra: Compare `data Reg = A | B` and `data Val = Reg | Int`. |
| 2021-05-16 04:41:17 | <dmwit> | (By way of hint.) |
| 2021-05-16 04:41:36 | <dmwit> | (If this is not enough of a hint, just say and I'll happily spell it out in full detail.) |
| 2021-05-16 04:42:21 | <Andriamanitra> | i think i get what you're saying but i don't know how to get around it |
| 2021-05-16 04:42:42 | <dmwit> | The usual way is `data Val = Reg Reg | Int Int`. |
| 2021-05-16 04:42:47 | <dmwit> | Kind of sneaky. |
| 2021-05-16 04:43:19 | <dmwit> | The first in each pair defines a new computation-level thing, and the second in each pair refers to an existing type-level thing. |
| 2021-05-16 04:43:23 | <Andriamanitra> | thanks, that works! |
| 2021-05-16 04:43:25 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-16 04:44:57 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-16 04:47:48 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
All times are in UTC.