Logs: freenode/#haskell
| 2020-11-07 15:36:18 | <merijn> | eayus: If it just an assignment is cryptographic randomness really a requirement? |
| 2020-11-07 15:36:46 | <merijn> | If you just need "random" there's much easier ways |
| 2020-11-07 15:37:06 | <[exa]> | Franciman: oh so. Well the general advice is 'do not model', it is very problematic :] Btw., Have you seen immediate-mode GUIs? |
| 2020-11-07 15:37:37 | <Franciman> | yes, is there any binding for haskell? |
| 2020-11-07 15:37:52 | <Franciman> | it's interesting, and could be easier to code |
| 2020-11-07 15:38:41 | <[exa]> | well if you can live with rendered output it's the easiest ever. No idea about the binding though (would love to know myself) |
| 2020-11-07 15:38:54 | <eayus> | merijn: Unfortunately the assignment isn't exactly clear, since otherwise I would just be using System.Random. |
| 2020-11-07 15:39:04 | <Franciman> | I know about imgui |
| 2020-11-07 15:39:11 | <Franciman> | but let's see if there is a binding |
| 2020-11-07 15:39:23 | <Franciman> | what i'd love to avoid is to draw widgets myself |
| 2020-11-07 15:39:28 | <Franciman> | I'm really bad at that :P |
| 2020-11-07 15:39:30 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-96-22.w86-212.abo.wanadoo.fr) |
| 2020-11-07 15:39:39 | <[exa]> | the first google is bad. :D |
| 2020-11-07 15:39:48 | <merijn> | eayus: I'd just use System.Random, send an email to the TAs and then you can always replace it later with "something" (even reading /dev/urandom or something) |
| 2020-11-07 15:39:53 | <Franciman> | even hackage |
| 2020-11-07 15:39:54 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-07 15:40:06 | <eayus> | merijn: Yeah I think that's the best idea |
| 2020-11-07 15:40:16 | <[exa]> | the problem with imgui is that it's a really C-specific hack |
| 2020-11-07 15:40:22 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-115-234.w86-198.abo.wanadoo.fr) (Ping timeout: 258 seconds) |
| 2020-11-07 15:40:50 | <Franciman> | hmm I see |
| 2020-11-07 15:40:51 | <[exa]> | I wondered if we could have something similar atop of State and Lenses instead of the implicit references everywhere, it kinda didn't spawn itself yet |
| 2020-11-07 15:41:02 | <[exa]> | (would be SO COOL with gloss, right? :D ) |
| 2020-11-07 15:41:05 | × | newbie quits (~kvirc@188.211.36.80) (Quit: When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net) |
| 2020-11-07 15:41:21 | <Franciman> | that'd be cool indeed |
| 2020-11-07 15:42:04 | <Franciman> | last thing to try is fltkhs, it seems cool, but it *forces* you to use stack |
| 2020-11-07 15:42:09 | <Franciman> | I don't want to use stack |
| 2020-11-07 15:42:12 | <[exa]> | oh noes |
| 2020-11-07 15:42:14 | <merijn> | what? |
| 2020-11-07 15:42:17 | <merijn> | No it doesn't |
| 2020-11-07 15:42:37 | <Franciman> | I tried to build it with cabal |
| 2020-11-07 15:42:51 | <Franciman> | and it doesn't work, I get a strange error about the package not boeing registered |
| 2020-11-07 15:42:52 | <Franciman> | being* |
| 2020-11-07 15:43:06 | <Franciman> | I gotta say I compiled with the bundled flag |
| 2020-11-07 15:44:11 | <merijn> | It *should* work with cabal-install |
| 2020-11-07 15:44:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-07 15:45:23 | <merijn> | Ah, looks like a classic case of "fucked up bounds" |
| 2020-11-07 15:46:04 | <Franciman> | merijn, I asked fgaz |
| 2020-11-07 15:46:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-07 15:46:19 | <merijn> | Franciman: Which version of cabal-install are you using? |
| 2020-11-07 15:46:20 | <Franciman> | he said that the Setup.hs does Strange^{TM} things with hooks |
| 2020-11-07 15:46:30 | <Franciman> | and he could reproduce the issue |
| 2020-11-07 15:46:41 | <Franciman> | 3.2.0.0 |
| 2020-11-07 15:48:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-11-07 15:49:03 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Ping timeout: 240 seconds) |
| 2020-11-07 15:50:29 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2020-11-07 15:50:30 | × | laxask quits (~lax@unaffiliated/laxask) (Ping timeout: 256 seconds) |
| 2020-11-07 15:51:39 | bairyn | is now known as ByronJohnson |
| 2020-11-07 15:52:13 | <tomsmeding> | Today I used DataKinds for the first time, and noticed that -Wunticked-promoted-constructors is in -Wall ( https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wunticked-promoted-constructors ) |
| 2020-11-07 15:52:50 | <tomsmeding> | I had been under the impression that ' was only used if it's necessary for disambiguation, but I'm probably wrong on that part; do people heed that warning normally? |
| 2020-11-07 15:53:02 | <tomsmeding> | (I assume so because it's in -Wall, but still) |
| 2020-11-07 15:53:10 | <merijn> | tomsmeding: It must be new in -Wall, tbh |
| 2020-11-07 15:53:24 | <merijn> | Because when I used DataKinds I never get that warning |
| 2020-11-07 15:53:29 | <fgaz> | Franciman, merijn: Yeah, the package is copied but not registered. I didn't really read the full Setup.hs, I just saw the registerHook and concluded that it's probably because of it. There isn't really any other way to get that error afaik |
| 2020-11-07 15:54:07 | <tomsmeding> | merijn: ghc 8.8.4 here 🤷 |
| 2020-11-07 15:54:18 | → | Gurkenglas__ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-11-07 15:54:36 | <fgaz> | Of course, the bounds are _also_ fucked up |
| 2020-11-07 15:54:51 | <merijn> | fgaz: Of course, because being a good citizen is hard :p |
| 2020-11-07 15:55:56 | <merijn> | I'm going to write a grumpy old man blogpost and yell at people to stop listening to "Timmy, the ADHD monkey" part of their brain when they bitch about needing to write other-modules and adding upperbounds |
| 2020-11-07 15:56:02 | → | avdb joins (~avdb@ip-83-134-26-133.dsl.scarlet.be) |
| 2020-11-07 15:56:40 | <Franciman> | I think it's stack's fault |
| 2020-11-07 15:56:42 | <Franciman> | it's hell |
| 2020-11-07 15:56:45 | <Franciman> | in earth |
| 2020-11-07 15:57:24 | <merijn> | I don't like waiting for stop signs or paying taxes either, but goddammit "we live in a society!" |
| 2020-11-07 15:57:49 | <merijn> | Franciman: Stack and FPComplete's encouragement/condoning of lack of upperbounds certainly doesn't help, no |
| 2020-11-07 15:58:00 | <tomsmeding> | merijn: you're going to have to learn some more grumpy old man language :p |
| 2020-11-07 15:58:10 | <merijn> | At least Snoyman was forced to eat his words on committing .cabal files |
| 2020-11-07 15:58:30 | <merijn> | Now they should just disable automatic hpack support in stack >.> |
| 2020-11-07 16:00:15 | → | lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2020-11-07 16:00:44 | <tomsmeding> | hah! but I outsmarted -Wunticked-promoted-constructors: data LabelType = NodeLabel_ | EnvLabel_ ; type NodeLabel = 'NodeLabel_ ; type EnvLabel = 'EnvLabel_ |
| 2020-11-07 16:01:18 | <merijn> | fgaz: Looks at this gorgeous matrix: https://matrix.hackage.haskell.org/#/package/fltkhs/0.8.0.3/ |
| 2020-11-07 16:01:26 | <merijn> | tomsmeding: Welcome to 2013 ;) |
| 2020-11-07 16:01:52 | × | acidjnk_new2 quits (~acidjnk@p200300d0c718f691fdd3038ca44bce6e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-07 16:01:52 | <merijn> | tomsmeding: That's a documented trick for ensuring users of your code aren't forced to enable DataKinds to use your code :p |
| 2020-11-07 16:02:04 | <tomsmeding> | ah lol |
| 2020-11-07 16:02:13 | <tomsmeding> | yay reinvention of old tricks |
| 2020-11-07 16:03:00 | hackage | miv 0.4.5 - Vim plugin manager written in Haskell https://hackage.haskell.org/package/miv-0.4.5 (itchyny) |
| 2020-11-07 16:03:14 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-07 16:03:54 | <fgaz> | Wait, they didn't switch it off yet? So their build tool does the opposite of their recommendation? |
| 2020-11-07 16:04:40 | <merijn> | fgaz: They didn't stop recommending hpack |
| 2020-11-07 16:04:55 | <fgaz> | merijn re build matrix: I saw that, I saw that :-/ |
| 2020-11-07 16:05:01 | <merijn> | fgaz: They merely stopped recommending "don't commit your generated cabal file" |
| 2020-11-07 16:05:12 | <merijn> | fgaz: Did you check the failures? |
| 2020-11-07 16:05:23 | <Franciman> | I'll try to ask fltkhs author if it's possible to support cabal :< |
| 2020-11-07 16:05:36 | <merijn> | Apparently they're using cabal-version 2.0, but then use deprecated fields >.> |
| 2020-11-07 16:06:23 | <fgaz> | merijn: yeah, they don't use build-tool-depends |
| 2020-11-07 16:06:50 | <merijn> | fgaz: Also, which me luck |
| 2020-11-07 16:06:57 | <merijn> | I've decided to embark on a quest |
| 2020-11-07 16:07:11 | <merijn> | The Don Quixotic quest of figuring out run-tool-depends >.> |
| 2020-11-07 16:07:51 | <fgaz> | merijn: well... good luck :D |
| 2020-11-07 16:08:00 | × | knupfer quits (~Thunderbi@200116b82cc0b9002da38997f72b7245.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-11-07 16:08:09 | → | knupfer joins (~Thunderbi@200116b82cc0b900204cae1ce61735e2.dip.versatel-1u1.de) |
| 2020-11-07 16:08:34 | <fgaz> | hmm, it shouldn't be too different from the current data-files stuff... ...right? |
| 2020-11-07 16:09:47 | <merijn> | fgaz: That's what I thought |
| 2020-11-07 16:09:59 | <merijn> | Then I thought about it for 5 more minutes and realised it is |
| 2020-11-07 16:10:02 | <merijn> | by a lot :p |
| 2020-11-07 16:10:19 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 16:10:54 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-07 16:11:07 | → | JuanMiguel joins (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 2020-11-07 16:12:11 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-07 16:12:33 | <fgaz> | merijn: what's the biggest problem you ound? |
All times are in UTC.