Logs: freenode/#haskell
| 2021-04-14 17:25:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 17:25:46 | ski | . o O ( Fortress ) |
| 2021-04-14 17:26:01 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 17:26:10 | ski | . o O ( <https://en.wikipedia.org/wiki/E_(programming_language)>,<https://en.wikipedia.org/wiki/Amiga_E> ) |
| 2021-04-14 17:26:31 | <ski> | yea, F# is an ML (unfortunately lacking the module system) |
| 2021-04-14 17:26:37 | bgamari_ | is now known as bgamari |
| 2021-04-14 17:26:45 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-14 17:28:11 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-14 17:30:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-14 17:31:44 | <romesrf> | w |
| 2021-04-14 17:32:02 | <romesrf> | E# == F in music theory xd |
| 2021-04-14 17:32:08 | <dolio> | Yeah. Maybe something with a minus would be a better name. |
| 2021-04-14 17:33:13 | <romesrf> | careful dolio you wouldn't want your language to be confused with a run -option |
| 2021-04-14 17:33:23 | <romesrf> | >:) |
| 2021-04-14 17:33:26 | <monochrom> | E# == F was my joke. |
| 2021-04-14 17:33:42 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-04-14 17:33:43 | <romesrf> | oh so that wasn't a coincidence :) |
| 2021-04-14 17:33:52 | <geekosaur> | romesrf, not in a natural scale:p (as opposed to tempered chromatic) |
| 2021-04-14 17:33:57 | <dolio> | No, the minus goes afterwards, since it's all based on C for some reason. |
| 2021-04-14 17:34:32 | <geekosaur> | c has prefix incr/decr |
| 2021-04-14 17:34:40 | <justsomeguy> | How does ''(fmap . fmap) sum Just [1,2,3]'' evaluate? |
| 2021-04-14 17:34:55 | <dolio> | Yeah, I know. But people name the languages with the postfix one. |
| 2021-04-14 17:35:03 | <monochrom> | = fmap (fmap sum) Just [1,2,3] |
| 2021-04-14 17:35:05 | <romesrf> | geekosaur: this sounds cool, i'll look into it |
| 2021-04-14 17:35:27 | <monochrom> | @type (fmap . fmap) sum Just [1,2,3] |
| 2021-04-14 17:35:29 | <lambdabot> | Num a => Maybe a |
| 2021-04-14 17:35:49 | <monochrom> | ooohhhh the leading fmap is (->)e's |
| 2021-04-14 17:35:53 | <ski> | `Functor (rho ->)' |
| 2021-04-14 17:36:25 | <ski> | `fmap (fmap sum) Just [1,2,3]' is `(fmap sum . Just) [1,2,3]' |
| 2021-04-14 17:36:26 | <romesrf> | dolio: not if i can help it |
| 2021-04-14 17:36:29 | <romesrf> | ahahaha |
| 2021-04-14 17:36:32 | <monochrom> | = (fmap sum . Just) [1,2,3] |
| 2021-04-14 17:36:45 | <monochrom> | = fmap sum (Just [1,2,3]) |
| 2021-04-14 17:36:50 | <romesrf> | --c, like c but worse |
| 2021-04-14 17:36:58 | <monochrom> | = Just (sum [1,2,3]) |
| 2021-04-14 17:37:13 | ski | . o O ( <https://en.wikipedia.org/wiki/C--> ) |
| 2021-04-14 17:37:24 | geekosaur | wonders where B sits in that space… |
| 2021-04-14 17:37:39 | <ski> | (.. and BCPL ?) |
| 2021-04-14 17:37:40 | <monochrom> | C flat :) |
| 2021-04-14 17:37:48 | × | taleb_sabina quits (~taleb_sab@2601:285:100:6430::1) (Ping timeout: 258 seconds) |
| 2021-04-14 17:37:58 | <geekosaur> | (so does everyone else, I think; B kinda went missing at some point iirc) |
| 2021-04-14 17:38:19 | <romesrf> | sksks that would be a nice name for a language too. you could even use russian ь for it |
| 2021-04-14 17:38:26 | romesrf | is now working on Cь |
| 2021-04-14 17:38:29 | ski | looks at justsomeguy |
| 2021-04-14 17:38:42 | × | sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-04-14 17:38:49 | <ski> | romesrf : C-- is a language |
| 2021-04-14 17:39:14 | <romesrf> | ski: but mine would decrement first |
| 2021-04-14 17:39:26 | justsomeguy | locks eyes with ski |
| 2021-04-14 17:39:29 | <romesrf> | jk, im reading the c-- wiki now |
| 2021-04-14 17:39:37 | ski | averts eyes |
| 2021-04-14 17:40:30 | <romesrf> | > The name of the language is an in-joke, indicating that C-- is a reduced form of C, in the same way that C++ is basically an expanded form of C. (In C-like languages, "--" and "++" are operators meaning "decrement" and "increment".) |
| 2021-04-14 17:40:32 | <lambdabot> | <hint>:1:10: error: <hint>:1:10: error: parse error on input ‘of’ |
| 2021-04-14 17:41:02 | <geekosaur> | and its relevance is ghc uses a dialect of c-- (cmm) internally |
| 2021-04-14 17:41:07 | ski | . o O ( <http://www.heroesofmightandmagic.com/heroes3/cheatcodes.shtml>,<https://azethmeron.github.io> ) |
| 2021-04-14 17:41:11 | <romesrf> | really? wow |
| 2021-04-14 17:41:43 | <monochrom> | You can call your language --C and your compiler command line options require postfix --. "--cc O2-- Wall--" |
| 2021-04-14 17:41:50 | <romesrf> | LOL |
| 2021-04-14 17:42:02 | ski | grins |
| 2021-04-14 17:42:13 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 17:42:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 17:43:27 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-14 17:43:38 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 240 seconds) |
| 2021-04-14 17:45:48 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-14 17:48:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-14 17:48:06 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-04-14 17:50:32 | <monochrom> | I am noticing that the heroes3 cheatcodes have the "nwc" prefix. "Is this Hungarian notaiton?" meme. |
| 2021-04-14 17:51:41 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-14 17:51:50 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-14 17:55:37 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-14 17:55:44 | fendor_ | is now known as fendor |
| 2021-04-14 17:56:08 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-14 17:58:27 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 17:59:22 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-rmgyvfwfwnnqqsta) |
| 2021-04-14 18:00:55 | <ski> | iirc, stands for <https://en.wikipedia.org/wiki/New_World_Computing> |
| 2021-04-14 18:00:56 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 2021-04-14 18:02:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-14 18:04:02 | <ski> | ERM is pretty insane, though. Slava Salnikov reverse-engineering the engine in the game executable, and invents/adds a scripting language to it, that is basically a form of custom assembler (not that much related to ones for actual processors) |
| 2021-04-14 18:04:28 | <ski> | <someone> sometimes I meet a great young dude who did something amazing dev-related. Like made a bunch of great complex mods for Heroes 3 using pseudo language called ERM. And then I learn that the dude works as a delivery man and has no formal technical education |
| 2021-04-14 18:05:23 | <ski> | (.. at one point, i was pondering making a compiler targeting it, from a logic proramming language) |
| 2021-04-14 18:05:49 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Client Quit) |
| 2021-04-14 18:07:28 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Remote host closed the connection) |
| 2021-04-14 18:09:50 | ski | . o O ( "Finally, after many years, I got my hands on the binary executable for the game. I wrote a disassembler to turn it into human-readable op-codes and proceeded to translate it to C++ using the Microsoft Version 6.0 C++ compiler. Eight hours a day for six months. About 120,000 lines of pseudo-assembly language. Crazy thing to do. But it works." <http://dmweb.free.fr/?q=node/851> ) |
| 2021-04-14 18:10:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 18:10:59 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-14 18:12:09 | → | aerona joins (~aerona@2600:6c54:4600:f300:e708:b239:a59c:f83b) |
| 2021-04-14 18:13:01 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bkftvygbpflsjbzd) |
| 2021-04-14 18:14:02 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-04-14 18:15:24 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-14 18:15:31 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-14 18:15:50 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 2021-04-14 18:16:26 | <sm[m]> | my god |
| 2021-04-14 18:18:03 | → | bitmagie joins (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) |
| 2021-04-14 18:19:53 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-14 18:19:53 | × | bitmagie quits (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-14 18:20:56 | <BosonCollider> | I just realized something really cool when looking at Julia land |
| 2021-04-14 18:21:22 | <BosonCollider> | They have a pattern called holy traits which can be automated with a package called SimpleTraits.jl |
| 2021-04-14 18:21:28 | <BosonCollider> | and it's basically relational typeclasses |
| 2021-04-14 18:22:16 | <geekosaur> | what's "holy" about them? |
| 2021-04-14 18:22:17 | <BosonCollider> | i.e. instead of having a Prolog like typechecker which can reason about implications recursively, it doesn't have recursive implications but it does support negation |
| 2021-04-14 18:22:28 | <BosonCollider> | the guys last name was holy |
All times are in UTC.