type class struggle tweets

3K posts

type class struggle tweets

type class struggle tweets

@onfiv

shitposting and trying to learn | 🏳️‍⚧️

Katılım Kasım 2020
306 Takip Edilen408 Takipçiler
type class struggle tweets
type class struggle tweets@onfiv·
@SamuraiApology at least in china, the image of scheming unscrupulous eunuchs are was mostly propaganda from the confucian scholar families who competed with eunuchs for influence in the court. the eunuchs were loyal to the emperor more often than these families, although there were exceptions
English
3
1
268
12K
Joseph Garvin
Joseph Garvin@joseph_h_garvin·
Question for FP people: is it a bug or a feature that `f x y` is ambiguous? either calling f with two arguments, or a full application `f x` that happens to return a different single argument function that then takes y? Coming from algol langs not knowing arity is weird!
English
36
1
60
12.2K
type class struggle tweets
type class struggle tweets@onfiv·
@joseph_h_garvin I think the real answer to this is it is just not that common that we use a polymorphic `f : (...) -> a` at a function type. Even in Haskell, I don't often see people storing functions in lists/arrays, etc. The only exception is heavy use of the (->) functor maybe
English
1
0
1
17
Joseph Garvin
Joseph Garvin@joseph_h_garvin·
To be clear I understand currying, I'm saying it's weird `f x` could return a totally different function rather than a partial application, and both cases are syntactically identical
English
9
0
15
1.7K
Taelin
Taelin@VictorTaelin·
@Andres_pq ...? it can't erase data so obviously it can't replicate a Turing machine
English
7
0
16
4.4K
kepe ✨🇫🇮
kepe ✨🇫🇮@kepe__·
technology is fascinating. i had a conversation with ChatGPT and i'm now reasonably confident that I understand GPCR receptor signalling dynamics down to the physical level
English
1
0
6
307
FFmpeg
FFmpeg@FFmpeg·
The name C++ suggests it's an improvement from C. C++ is a downgrade.
L'adjoint du NPS@ngspiensfr

@MappilaMan @FFmpeg If you mean C++, then no, it's a language that doesn't know if it's a low-level language where you have to control everything or a high-lelvel language where you don't know what happens, and it takes mostly the worst of both worlds. No C++ in FFmpeg except forced by lib APIs.

English
192
155
3.6K
423.8K
type class struggle tweets retweetledi
undefined behavior
undefined behavior@undebeha·
the next big thing in PL theory is gonna be dynamic scoping. you heard it here first folks dynamic scoping is the future
English
8
5
64
11.4K
type class struggle tweets
type class struggle tweets@onfiv·
me to a friend: "how could you reasonably define tea such that coffee isn't a type of tea" their response: "coffee is kiki, tea is boba"
English
0
2
13
229
Grant Slatton
Grant Slatton@GrantSlatton·
weird thing about implementing a spreadsheet engine from scratch is i've probably found more bugs in Excel than they have any idea exist
Grant Slatton tweet mediaGrant Slatton tweet media
English
17
11
442
21.8K
type class struggle tweets
type class struggle tweets@onfiv·
academia stackexchange is wild because you can ask "does anyone have advice on being trans in math academia" and someone will say "you should fly to colorado and go to this panel"
type class struggle tweets tweet mediatype class struggle tweets tweet media
English
0
0
1
140
Aram Hăvărneanu
Aram Hăvărneanu@aramh·
It's interesting that almost everyone agrees that lexical binding is better than dynamic binding for variables, but almost everyone wants dynamically-bound effect handlers.
English
11
4
61
9.5K
Joe
Joe@alpha_convert·
Say I have an ML-like language. If I want to be able to monomorphize, what do I need to rule out? Certainly polymorphic recursion, but what else?
English
5
0
5
850
type class struggle tweets
type class struggle tweets@onfiv·
@defnotbeka i'd be really curious to read those sources or a modern telling of that history, i feel like i never got my head around modal logic?
English
0
0
0
6
Rebecca Valentine
Rebecca Valentine@defnotbeka·
and yet at the same time, famous logicians such as W. V. O. Quine were critiquing the very _idea_ of modal logic as late as the late 50s and early 60s, calling it nonsensical, which was summarily demolished by Kripe and Joyal, and which seems utterly absurd in hindsight
English
2
0
4
67
Rebecca Valentine
Rebecca Valentine@defnotbeka·
it's funny to me how calcified some early 20th century thought is like, A. E. van Vogt's science fiction series The World of Null A has as a major premise that people who can master non-Aristotelian logic are somehow mystically more cognitively capable
English
1
1
9
254
type class struggle tweets
type class struggle tweets@onfiv·
@ProbFact Maybe this could be turned into a fact about the class equation of S_n, since it's partition into congruency classes (= cycle types) is a refinement of its partition by # fixpoints?
English
0
0
0
264
Probability Fact
Probability Fact@ProbFact·
The expected number of fixed points in a random permutation of n items is 1.
English
7
17
229
30.9K

Keşfet

@SamuraiApology @joseph_h_garvin @VictorTaelin @Andres_pq @kepe__ @dawnlightmelody @FFmpeg @GrantSlatton