Logs: liberachat/#haskell
| 2021-06-23 03:12:51 | <monochrom> | Haha Cale you have abstract perfect pitch. |
| 2021-06-23 03:12:56 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-23 03:13:35 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-23 03:13:57 | → | pottsy joins (~pottsy@2400:4050:b560:3700:f364:dfb7:d56f:99c4) |
| 2021-06-23 03:14:06 | <outoftime> | I have never used Haskell before and I want to solve `Zn = Z_{n-1}^2 + C` wich gives cicle of length 6 for Z0 and C in range -100..100 (it has no solution in N) |
| 2021-06-23 03:15:07 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-23 03:15:18 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-23 03:15:31 | → | talismanick joins (~user@2601:644:8502:d700::94c9) |
| 2021-06-23 03:15:57 | <outoftime> | I had idea to implement `Fraction a b` but I've read "Learn You a Haskell for Great Good!" to the point when I could do it. That is why asked, maybe there is some type I can start using right now. |
| 2021-06-23 03:16:29 | <outoftime> | *Fraction (Integer a) (Integer b) |
| 2021-06-23 03:16:39 | <ChaiTRex> | outoftime: Data.Ratio |
| 2021-06-23 03:17:04 | <talismanick> | Cabal v3.* uses the new commands by default, right? |
| 2021-06-23 03:17:12 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 03:17:30 | <talismanick> | e.g. "cabal install" is the same as "cabal v2-install" or "cabal new-install" in Cabal v2.* |
| 2021-06-23 03:17:49 | → | bone-baboon joins (~bone-babo@37.19.198.11) |
| 2021-06-23 03:18:09 | <talismanick> | Please tell me I haven't been priming my system for Cabal Hell |
| 2021-06-23 03:21:12 | <peddie> | outoftime: that's the Rational type |
| 2021-06-23 03:21:13 | <monochrom> | Yes, v2- is the default. |
| 2021-06-23 03:22:12 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 03:22:55 | <outoftime> | ChaiTRex: thank you! |
| 2021-06-23 03:25:50 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-23 03:26:27 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-23 03:26:39 | <ChaiTRex> | No problem. |
| 2021-06-23 03:26:42 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 264 seconds) |
| 2021-06-23 03:26:50 | → | Morrow_ joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-23 03:27:33 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 03:30:24 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-06-23 03:30:33 | justBull | is now known as justK |
| 2021-06-23 03:31:20 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-23 03:32:14 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-23 03:33:12 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-06-23 03:33:12 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
| 2021-06-23 03:33:29 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-23 03:33:44 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
| 2021-06-23 03:33:51 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-06-23 03:34:17 | × | Morrow_ quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds) |
| 2021-06-23 03:35:44 | JSharp | is now known as JSharp_ |
| 2021-06-23 03:35:48 | JSharp_ | is now known as JSharp__ |
| 2021-06-23 03:35:51 | JSharp__ | is now known as jaesharp |
| 2021-06-23 03:35:54 | jaesharp | is now known as jaesharp_ |
| 2021-06-23 03:35:59 | jaesharp_ | is now known as jaesharp__ |
| 2021-06-23 03:36:35 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-23 03:37:13 | jaesharp__ | is now known as JSharp |
| 2021-06-23 03:38:18 | JSharp | is now known as Rachel |
| 2021-06-23 03:38:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-23 03:38:38 | Rachel | is now known as Rachel_ |
| 2021-06-23 03:38:40 | Rachel_ | is now known as Rachel__ |
| 2021-06-23 03:38:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-06-23 03:38:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-23 03:38:52 | Rachel__ | is now known as JSharp |
| 2021-06-23 03:39:14 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-23 03:40:22 | <guest61> | JSharp please stop flooding |
| 2021-06-23 03:43:21 | <bone-baboon> | Can lambdabot be used to help answer FAQ that repeatedly come up in a IRC channel? |
| 2021-06-23 03:44:06 | <JSharp> | guest61: I thought I parted all of my channels :/ - sorry about that! |
| 2021-06-23 03:45:48 | → | sekun joins (~sekun@180.190.208.125) |
| 2021-06-23 03:46:17 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-23 03:48:47 | <boxscape> | @where TAPL |
| 2021-06-23 03:48:47 | <lambdabot> | "Types and Programming Languages" by Benjamin C. Pierce in 2002-02-01 at <https://www.cis.upenn.edu/~bcpierce/tapl/> |
| 2021-06-23 03:49:00 | <boxscape> | bone-baboon: you can have it remember things for arbitrary keywords ^ |
| 2021-06-23 03:50:16 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-23 03:52:36 | → | Morrow joins (~MorrowM_@147.161.13.60) |
| 2021-06-23 03:52:54 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-23 03:53:16 | → | MorrowM joins (~MorrowM_@147.161.13.60) |
| 2021-06-23 03:53:48 | <qrpnxz> | there a way to derive the number typeclasses for things like newtype X a = X Float? |
| 2021-06-23 03:54:30 | → | Morrow_ joins (~MorrowM_@147.161.13.60) |
| 2021-06-23 03:54:50 | <bone-baboon> | boxscape: Thanks |
| 2021-06-23 03:56:10 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-23 03:57:01 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-06-23 03:57:01 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-23 03:57:01 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-23 03:57:02 | × | Morrow quits (~MorrowM_@147.161.13.60) (Ping timeout: 252 seconds) |
| 2021-06-23 03:58:57 | × | MorrowM quits (~MorrowM_@147.161.13.60) (Ping timeout: 268 seconds) |
| 2021-06-23 03:59:27 | <boxscape> | % :set -XGeneralizedNewtypeDeriving |
| 2021-06-23 03:59:27 | <yahb> | boxscape: |
| 2021-06-23 03:59:34 | <boxscape> | % newtype X a = X Float deriving Num |
| 2021-06-23 03:59:34 | <yahb> | boxscape: |
| 2021-06-23 03:59:36 | <boxscape> | qrpnxz: ^ |
| 2021-06-23 04:00:02 | <boxscape> | qrpnxz: these days it's good practice to also enable -XDerivingStrategies and write `deriving newtype Num` to make it clear that you're using newtype deriving to derive it |
| 2021-06-23 04:00:53 | × | Topsi quits (~Tobias@dyndsl-095-033-016-151.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-06-23 04:11:42 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-23 04:15:07 | <sekun> | thyriaen: Lazy evaluation means you don't have to specify how many times you want it to cycle. Just take `n` elements from the list, and GHC will only evaluate what you take. `take 3 $ cycle [1, 2]`. |
| 2021-06-23 04:18:10 | <sm[m]> | why do some people dislike Data.Default (def) ? Is it because it's harder for IDEs to show the definition ? |
| 2021-06-23 04:19:30 | <JSharp> | boxscape: I saw that yesterday on TweagIO's YouTube video - *very cool* - it's so easy to miss super useful extensions. |
| 2021-06-23 04:19:37 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-23 04:23:49 | <glguy> | sm[m], it generally only makes code more complicated |
| 2021-06-23 04:24:05 | <glguy> | for everyone put the person who got to save some keystrokes when writing that bit of code |
| 2021-06-23 04:24:11 | <glguy> | but the* |
| 2021-06-23 04:24:43 | <sm[m]> | glguy: I see |
| 2021-06-23 04:24:53 | <sm[m]> | I'm getting the feeling it's the same with lenses, but the benefits are a bit more |
| 2021-06-23 04:24:59 | <glguy> | To know what 'def' is in some code I have to de type inference to work out its type and then hunt down the instance that was used |
| 2021-06-23 04:25:04 | × | TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-06-23 04:25:17 | <sm[m]> | both these break IDE code navigation |
| 2021-06-23 04:25:43 | <glguy> | You mean if you use TH to generate them? |
| 2021-06-23 04:25:51 | <sm[m]> | yes |
| 2021-06-23 04:25:59 | <sm[m]> | if we avoid TH I guess they are navigable then |
| 2021-06-23 04:26:25 | <glguy> | the definition of lenses can be guessed correctly, at least |
| 2021-06-23 04:26:36 | <glguy> | for the kinds of things TH can generate |
| 2021-06-23 04:26:44 | <sm[m]> | I might be getting finally dragged into the world of lens... |
| 2021-06-23 04:27:57 | <glguy> | What're you lensing? |
| 2021-06-23 04:28:01 | <sm[m]> | it feels like they both giveth and taketh away. The code can be easier to understand superficially, but is harder to understand completely |
All times are in UTC.