Logs: liberachat/#haskell
| 2021-06-14 08:55:12 | × | unyu quits (~pyon@user/pyon) (Ping timeout: 252 seconds) |
| 2021-06-14 08:56:23 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-14 08:57:38 | × | fendor quits (~fendor@77.119.131.227.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-06-14 08:57:46 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-14 08:58:35 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 08:58:47 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-14 08:59:06 | × | ddellacosta quits (~ddellacos@86.106.121.191) (Ping timeout: 264 seconds) |
| 2021-06-14 09:01:17 | × | eflister quits (~eflister@2601:1c0:5501:c150:a9cd:cab7:e080:34d4) (Quit: Client closed) |
| 2021-06-14 09:02:23 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-14 09:02:42 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 2021-06-14 09:02:58 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-14 09:07:28 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-14 09:07:48 | × | Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8) |
| 2021-06-14 09:08:03 | → | Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) |
| 2021-06-14 09:10:29 | asm_ | is now known as asm |
| 2021-06-14 09:10:36 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 2021-06-14 09:10:36 | → | asm joins (~alexander@user/asm) |
| 2021-06-14 09:11:47 | <teaSlurper> | i'm using a lib which has a function called note |
| 2021-06-14 09:11:53 | × | mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 244 seconds) |
| 2021-06-14 09:11:58 | <teaSlurper> | it takes 2 args |
| 2021-06-14 09:12:40 | <dminuoso> | optics question, is there a way to (unsafely) set a fixed index into an optic, along the lines of `10 <<% ifolded`, which would set the index of each target to 10? |
| 2021-06-14 09:12:58 | <teaSlurper> | duration (fraction) and a predefined type thing called Pitch (A,4) |
| 2021-06-14 09:12:58 | <dminuoso> | (Im fully aware that this would let me create wrong traversals, I just need this for indexed folds) |
| 2021-06-14 09:13:10 | → | Guest25 joins (~Guest25@212.241.20.133) |
| 2021-06-14 09:13:37 | <teaSlurper> | the function only works for me when i declare Pitch before hand with it's type |
| 2021-06-14 09:13:53 | <dminuoso> | Ah I guess I can do: l <<% r = reindexed (const l) <% r |
| 2021-06-14 09:14:02 | <teaSlurper> | it's like the note function or haskell can't infer that (A,4) is of Pitch type |
| 2021-06-14 09:14:30 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-14 09:14:52 | × | Guest25 quits (~Guest25@212.241.20.133) (Client Quit) |
| 2021-06-14 09:15:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-14 09:21:04 | × | unyu quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2021-06-14 09:21:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Ping timeout: 252 seconds) |
| 2021-06-14 09:22:43 | → | flounders_ joins (~flounders@173.246.200.33) |
| 2021-06-14 09:26:37 | × | flounders quits (~flounders@173.246.200.33) (Ping timeout: 268 seconds) |
| 2021-06-14 09:27:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-14 09:28:14 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 09:29:42 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 268 seconds) |
| 2021-06-14 09:33:45 | → | ddellacosta joins (~ddellacos@86.106.143.74) |
| 2021-06-14 09:35:18 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-14 09:36:10 | × | jonathanclarke quits (~jonathanc@103.10.29.113) (Ping timeout: 244 seconds) |
| 2021-06-14 09:36:31 | <dminuoso> | teaSlurper: can you share the full code and error message? |
| 2021-06-14 09:38:33 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-14 09:38:51 | × | ddellacosta quits (~ddellacos@86.106.143.74) (Ping timeout: 272 seconds) |
| 2021-06-14 09:39:50 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2021-06-14 09:44:46 | × | unyu quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2021-06-14 09:45:41 | <teaSlurper> | sure, is there like a haskell editor online i can paste code too? |
| 2021-06-14 09:45:52 | <teaSlurper> | @dminuoso |
| 2021-06-14 09:45:52 | <lambdabot> | Unknown command, try @list |
| 2021-06-14 09:45:59 | <teaSlurper> | dminuoso: |
| 2021-06-14 09:47:58 | <dminuoso> | @where paste |
| 2021-06-14 09:47:58 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-06-14 09:48:01 | → | jonathanclarke joins (~jonathanc@202.51.76.213) |
| 2021-06-14 09:51:54 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 09:52:42 | <kuribas> | teaSlurper: why use a tuple for notes, instead of a datatype? |
| 2021-06-14 09:53:13 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-06-14 09:53:13 | × | unyu quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2021-06-14 09:53:39 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-14 09:56:38 | × | dustinm- quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-06-14 09:57:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-14 09:59:06 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-14 10:00:42 | × | pe200012_ quits (~pe200012@183.63.73.36) (Remote host closed the connection) |
| 2021-06-14 10:01:41 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 10:02:00 | → | pe200012 joins (~pe200012@183.63.73.36) |
| 2021-06-14 10:02:07 | <teaSlurper> | dminuoso: https://paste.tomsmeding.com/impYIaVh |
| 2021-06-14 10:02:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-14 10:02:29 | × | micro_ quits (~micro@user/micro) (Ping timeout: 272 seconds) |
| 2021-06-14 10:02:36 | <teaSlurper> | kuribas: it's the lib i'm using called "Euterpea" |
| 2021-06-14 10:02:59 | → | micro joins (~micro@user/micro) |
| 2021-06-14 10:03:00 | <teaSlurper> | dminuoso: the first line of the mel when defined with primitives type made the rest work strangely |
| 2021-06-14 10:03:16 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-06-14 10:03:38 | <tomsmeding> | teaSlurper: try adding a type signature to melInterpretation1 |
| 2021-06-14 10:03:40 | <teaSlurper> | ef 4 qn == note qn (Ef,4) |
| 2021-06-14 10:03:42 | → | saucyfox joins (~saucyfox@user/saucyfox) |
| 2021-06-14 10:03:43 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-06-14 10:03:44 | ← | saucyfox parts (~saucyfox@user/saucyfox) (The Lounge - https://thelounge.chat) |
| 2021-06-14 10:03:50 | <teaSlurper> | qn = 1/4 |
| 2021-06-14 10:04:44 | <teaSlurper> | tomsmeding: does haskell sometimes have trouble infering correct type? |
| 2021-06-14 10:04:45 | × | nsilv quits (~nsilv@212.103.198.210) (Client Quit) |
| 2021-06-14 10:05:15 | <tomsmeding> | teaSlurper: well, yes, but only in complicated cases and this is probably not one |
| 2021-06-14 10:05:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-06-14 10:05:35 | <tomsmeding> | but what having a type signature does help with, it making sure that you and the compiler agree on types of things |
| 2021-06-14 10:05:45 | <teaSlurper> | i'll try adding type signature |
| 2021-06-14 10:06:02 | <tomsmeding> | in case you don't agree, the type inferencer tends to give errors at different spots than where you expect them |
| 2021-06-14 10:06:18 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-14 10:06:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-14 10:08:01 | × | unyu quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2021-06-14 10:08:28 | → | pe200012_ joins (~pe200012@183.63.73.36) |
| 2021-06-14 10:08:37 | × | pe200012 quits (~pe200012@183.63.73.36) (Ping timeout: 272 seconds) |
| 2021-06-14 10:09:25 | <teaSlurper> | tomsmeding: looks like you were right |
| 2021-06-14 10:10:16 | <teaSlurper> | i'm using visual studio code with haskell language server and it recommended the wrong type signature by default so i had to figure out what the actual type signature should be |
| 2021-06-14 10:10:56 | <tomsmeding> | teaSlurper: for my curiosity, what was the correct signature and what was the inferred signature? |
| 2021-06-14 10:11:37 | → | ddellacosta joins (~ddellacos@89.46.62.178) |
| 2021-06-14 10:11:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-14 10:12:11 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-06-14 10:13:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-14 10:14:16 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-14 10:14:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-14 10:15:57 | × | ddellacosta quits (~ddellacos@89.46.62.178) (Ping timeout: 244 seconds) |
| 2021-06-14 10:16:14 | <teaSlurper> | tomsmeding: https://paste.tomsmeding.com/elqUIhUb |
| 2021-06-14 10:16:49 | → | cfricke joins (~cfricke@user/cfricke) |
All times are in UTC.