111 reputation
3
bio website rehno.lindeque.name
location South Africa
age
visits member for 3 years, 5 months
seen Jun 14 at 7:52

I'm a co-founder at https://circuithub.com/.

Previous experience includes writes 3D training simulators for the mining industry and 3rd party product development for SAP systems.

Other interests

  • Programming language design
  • Functional programming
  • Web development
  • Compilers
  • Parsing
  • Computer graphics
  • Computer vision
  • Physics simulation
  • High performance programming
  • Ray tracing
  • etc...

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