Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
3
Impact
~1k people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Sep
24
awarded  Autobiographer
Oct
2
awarded  Teacher
Sep
27
comment What did Bill Gosper mean by saying a data structure is just a stupid programming language?
@SK-logic sorry, that last sentence sounded more rude than I intended. I meant, "From my point of view your comment seems to be conflating types that describe data structures with types that perform computations." Computations performed at the type-level just doesn't seem very relevant to the quote IMO.
Sep
27
comment What did Bill Gosper mean by saying a data structure is just a stupid programming language?
@SK-logic, I realize that you can perform (universal) computations using types, but like I said - encoding a data structure (which is essentially just an algorithm) using types does not make types ≡ data structures. You're conflating types that describe data structures with types that perform computations.
Sep
27
answered What did Bill Gosper mean by saying a data structure is just a stupid programming language?
Sep
27
comment What did Bill Gosper mean by saying a data structure is just a stupid programming language?
@SK-logic, no data structures can be described (specified) by types. It's true that you can encode them into some type systems to run at compile time. Still, I wouldn't claim that data structures ≡ types.
Sep
26
awarded  Supporter