Logs: liberachat/#haskell
| 2021-05-29 11:12:16 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-29 11:12:19 | → | holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-29 11:12:24 | → | ggole joins (~ggole@2001:8003:8119:7200:5512:f869:3799:bae7) |
| 2021-05-29 11:12:54 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:13:19 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2021-05-29 11:13:58 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-29 11:16:16 | → | ddellacosta joins (~ddellacos@86.106.121.23) |
| 2021-05-29 11:16:43 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Client Quit) |
| 2021-05-29 11:18:19 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:8f7:7cd4:97ed:dc53) |
| 2021-05-29 11:18:36 | → | aman joins (~aman@user/aman) |
| 2021-05-29 11:18:50 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-29 11:20:09 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-29 11:20:22 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-05-29 11:21:00 | × | ddellacosta quits (~ddellacos@86.106.121.23) (Ping timeout: 265 seconds) |
| 2021-05-29 11:21:29 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-29 11:21:37 | → | ubert joins (~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) |
| 2021-05-29 11:22:09 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:22:28 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-29 11:23:28 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 11:24:45 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:24:52 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 265 seconds) |
| 2021-05-29 11:25:52 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 11:26:08 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed) |
| 2021-05-29 11:26:22 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-29 11:26:27 | × | pe200012 quits (~pe200012@119.131.208.84) (Quit: Konversation terminated!) |
| 2021-05-29 11:26:34 | × | sbmsr quits (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds) |
| 2021-05-29 11:26:35 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-29 11:26:38 | × | benin quits (~benin@183.82.177.19) (Ping timeout: 248 seconds) |
| 2021-05-29 11:27:21 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:27:45 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-29 11:27:58 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-29 11:28:23 | <hjulle[m]> | Does anyone know how to tell cabal to not try to build (the dependencies of) some of the packages mentioned in a `cabal.project` file? (other than removing them from the `cabal.project` file) |
| 2021-05-29 11:29:13 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-29 11:30:28 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-29 11:31:24 | <hjulle[m]> | I get `cabal: Could not resolve dependencies:` because of a different package than the one I am currently trying to build. My guess is that the problem that cabal requires all the versions inside a project to be compatible, so it refuses to build anything if it can't figure out a plan for everything? |
| 2021-05-29 11:31:39 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-05-29 11:32:39 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 11:34:27 | → | ddellacosta joins (~ddellacos@86.106.121.70) |
| 2021-05-29 11:34:38 | × | xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 248 seconds) |
| 2021-05-29 11:36:24 | → | xff0x joins (~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) |
| 2021-05-29 11:36:47 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:37:48 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 11:38:45 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-29 11:39:04 | → | sciencentistguy joins (~sciencent@194.110.13.67) |
| 2021-05-29 11:39:10 | × | ubert quits (~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2021-05-29 11:39:16 | × | ddellacosta quits (~ddellacos@86.106.121.70) (Ping timeout: 264 seconds) |
| 2021-05-29 11:39:24 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-05-29 11:40:26 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-29 11:40:55 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-05-29 11:41:57 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-29 11:42:00 | → | koishi_ joins (~koishi_@185.209.85.134) |
| 2021-05-29 11:44:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-29 11:47:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-29 11:48:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-05-29 11:49:33 | <juri_> | grr. so, i can chose slists, which are safe, or nonempty, which is not safe... and there is no nonempty slist. |
| 2021-05-29 11:50:37 | → | zweimach joins (~zweimach@180.251.184.182) |
| 2021-05-29 11:53:19 | → | ddellacosta joins (~ddellacos@89.46.62.27) |
| 2021-05-29 11:54:29 | → | sbmsr joins (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) |
| 2021-05-29 11:54:43 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-29 11:54:43 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-29 11:54:43 | → | Deide joins (~Deide@user/deide) |
| 2021-05-29 11:55:15 | × | ddellacosta quits (~ddellacos@89.46.62.27) (Read error: Connection reset by peer) |
| 2021-05-29 11:55:19 | × | xsperry quits (~as@user/xsperry) () |
| 2021-05-29 11:55:28 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-29 11:55:47 | → | xsperry joins (~as@user/xsperry) |
| 2021-05-29 11:55:48 | × | holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 2021-05-29 11:55:49 | <Axman6> | juri_: can you not use vectors? |
| 2021-05-29 11:56:24 | × | bmsk quits (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) (Quit: bmsk) |
| 2021-05-29 11:56:39 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-29 11:57:09 | → | bmsk joins (~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) |
| 2021-05-29 11:57:55 | <rahguzar> | juri_ if you want something builtin use a tuple of an element and a strict list. That gives non-empty strict list and all the instances. Or you can define the `NonEmpty` data structure yourself and most of the instances you need can probably be derived using extensions |
| 2021-05-29 11:58:16 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-05-29 11:58:52 | <wz1000> | juri_: which is this unsafe slist? |
| 2021-05-29 11:59:34 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-29 11:59:46 | <Axman6> | You could pretty easily write a length bounded, non-empty list though - data SList n a where SNil :: a -> SNil ('S n) a; SCons :: a -> SList n a -> SList ('S n); a value of type SList n a has at most n elements in it but can have fewer |
| 2021-05-29 12:00:27 | <juri_> | I'm going to read on vectors for a bit. |
| 2021-05-29 12:00:59 | × | tonyz quits (~tonyz@user/tonyz) (Quit: Leaving) |
| 2021-05-29 12:02:12 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-29 12:02:32 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-29 12:02:55 | <Axman6> | As assuminbg you can define a constrasint of Finite n, you can have foo :: Finite n => Slist n a -> Int |
| 2021-05-29 12:03:03 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-29 12:03:21 | <rahguzar> | If the length is statically known there are already packages that track the length in type like `vector-sized` |
| 2021-05-29 12:03:28 | <juri_> | Axman6: I'm trying to make Stan happy with me.. which leads me in directions that are not very happy in haskell. |
| 2021-05-29 12:03:36 | <Axman6> | @ |
| 2021-05-29 12:03:49 | <Axman6> | @hackage stan |
| 2021-05-29 12:03:49 | <lambdabot> | https://hackage.haskell.org/package/stan |
| 2021-05-29 12:05:07 | <juri_> | specifically, i'm using length in my test suite, to ensure what comes into a transform has the same count of items as what comes out... and stan warns you if you use length, pointing you to slist.. |
| 2021-05-29 12:05:44 | <Axman6> | I've never used stan, so I can;t really help you there |
| 2021-05-29 12:06:19 | → | blurgy joins (~blurgy@blurgy.xyz) |
| 2021-05-29 12:06:37 | <juri_> | maybe i've been watching too many idris2 videos. i want to specify a length at the type level, which haskell has.. fun with. |
| 2021-05-29 12:06:54 | × | saolof quits (~olofs@185.217.69.158) (Ping timeout: 264 seconds) |
| 2021-05-29 12:06:59 | <Axman6> | Have you looked at liquid haskell? |
| 2021-05-29 12:08:04 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 264 seconds) |
| 2021-05-29 12:08:21 | <rahguzar> | @hackage vector-sized |
| 2021-05-29 12:08:21 | <lambdabot> | https://hackage.haskell.org/package/vector-sized |
| 2021-05-29 12:09:00 | × | zweimach quits (~zweimach@180.251.184.182) (Ping timeout: 250 seconds) |
| 2021-05-29 12:09:12 | <juri_> | Axman6: I'll add that to my reading list. |
| 2021-05-29 12:09:54 | × | Guest31 quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-29 12:10:05 | <rahguzar> | juri_ data structures tagged with type level length are somewhat annoying but I have used `vector-sized` and it is workable |
| 2021-05-29 12:11:53 | → | ddellacosta joins (~ddellacos@89.46.62.52) |
All times are in UTC.