2024/10/06

Newest at the top

2024-10-06 10:48:45 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
2024-10-06 10:47:16 +0200 <artu> doesn't this `count :: Int` claim/declare `count` as type `Int`? I'll define after the declaration. Apperantly I'm a noob here :)
2024-10-06 10:46:19 +0200Digitteknohippie(~user@user/digit) (Ping timeout: 260 seconds)
2024-10-06 10:44:46 +0200 <haskellbridge> <Jade> did you define "count"? if not, you can't print it :P
2024-10-06 10:44:06 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2024-10-06 10:43:30 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-10-06 10:41:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-06 10:41:49 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2024-10-06 10:41:33 +0200Digitteknohippie(~user@user/digit) Digit
2024-10-06 10:39:49 +0200acidjnk(~acidjnk@p200300d6e72cfb9628aff41673680d4c.dip0.t-ipconnect.de) acidjnk
2024-10-06 10:39:20 +0200 <artu> I tried to evaluate `count :: Int` in GHCi but got an error "Variable not in scope count :: Int". I want to try out haskell's full features on the REPL without creating a file or project. Any advice on that how can I achieve this interactively?
2024-10-06 10:37:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 10:35:31 +0200acidjnk(~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-10-06 10:29:18 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-06 10:29:09 +0200CiaoSen(~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2024-10-06 10:28:42 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-10-06 10:25:08 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection)
2024-10-06 10:24:43 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert
2024-10-06 10:24:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-06 10:19:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 10:18:50 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-06 10:13:22 +0200artu(~artu@2601:600:8181:9b00::14) artu
2024-10-06 10:06:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-06 10:05:45 +0200 <jackdk> it would be neat if you didn't get shadowing warnings for bindings consumed by a linear arrow
2024-10-06 10:03:37 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-06 10:02:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 09:58:02 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2024-10-06 09:49:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-06 09:45:28 +0200andrewboltachev(~andrey@178.141.123.3) andrewboltachev
2024-10-06 09:45:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 09:45:10 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-06 09:44:09 +0200rosco(~rosco@183.171.107.70) (Quit: Lost terminal)
2024-10-06 09:43:22 +0200acidjnk(~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) acidjnk
2024-10-06 09:42:41 +0200CiaoSen(~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-06 09:40:39 +0200hiecaq(~hiecaq@user/hiecaq) (Client Quit)
2024-10-06 09:38:39 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2024-10-06 09:38:31 +0200alp_(~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7) (Ping timeout: 264 seconds)
2024-10-06 09:36:05 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-10-06 09:33:34 +0200 <Axman6> because that makes it much harder to see that the code is correct, there could be an error anywhere and adding something in the middle means updating everything afterwards
2024-10-06 09:33:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2024-10-06 09:32:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-06 09:32:23 +0200 <Inst> axman6: why can't you just stuff ' or numbers at the end?
2024-10-06 09:28:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-06 09:25:38 +0200alp_(~alp@2001:861:e3d6:8f80:3afa:9370:887b:74f7)
2024-10-06 09:24:07 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-10-06 09:22:14 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-06 09:19:01 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-10-06 09:16:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-06 09:14:42 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-06 09:12:33 +0200troojg(~troojg@user/troojg) (Ping timeout: 276 seconds)