Logs: freenode/#haskell
| 2021-04-18 10:35:59 | <lambdabot> | error: |
| 2021-04-18 10:35:59 | <lambdabot> | • Could not deduce (Integral b0) arising from a use of ‘^’ |
| 2021-04-18 10:35:59 | <lambdabot> | from the context: Num a |
| 2021-04-18 10:36:02 | <Cale> | > 2**(1/12) |
| 2021-04-18 10:36:04 | <lambdabot> | 1.0594630943592953 |
| 2021-04-18 10:36:08 | <aveltras> | im not even sure what i need right now, the temporary goal is to have a svg with frets of a sitar being colored when a note is played and sound playing in the browser, still experimenting with sound apis |
| 2021-04-18 10:36:20 | <Cale> | ahh, cool |
| 2021-04-18 10:36:49 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-18 10:36:57 | <Cale> | The frets of most sitars are not tuned to equal temperament :) |
| 2021-04-18 10:38:06 | <aveltras> | ye, right now im still a beginner, so just the fact of mapping sitar tuning in my head to western tuning is kind of irritating when tuning the strings |
| 2021-04-18 10:38:27 | <Cale> | Well, they're movable, but people position them according to various just intonations I think |
| 2021-04-18 10:38:32 | <aveltras> | not sure i can extract a frequency from the microphone browser apis but that would be neat too |
| 2021-04-18 10:38:52 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 10:42:43 | <Cale> | If you know the frequency f0 of the open string, you can take the frequency you hear f1, and f0/f1 will be the fraction of the length of the string that the fret is at |
| 2021-04-18 10:43:36 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 265 seconds) |
| 2021-04-18 10:44:29 | <Cale> | e.g. double the frequency, half the string length |
| 2021-04-18 10:45:22 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 2021-04-18 10:46:33 | <aveltras> | ye, i'll have to experiment with this |
| 2021-04-18 10:48:30 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 2021-04-18 10:49:05 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-18 10:49:35 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-04-18 10:49:53 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 265 seconds) |
| 2021-04-18 10:50:06 | × | nisstyre quits (wes@python-zero/conduct-committee/nisstyre) (Ping timeout: 258 seconds) |
| 2021-04-18 10:51:38 | <Cale> | (of course, if the string is bent, it'll be a higher pitch :) |
| 2021-04-18 10:53:19 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
| 2021-04-18 10:54:25 | <Cale> | (that happens because the speed of sound in the string changes under tension) |
| 2021-04-18 10:54:59 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Client Quit) |
| 2021-04-18 10:55:15 | <fendor> | is there a convenient way with stack to generate a html report for a package? `stack haddock` generates it correctly, but it prints the path to a .html file with lots of other stuff in between. |
| 2021-04-18 10:55:23 | × | JackSparrow quits (~JackSparr@139.28.218.148) (Remote host closed the connection) |
| 2021-04-18 10:55:29 | → | kuribas joins (~user@ptr-25vy0ia8k0uf95hxb72.18120a2.ip6.access.telenet.be) |
| 2021-04-18 10:56:19 | → | zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) |
| 2021-04-18 10:57:20 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-18 10:57:31 | <tdammers> | gentauro: I don't think Well-Typed has any particular stance on the matter, though I'm sure some of us individually do |
| 2021-04-18 10:58:08 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-18 10:59:24 | <tdammers> | aveltras: I've done some modest work in that area myself, and IMO you want separate types for "chromatic pitches" (12 chromatic steps to the octave) and "diatonic pitches with accidentals" (7 diatonic steps to the octave, plus an arbitrary number of flats/sharps isomorphic to the integers) |
| 2021-04-18 11:00:02 | <tdammers> | so F# could be represented in the chromatic type as "6 chromatic steps up from C", or in the diatonic system as "3 diatonic steps up from C with one sharp" |
| 2021-04-18 11:00:20 | <tdammers> | in the chromatic system, F# and Gb are equal; in the diatonic one, they're not |
| 2021-04-18 11:01:31 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-04-18 11:01:36 | <tdammers> | to calculate 12-TET frequencies, you need to first convert diatonic pitches to chromatic ones; then you can take the chromatic distance from your reference pitch (a' = 440 Hz or whatever you want to use), and throw that into the 2^(n/12) formula |
| 2021-04-18 11:02:11 | <thblt> | haskell-mode in Emacs seems to support inline SVG in ghci, does anyone have an exemple of how to use this? |
| 2021-04-18 11:02:14 | → | nisstyre joins (wes@python-zero/conduct-committee/nisstyre) |
| 2021-04-18 11:02:25 | <tdammers> | for various just intonations, there's not really an alternative to following the steps that the tuning system uses |
| 2021-04-18 11:04:02 | × | __minoru__shirae quits (~shiraeesh@109.166.58.81) (Ping timeout: 246 seconds) |
| 2021-04-18 11:04:05 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 250 seconds) |
| 2021-04-18 11:14:18 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 11:19:10 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
| 2021-04-18 11:23:46 | × | xiinotulp quits (~q@ppp-27-55-72-27.revip3.asianet.co.th) (Ping timeout: 240 seconds) |
| 2021-04-18 11:24:35 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-18 11:25:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 11:30:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-18 11:33:31 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2021-04-18 11:35:07 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-18 11:35:43 | <olligobber> | I managed to make a lambda have type (a -> a) -> a in haskell, using only function application, lambdas, and newtype constructors and destructors |
| 2021-04-18 11:37:12 | → | xiinotulp joins (~q@node-umb.pool-125-24.dynamic.totinternet.net) |
| 2021-04-18 11:37:51 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 2021-04-18 11:38:56 | × | jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-04-18 11:39:26 | → | jamestmartin joins (james@jtmar.me) |
| 2021-04-18 11:40:33 | <olligobber> | I'm surprised having recursive types gives you recursive values |
| 2021-04-18 11:41:27 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-18 11:41:48 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-ogmvxpqranhkqdsz) (Quit: Connection closed for inactivity) |
| 2021-04-18 11:43:23 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-18 11:46:29 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-18 11:51:11 | × | Codaraxis_ quits (~Codaraxis@141.98.255.147) (Remote host closed the connection) |
| 2021-04-18 11:51:35 | → | Codaraxis_ joins (~Codaraxis@141.98.255.147) |
| 2021-04-18 12:03:33 | × | Codaraxis_ quits (~Codaraxis@141.98.255.147) (Remote host closed the connection) |
| 2021-04-18 12:03:48 | <tomsmeding> | olligobber: see also the third bullet point under https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/bugs.html#bugs-in-ghc |
| 2021-04-18 12:03:54 | → | Codaraxis_ joins (~Codaraxis@141.98.255.147) |
| 2021-04-18 12:05:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 12:05:26 | <wz1000> | gentauro: you can write unsafeCoerce (and so unsafePerformIO) in SafeHaskell |
| 2021-04-18 12:05:39 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:c907:2b1b:a88e:a342) (Ping timeout: 260 seconds) |
| 2021-04-18 12:05:42 | × | Codaraxis_ quits (~Codaraxis@141.98.255.147) (Remote host closed the connection) |
| 2021-04-18 12:05:46 | <olligobber> | tomsmeding, oh, interesting |
| 2021-04-18 12:05:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-18 12:06:03 | → | Codaraxis_ joins (~Codaraxis@141.98.255.147) |
| 2021-04-18 12:06:26 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 12:07:10 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-18 12:07:18 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-18 12:07:19 | → | jtk joins (~jtk@178.239.168.171) |
| 2021-04-18 12:07:51 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-18 12:07:52 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 240 seconds) |
| 2021-04-18 12:09:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-18 12:10:20 | → | Sornaensis joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 2021-04-18 12:10:53 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds) |
| 2021-04-18 12:13:04 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-18 12:15:13 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-18 12:18:10 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:500e:ae68:cb1a:24a) |
| 2021-04-18 12:21:58 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-18 12:25:24 | → | LKoen_ joins (~LKoen@77.168.9.109.rev.sfr.net) |
| 2021-04-18 12:28:00 | × | LKoen quits (~LKoen@77.168.9.109.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2021-04-18 12:31:27 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-04-18 12:31:43 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-18 12:33:53 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-18 12:34:34 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-18 12:38:01 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-18 12:38:21 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-18 12:40:14 | → | terra joins (53fbe65d@c83-251-230-93.bredband.comhem.se) |
| 2021-04-18 12:40:46 | ← | terra parts (53fbe65d@c83-251-230-93.bredband.comhem.se) () |
| 2021-04-18 12:40:53 | → | __minoru__shirae joins (~shiraeesh@109.166.58.81) |
| 2021-04-18 12:41:04 | → | malumore joins (~malumore@151.62.123.9) |
| 2021-04-18 12:42:21 | → | drbean_ joins (~drbean@TC210-63-209-202.static.apol.com.tw) |
All times are in UTC.