Logs: liberachat/#haskell
| 2021-06-23 01:07:15 | <Clint> | ok, just checking |
| 2021-06-23 01:07:17 | <geekosaur> | qrpnxz, you want to apply it not compose it, but it would be doing nothing |
| 2021-06-23 01:07:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-23 01:08:46 | <qrpnxz> | oh, the real error in my code is that function will apply more tightly than multiplication rip |
| 2021-06-23 01:11:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-23 01:11:44 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 01:13:09 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-23 01:13:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-23 01:14:01 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 01:15:05 | × | stevenxl_ quits (~stevenlei@174.128.182.212) (Quit: leaving) |
| 2021-06-23 01:16:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 244 seconds) |
| 2021-06-23 01:21:07 | × | chisui quits (~chisui@200116b866492700342cdc4d594c896c.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-06-23 01:21:44 | × | howdy` quits (~user@2001:8003:2432:d501:1ea:381d:5464:1a19) (Ping timeout: 252 seconds) |
| 2021-06-23 01:21:46 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-06-23 01:22:26 | → | howdy` joins (~user@2001:8004:1d00:2409:685e:a149:f33:6c38) |
| 2021-06-23 01:23:27 | → | haskl joins (~haskeller@user/haskl) |
| 2021-06-23 01:25:09 | → | howdy`` joins (~user@2001:8003:2432:d501:7c9a:6d35:e5a2:fb9c) |
| 2021-06-23 01:27:20 | × | howdy` quits (~user@2001:8004:1d00:2409:685e:a149:f33:6c38) (Ping timeout: 268 seconds) |
| 2021-06-23 01:28:55 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-23 01:32:00 | → | pfurla_ joins (~pfurla@216.131.82.46) |
| 2021-06-23 01:34:49 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-06-23 01:37:34 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:7821:4ac6:7f63:f8) (Remote host closed the connection) |
| 2021-06-23 01:40:04 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-23 01:44:43 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-23 01:47:37 | × | trent2 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds) |
| 2021-06-23 01:48:08 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-23 01:48:25 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-06-23 01:48:32 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-23 01:51:54 | × | shimin quits (~liushimin@2409:893c:d32:97:28d4:25fe:fcfb:1863) (Ping timeout: 264 seconds) |
| 2021-06-23 01:51:55 | × | mikail_ quits (~mikail@90.212.77.3) (Ping timeout: 268 seconds) |
| 2021-06-23 01:52:49 | <qrpnxz> | there a syntax to do like half open ranges on lists like `[0...l]` or smth like that? |
| 2021-06-23 01:54:51 | <glguy> | qrpnxz, [0..l-1] |
| 2021-06-23 01:54:52 | <geekosaur> | no, and in fact Haskell's story there is a bit strange for some types |
| 2021-06-23 01:55:32 | <geekosaur> | notably Double can run past the end of the range under some circumstances |
| 2021-06-23 01:56:57 | <boxscape> | > [1.1, 1.31..4] |
| 2021-06-23 01:56:58 | <lambdabot> | [1.1,1.31,1.52,1.73,1.94,2.15,2.36,2.57,2.78,2.9899999999999998,3.1999999999... |
| 2021-06-23 01:57:18 | <boxscape> | somewhat anticlimactic when lambdabot doesn't show the whole list |
| 2021-06-23 01:58:08 | <qrpnxz> | glguy, 😭️ |
| 2021-06-23 01:58:12 | <qrpnxz> | alright thanks guys |
| 2021-06-23 01:58:38 | <c_wraith> | > [1, 2.5 .. 3.5] |
| 2021-06-23 01:58:39 | <lambdabot> | [1.0,2.5,4.0] |
| 2021-06-23 01:58:42 | <ChaiTRex> | > last [1.1, 1.31..4] |
| 2021-06-23 01:58:44 | <lambdabot> | 4.039999999999999 |
| 2021-06-23 01:59:14 | <glguy> | qrpnxz, I find the languages that do that just make a confusing mess with it |
| 2021-06-23 01:59:41 | <glguy> | like Rust's .. and ..= |
| 2021-06-23 01:59:43 | <qrpnxz> | i think one language does .. and ..=, which is perfectly legible |
| 2021-06-23 01:59:54 | <qrpnxz> | lol |
| 2021-06-23 02:00:09 | <geekosaur> | de gustibus… |
| 2021-06-23 02:02:05 | × | xff0x quits (~xff0x@2001:1a81:5218:4800:ee:cf49:8e18:79e1) (Ping timeout: 244 seconds) |
| 2021-06-23 02:03:50 | → | xff0x joins (~xff0x@2001:1a81:5256:f800:ed61:c578:88bf:885a) |
| 2021-06-23 02:05:41 | <boxscape> | I think with syntax like [1,2...n] or anything similar it clearly seems to suggest that n is inside the list |
| 2021-06-23 02:07:11 | <qrpnxz> | .. vs ... is kind of anybodies guess, but .. vs ..= is obvious |
| 2021-06-23 02:08:13 | <glguy> | If you're going to have both, then ..< and ..= at least |
| 2021-06-23 02:08:26 | <boxscape> | ^ |
| 2021-06-23 02:10:11 | <boxscape> | it's strange that [n..m] gets desugared into enumFromTo but `if c then a else b` doesn't get desugared into ifThenElse without RebindableSyntax |
| 2021-06-23 02:14:25 | → | GoodbyeVincent joins (~GoodbyeVi@55.15.95.92.rev.sfr.net) |
| 2021-06-23 02:16:36 | <boxscape> | (It's also strange that RebindableSyntax/OverloadedLists doesn't let you supply your own enumFromTo, I suppose) |
| 2021-06-23 02:17:06 | → | outoftime joins (~ruslan@46.227.138.42) |
| 2021-06-23 02:19:35 | → | ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net) |
| 2021-06-23 02:35:20 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-23 02:35:20 | FinnElija | is now known as Guest3314 |
| 2021-06-23 02:35:20 | × | Guest3314 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2021-06-23 02:35:20 | finn_elija | is now known as FinnElija |
| 2021-06-23 02:36:54 | × | alx741 quits (~alx741@181.196.68.156) (Quit: alx741) |
| 2021-06-23 02:41:07 | → | Topsi joins (~Tobias@dyndsl-095-033-016-151.ewe-ip-backbone.de) |
| 2021-06-23 02:43:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-06-23 02:43:11 | × | ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Remote host closed the connection) |
| 2021-06-23 02:44:46 | <outoftime> | Does Haskell have an arbitrary precision fraction data type? I can not loose precision been working with values of +-10^128. |
| 2021-06-23 02:45:09 | <glguy> | outoftime, it has Rational |
| 2021-06-23 02:45:57 | <Axman6> | > 2^255 % 3^127 |
| 2021-06-23 02:45:59 | <lambdabot> | 5789604461865809771178549250434395392663499233282028201972879200395656481996... |
| 2021-06-23 02:46:14 | <Axman6> | :t 2^255 % 3^127 |
| 2021-06-23 02:46:15 | <lambdabot> | Integral a => Ratio a |
| 2021-06-23 02:48:06 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 02:52:55 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-23 02:53:50 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-23 02:54:09 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
| 2021-06-23 02:54:54 | × | renzhi quits (~xp@2607:fa49:6501:9500:5589:4dab:9f77:1a6b) (Ping timeout: 268 seconds) |
| 2021-06-23 02:55:48 | × | td_ quits (~td@94.134.91.59) (Ping timeout: 252 seconds) |
| 2021-06-23 02:57:13 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 02:57:42 | → | td_ joins (~td@muedsl-82-207-238-055.citykom.de) |
| 2021-06-23 03:00:52 | <Cale> | Axman6: Ah yes, the just interval between C and an F♭♭♭♭♭♭♭♭♭♭♭♭♭♭♭♭♭♭ 53 octaves above it |
| 2021-06-23 03:01:50 | → | phma joins (phma@2001:5b0:210d:d028:4f8f:d565:65bb:29c2) |
| 2021-06-23 03:01:53 | <peddie> | outoftime: you can use a library like `hmpfr` or `qd` to get a higher precision floating-point type |
| 2021-06-23 03:03:50 | <qrpnxz> | but why, it's built in |
| 2021-06-23 03:04:10 | <qrpnxz> | hey, does type Name = Int actually create a new type or is this an alias? |
| 2021-06-23 03:04:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-23 03:04:17 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-23 03:04:48 | <peddie> | qrpnxz: you mean Rational is built in? yes, but it represents exact rational numbers, and sometimes you want a floating-point approximate reals and/or IEEE754 semantics |
| 2021-06-23 03:05:06 | <qrpnxz> | there is also bigfloat, i forget what it's called tho |
| 2021-06-23 03:05:39 | <peddie> | qrpnxz: there are bindings to libbf, but they don't include many functions right now |
| 2021-06-23 03:06:10 | → | trent2 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-23 03:06:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-23 03:06:52 | <peddie> | qrpnxz: `type Name = Int` is an alias; you can use `newtype` to create a new type |
| 2021-06-23 03:06:57 | <qrpnxz> | ty |
| 2021-06-23 03:07:10 | × | pfurla_ quits (~pfurla@216.131.82.46) (Ping timeout: 252 seconds) |
| 2021-06-23 03:07:53 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 252 seconds) |
| 2021-06-23 03:09:47 | <qrpnxz> | ah, there's no bigfloat, ig you can just use Integer then |
| 2021-06-23 03:11:29 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-23 03:12:42 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
All times are in UTC.