Logs: freenode/#haskell
| 2021-04-29 19:43:26 | <davean> | I'm really not sure how this could break anyone's mind |
| 2021-04-29 19:43:41 | <monochrom> | "Arcable a" is not a type? |
| 2021-04-29 19:43:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
| 2021-04-29 19:44:06 | <monochrom> | And in Haskell2010, not even a kind? |
| 2021-04-29 19:44:42 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-29 19:44:46 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 2021-04-29 19:45:15 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-04-29 19:45:16 | <monochrom> | And the line {-# language ConstraintKinds #-} begets a lot of questions and digressions on what it means? |
| 2021-04-29 19:45:32 | <monochrom> | And I even forgot whether TypeInType is also required. |
| 2021-04-29 19:46:14 | <davean> | I mean if we're up to type classes we've convered constraints |
| 2021-04-29 19:46:30 | <monochrom> | I can understand that if the optimizing goal is "just cargo-cult it, don't try to understand, don't even ask why it's legal in the first place?" then sure. |
| 2021-04-29 19:46:57 | <davean> | Like the stuff for doing manipulations of constraints in the type system is a little byzantine |
| 2021-04-29 19:47:10 | <davean> | but the concept is ... well, its just weird when it isn't allowed. |
| 2021-04-29 19:47:39 | <davean> | Its already part of the type signature |
| 2021-04-29 19:47:46 | <davean> | we're just removing selerations between the levels |
| 2021-04-29 19:47:46 | geekosaur | admits he'dprobably try that first, get an error that ConstraintKinds is needed, then wonder if he's letting himself in for type voodoo |
| 2021-04-29 19:49:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-29 19:49:23 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-29 19:50:43 | Lycurgus | as a rational fundamentalist suspects higher order typed are bad juju period |
| 2021-04-29 19:51:24 | Lycurgus | *types |
| 2021-04-29 19:51:41 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-29 19:53:42 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-mfesfokfwpleawzk) (Ping timeout: 245 seconds) |
| 2021-04-29 19:54:06 | × | stevekrouse1[m] quits (stevekrous@gateway/shell/matrix.org/x-sskcyvujdvynhasa) (Ping timeout: 245 seconds) |
| 2021-04-29 19:54:07 | × | vaibhavsagar quits (vaibhavsag@gateway/shell/matrix.org/x-jalplsodfrwfewzt) (Ping timeout: 245 seconds) |
| 2021-04-29 19:54:07 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-eqxnnnvtcaueqhad) (Ping timeout: 245 seconds) |
| 2021-04-29 19:54:07 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-29 19:54:47 | → | stevekrouse1[m] joins (stevekrous@gateway/shell/matrix.org/x-yavjkxinulfgxwlk) |
| 2021-04-29 19:54:53 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-yogdjvkzyankbmtu) |
| 2021-04-29 19:55:18 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-rksdwxlrklojjcvb) |
| 2021-04-29 19:55:46 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-jmtycosfbgskcbjd) (Ping timeout: 245 seconds) |
| 2021-04-29 19:55:46 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-mgevtppufszitkam) (Ping timeout: 245 seconds) |
| 2021-04-29 19:56:29 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-29 19:56:32 | <juri_> | monochrom: no? |
| 2021-04-29 19:56:34 | × | PtxDK quits (~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) (Read error: Connection reset by peer) |
| 2021-04-29 19:56:36 | → | vaibhavsagar joins (vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc) |
| 2021-04-29 19:57:01 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-fvxopfvkrxwyhetn) |
| 2021-04-29 19:57:20 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-jmtbhypkvdgrojab) |
| 2021-04-29 19:57:31 | <juri_> | this is my first forray into typeclasses, from necessity. handling types with Eithers in them leaves a lot of calls to error. |
| 2021-04-29 19:57:40 | → | PtxDK joins (~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) |
| 2021-04-29 19:58:40 | <juri_> | I'm working with graphs in 2d space. Arcable means a node has the potential to have an output line, and Pointable means the node has enough lines of enough different angles to resolve the note to a position on the 2d plane. |
| 2021-04-29 19:58:45 | <geekosaur> | these days you can't turn TypeInType off |
| 2021-04-29 19:58:54 | <juri_> | Also, i'm a hit at parties. |
| 2021-04-29 20:01:22 | <davean> | juri_: uh, I question if these should be type classes |
| 2021-04-29 20:01:48 | <int-e> | geekosaur: what could go wrong? |
| 2021-04-29 20:02:12 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-29 20:02:31 | × | desophos quits (~desophos@2601:249:1680:a570:2805:692e:a4c7:e255) (Quit: Mutter: www.mutterirc.com) |
| 2021-04-29 20:02:56 | <juri_> | davean: i kindof do to, but they definately needed to stop being three types of node, hiding in one type, with lots of Either, and lots of function implementations that effectively 'type checked' with error during runtime. |
| 2021-04-29 20:02:57 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-29 20:03:36 | <geekosaur> | huh, guess it still works. thought they'd removed the old machinery one version after making TypeInType default |
| 2021-04-29 20:03:55 | <DigitalKiwi> | maerwald: anyway, one of the easiest and most useful things is that nix can be used as a sort of ghcupp but for all of the things ;p |
| 2021-04-29 20:03:56 | <monochrom> | Are you saying that if X is an Arcable instance then "Either E X" is also an Arcable instance? |
| 2021-04-29 20:03:57 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-29 20:04:11 | <juri_> | no? |
| 2021-04-29 20:04:37 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-29 20:04:50 | <monochrom> | What have I done. |
| 2021-04-29 20:04:59 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-29 20:05:00 | <juri_> | I'm saying that Node had all kinds of logic for Either (LineSeg, LineSeg) [PLine2] to be a member. |
| 2021-04-29 20:05:02 | <monochrom> | I started the trend of answering questions with question marks? |
| 2021-04-29 20:05:11 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-29 20:05:39 | <juri_> | because by the rules of the system, a node either had two line segments, or N lines intersecting with it. |
| 2021-04-29 20:05:52 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-04-29 20:05:59 | <juri_> | now, i have two types for the two rules. everything is MUCH cleaner. |
| 2021-04-29 20:06:05 | <DigitalKiwi> | in fact... https://gist.githubusercontent.com/Kiwi/df35e1fde120346d47138e13565794bb/raw/224ea9c7e79ef3414a77864ac058fa32005cbe2f/nixos-up |
| 2021-04-29 20:06:24 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-29 20:06:42 | <juri_> | nodes with (LineSeg, LineSeg) always have an output Arc, while the other nodes have a Maybe Arc... |
| 2021-04-29 20:06:58 | <juri_> | they're similar, but very not, and it jammed up all of the things. |
| 2021-04-29 20:07:33 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-29 20:07:38 | <DigitalKiwi> | https://github.com/a-schaefers/themelios#tips--tricks |
| 2021-04-29 20:07:41 | <juri_> | for instance, forcing the LineSeg carrying types to have Maybe arc, even though it was always Just. |
| 2021-04-29 20:07:49 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-04-29 20:07:57 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-29 20:08:19 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-29 20:08:23 | <DigitalKiwi> | nix-build '<nixpkgs/nixos>' -A config.system.build.isoImage -I nixos-config=iso.nix # builds a usb image |
| 2021-04-29 20:09:25 | <DigitalKiwi> | [root@nixos:~] themelios ./hosts/vm-example/configuration.sh https://github.com/a-schaefers/themelios.git master # completely installs and configures |
| 2021-04-29 20:14:47 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:cd02:6757:782f:7e4d) (Ping timeout: 260 seconds) |
| 2021-04-29 20:17:34 | → | bobby joins (~bobby@110.54.200.106) |
| 2021-04-29 20:19:24 | × | bobby quits (~bobby@110.54.200.106) (Client Quit) |
| 2021-04-29 20:20:46 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-29 20:21:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-29 20:23:43 | × | shailangsa quits (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2021-04-29 20:25:07 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-29 20:25:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-29 20:26:21 | → | ChessGuevara joins (~chessguev@103.27.2.106) |
| 2021-04-29 20:26:21 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-29 20:26:58 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:6972:4f4b:800a:5969) |
| 2021-04-29 20:29:55 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-29 20:31:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-29 20:37:16 | → | lordcirth_ joins (~lordcirth@2607:f2c0:95b3:4400:486b:2c7b:87d6:2af0) |
| 2021-04-29 20:37:41 | × | jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-04-29 20:38:11 | → | jamestmartin joins (james@jtmar.me) |
| 2021-04-29 20:38:19 | × | jamestmartin quits (james@jtmar.me) (Remote host closed the connection) |
| 2021-04-29 20:39:02 | <lordcirth_> | I'm using Brick, and trying to get widgets to be fixed-width: "B.padRight (B.Pad (10 - B.textWidth hpBar)) hpBar" but the types are wrong; "No instance for (B.TextWidth (B.Widget Name))". What's the correct way to do this? |
| 2021-04-29 20:39:11 | × | alx741 quits (~alx741@181.196.68.118) (Ping timeout: 240 seconds) |
| 2021-04-29 20:40:00 | → | jamestmartin joins (~james@jtmar.me) |
| 2021-04-29 20:40:21 | × | malumore_ quits (~malumore@151.62.116.76) (Ping timeout: 268 seconds) |
| 2021-04-29 20:40:26 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-29 20:41:16 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 2021-04-29 20:41:30 | <sm[m]> | lordcirth_: if you don't already understand the types clearly, a useful technique is to add lots of type annotations - replace X with (X :: SomeType) |
| 2021-04-29 20:43:59 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-29 20:44:02 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
All times are in UTC.