Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 414 415 416 417 418 419 420 421 422 423 424 .. 5022
— 502,152 events total
2020-10-04 22:25:49 <justsomeguy> I'm actually not sure if this is a productive question to ask. Maybe I shouldn't have. But I thought it would be interesting to hear a Haskellers opinion about it.
2020-10-04 22:26:10 × whiteline quits (~whiteline@unaffiliated/whiteline) (Ping timeout: 272 seconds)
2020-10-04 22:26:42 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-10-04 22:26:56 Guest90969 is now known as notzmv
2020-10-04 22:27:03 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-04 22:27:07 × notzmv quits (~user@177.45.26.174) (Changing host)
2020-10-04 22:27:07 → notzmv joins (~user@unaffiliated/zmv)
2020-10-04 22:27:40 <justsomeguy> ...in fact, please just ignore me; I'm about to go for a run, anyways, and this seems like a spicy topic.
2020-10-04 22:29:45 <dolio> "Weakly typed" doesn't have any definitive meaning, really.
2020-10-04 22:30:55 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.110) (Ping timeout: 240 seconds)
2020-10-04 22:30:56 → michalrus joins (m@michalrus.com)
2020-10-04 22:31:10 × aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2020-10-04 22:31:11 × aenesidemus_ quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2020-10-04 22:31:27 <justsomeguy> One possible meaning that I've read is that weakly typed means that you can perform operations on a term of some type that is normally not permissible by, for example, an implicit coercion, or acting on it's underlying representation without going through the type system.
2020-10-04 22:33:05 <justsomeguy> But it's interesting that you say that -- it seems like a lot of these ideas (about types) are more like general notions than very well defined and agreed on things.
2020-10-04 22:34:18 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:413a:68d0:b0f8:a104) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-04 22:34:22 <justsomeguy> (...and even the definition of functional programming seems to be not well agreed on, which kind of surprised me...)
2020-10-04 22:35:07 <dolio> Well, there are more precise ideas out there. But the ones used by run of the mill programmers tend to be more intuitive ideas, and not precise.
2020-10-04 22:35:53 × shatriff quits (~vitaliish@217.27.153.240) (Remote host closed the connection)
2020-10-04 22:35:55 justsomeguy is just going to have to read TAPL some day. Scratching the surface by reading a few papers has made him curious about what's out there.
2020-10-04 22:37:03 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-04 22:37:51 <Cheery> maerwald: I have a quickfix window?
2020-10-04 22:38:00 <maerwald> Cheery: yeah, you are a vim user?
2020-10-04 22:38:31 <Cheery> maerwald: yup, but lsp is relatively new meet.
2020-10-04 22:38:54 <maerwald> you should know about quickfix window and location window then
2020-10-04 22:39:29 <maerwald> https://medium.com/@lakshmankumar12/quickfix-and-location-list-in-vim-ca0292ac894d
2020-10-04 22:41:22 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 272 seconds)
2020-10-04 22:41:23 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-04 22:42:15 <dolio> The closest formal thing I can think of that would match "weakly typed" is "unsound." But judging whether C is unsound would require thinking about what a "model" of C is supposed to be.
2020-10-04 22:44:57 <justsomeguy> I've heard the term model come up a few times. What is a model?
2020-10-04 22:45:19 → kori joins (~kori@2804:14c:85a3:9105::1000)
2020-10-04 22:45:19 × kori quits (~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-04 22:45:19 → kori joins (~kori@arrowheads/kori)
2020-10-04 22:45:57 → jgt joins (~jgt@109.122.28.107)
2020-10-04 22:46:04 <dolio> A model is a mathematical structure that can serve as a basis for interpreting what syntactic things 'mean'.
2020-10-04 22:47:19 <justsomeguy> Interesting.
2020-10-04 22:47:52 justsomeguy will save the rest of his questions for a web search, since he's about to leave
2020-10-04 22:48:03 <justsomeguy> Thanks for humoring my silly questions ^_^
2020-10-04 22:48:48 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-04 22:50:02 → JohnTalent joins (~john@unaffiliated/johntalent)
2020-10-04 22:50:16 <JohnTalent> What are some decent tools/lib for programming websites in haskell?
2020-10-04 22:50:57 hackage tasty-discover 4.2.2 - Test discovery for the tasty framework. https://hackage.haskell.org/package/tasty-discover-4.2.2 (haskellworks)
2020-10-04 22:51:17 <dolio> Anyhow, whether or not C is sound probably depends on what you choose the models to be like, so you're just deciding whether or not you want it to be. If you choose the models to be like, "there's just bits," then it's probably all sound. If integers are not interpreted as the same things as floats which are not the same as structures, then it's probably not sound.
2020-10-04 22:52:27 <dolio> "There's just bits" is a lot less useful, though.
2020-10-04 22:52:43 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds)
2020-10-04 22:53:20 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-04 22:53:30 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-04 22:53:53 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 260 seconds)
2020-10-04 22:56:52 → jgt joins (~jgt@109.122.28.107)
2020-10-04 22:59:33 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c50d:40d9:7a86:602b)
2020-10-04 22:59:33 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-04 22:59:45 → conal joins (~conal@64.71.133.70)
2020-10-04 22:59:46 <maerwald> JohnTalent: miso
2020-10-04 23:01:21 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 260 seconds)
2020-10-04 23:02:58 → jgt joins (~jgt@109.122.28.107)
2020-10-04 23:04:34 × ym555 quits (~ym@41.42.210.219) (Ping timeout: 256 seconds)
2020-10-04 23:07:16 → kupi joins (uid212005@gateway/web/irccloud.com/x-dndtziltoquslpzk)
2020-10-04 23:07:25 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 240 seconds)
2020-10-04 23:08:50 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-10-04 23:09:54 <JohnTalent> maerwald: thank you.
2020-10-04 23:10:11 ski . o O ( progress and preservation, "well-typed programs don't go wrong" )
2020-10-04 23:11:04 <JohnTalent> maerwald: firefox reports the examples are a security risk.
2020-10-04 23:11:55 × emmanuel_erc quits (~user@2604:2000:1382:ce03:f102:da07:a063:e98b) (Ping timeout: 240 seconds)
2020-10-04 23:12:08 → jgt joins (~jgt@109.122.28.107)
2020-10-04 23:12:38 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-04 23:14:07 → mav2 joins (~mav@p5b02806a.dip0.t-ipconnect.de)
2020-10-04 23:15:25 × notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection)
2020-10-04 23:15:38 → notzmv joins (~user@177.45.26.174)
2020-10-04 23:15:47 × solonarv quits (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-04 23:15:47 × mav1 quits (~mav@p5b02806a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-04 23:16:02 notzmv is now known as Guest64877
2020-10-04 23:16:25 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 240 seconds)
2020-10-04 23:17:23 Guest64877 is now known as zmv`
2020-10-04 23:17:32 zmv` is now known as notzmv
2020-10-04 23:17:40 × notzmv quits (~user@177.45.26.174) (Changing host)
2020-10-04 23:17:40 → notzmv joins (~user@unaffiliated/zmv)
2020-10-04 23:18:55 × falafel quits (~falafel@2605:e000:1527:d491:706d:90a5:67aa:1cd9) (Ping timeout: 240 seconds)
2020-10-04 23:21:17 → jgt joins (~jgt@109.122.28.107)
2020-10-04 23:22:08 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-04 23:22:14 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-04 23:23:12 → blasius joins (~blasius@4e69b241.skybroadband.com)
2020-10-04 23:26:05 × jgt quits (~jgt@109.122.28.107) (Ping timeout: 260 seconds)
2020-10-04 23:30:20 × nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-04 23:30:26 → jgt joins (~jgt@109.122.28.107)
2020-10-04 23:34:25 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-10-04 23:34:51 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-04 23:36:21 × ericsagnes quits (~ericsagne@2405:6580:0:5100:1532:a71d:fbe4:fbaf) (Ping timeout: 272 seconds)
2020-10-04 23:38:38 → sep2 joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-10-04 23:41:18 → miguicho joins (~miguel@host-186-101-215-54.netlife.ec)
2020-10-04 23:41:53 × mav2 quits (~mav@p5b02806a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2020-10-04 23:42:18 → leapingfrogs joins (~leapingfr@host86-136-28-78.range86-136.btcentralplus.com)
2020-10-04 23:42:28 → emmanuel_erc joins (~user@2604:2000:1382:ce03:88f9:ad61:775c:c25)
2020-10-04 23:43:32 → obihann joins (~jhann@156.34.160.69)
2020-10-04 23:46:07 → seanvert joins (~user@177.84.244.242)
2020-10-04 23:46:16 × seanvert quits (~user@177.84.244.242) (Remote host closed the connection)
2020-10-04 23:46:53 → seanvert joins (~user@177.84.244.242)
2020-10-04 23:47:03 × leapingfrogs quits (~leapingfr@host86-136-28-78.range86-136.btcentralplus.com) (Ping timeout: 260 seconds)
2020-10-04 23:48:28 → ericsagnes joins (~ericsagne@2405:6580:0:5100:a157:330d:992b:2b45)
2020-10-04 23:48:30 × conal quits (~conal@64.71.133.70) (Ping timeout: 272 seconds)
2020-10-04 23:49:27 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
←Prev  Next→
Page 1 .. 414 415 416 417 418 419 420 421 422 423 424 .. 5022

All times are in UTC.