cfbolz changed the topic of #pypy to: #pypy PyPy, the flexible snake https://pypy.org | IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end and https://libera.irclog.whitequark.org/pypy | the pypy angle is to shrug and copy the implementation of CPython as closely as possible, and staying out of design decisions
alice has quit [Ping timeout: 276 seconds]
Dagger has quit [Ping timeout: 260 seconds]
Dagger has joined #pypy
alice has joined #pypy
jcea has quit [Ping timeout: 264 seconds]
itamarst has quit [Quit: Connection closed for inactivity]
<cfbolz> korvo: merged, thank you!
<larstiq_> "it's more like a comparison between endo- and exoskeletons, a different arrangement of equivalent bones and plates." I like that phrasing :)
<larstiq_> "There's no type-safe way to inspect an arbitrary semantic domain." is that a well-known fact?
itamarst has joined #pypy
jcea has joined #pypy
vext01 has quit [Quit: WeeChat 4.2.1]
<korvo> larstiq_: It's just another way of looking at polymorphic types; if I give you a value of type X, but tell you nothing about X, then it's not possible to do case analysis or inspection on the value.
<korvo> I'd have to also fix some return type R and give a function with type X → R, and perhaps R can be inspected. That's precisely what the domain-finishing helper does at the end of `makePeephole()`.
jcea has quit [Quit: jcea]
_whitelogger_ has joined #pypy
Julian has joined #pypy
Julian has quit [Ping timeout: 252 seconds]
_whitelogger_ has quit [Remote host closed the connection]
_whitelogger_ has joined #pypy
Julian has joined #pypy
Julian has quit [Quit: leaving]
sugarbeet has quit [Ping timeout: 264 seconds]
sugarbeet has joined #pypy
_whitelogger_ has quit [Remote host closed the connection]
_whitelogger_ has joined #pypy
_whitelogger_ has quit [Remote host closed the connection]
jcea has joined #pypy
_whitelogger_ has joined #pypy