Newest at the top
2024-10-06 11:41:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:40:22 +0200 | <ncf> | define size? |
2024-10-06 11:40:07 +0200 | <haskellbridge> | <thirdofmay18081814goya> data types with values of finite size |
2024-10-06 11:39:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> yeah, I meant values of finite size |
2024-10-06 11:38:23 +0200 | <Lears> | To be clear, "finite" here is ambiguous. If you mean data types of finite cardinality then the answer is still nothing in e.g. System F. I took you to mean data types with values of finite size. |
2024-10-06 11:37:54 +0200 | rosco | (~rosco@183.171.72.164) rosco |
2024-10-06 11:36:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty for answers |
2024-10-06 11:36:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm i see |
2024-10-06 11:36:06 +0200 | <ncf> | or 1 + — i guess |
2024-10-06 11:35:37 +0200 | <ncf> | the least fixed point of Const ℕ is infinite |
2024-10-06 11:35:19 +0200 | <Lears> | thirdofmay: In Haskell, nothing. In System F, strong normalisation and program finiteness. |
2024-10-06 11:35:00 +0200 | <ncf> | nothing |
2024-10-06 11:32:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> what guarantees that the least fixed point of a type-functor will produce finite data types? |
2024-10-06 11:31:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-10-06 11:29:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 11:27:26 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-06 11:27:21 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) (Ping timeout: 252 seconds) |
2024-10-06 11:25:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:16:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-06 11:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-06 11:12:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-06 11:07:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 11:05:03 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
2024-10-06 11:01:26 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) |
2024-10-06 10:59:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-06 10:59:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-06 10:55:55 +0200 | fmira | (~user@user/fmira) (Quit: fmira) |
2024-10-06 10:54:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:51:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-06 10:50:52 +0200 | Digit | (~user@user/digit) Digit |
2024-10-06 10:50:51 +0200 | artu | (~artu@2601:600:8181:9b00::14) (Quit: WeeChat 4.4.2) |
2024-10-06 10:50:19 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-06 10:48:45 +0200 | sawilagar | (~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 +0200 | Digitteknohippie | (~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 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-06 10:43:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-06 10:41:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-06 10:41:49 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-10-06 10:41:33 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-06 10:39:49 +0200 | acidjnk | (~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 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-06 10:35:31 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-10-06 10:29:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-06 10:29:09 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
2024-10-06 10:28:42 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-06 10:25:08 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection) |
2024-10-06 10:24:43 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |