Klaus Ostermann

Professor in Computer Science at University of Tübingen. Love freedom of thought and the pursuit of happiness. Hate identity politics.

[Klaus Ostermann @klauso3]

@Ngnghm No. The essence of codata is behavioral specification and programming against interfaces.

[Klaus Ostermann @klauso3]

@jdegoes I disagree. Types are not (only) about the structure of data. It's an abstraction mechanism for both code and data, or, as John Reynolds famously put it, types are a syntactic discipline to enforce levels of abstraction. Also, types are a part of the code.

[Klaus Ostermann @klauso3]

@DrLutzBoehm @NetzwerkW @BMBF_Bund Die Ursache war lediglich ein kleiner Bug in unserer Software. Leider nicht so aufregend wie es von Herrn Böhm gemutmaßt wird.

[Klaus Ostermann @klauso3]

@biboudis Did you manage to remove the correct number of chain links?

[Klaus Ostermann @klauso3]

@ShriramKMurthi Thanks!

[Klaus Ostermann @klauso3]

@ShriramKMurthi Well, I for one would love to see an elaboration of your point of view at some point.

[Klaus Ostermann @klauso3]

@ShriramKMurthi What is so problematic about it? Its vagueness?

[Klaus Ostermann @klauso3]

@john_chandler These terms are all somewhat fuzzy. Also, "dynamic typing" is, arguably, not even "typing" because all it does is to equip values with one of finitely many different tags and check for tag equality. That's very different from an unbounded universe of static types.

[Klaus Ostermann @klauso3]

@culturaltutor But words also result from choices. I think the difference is that, in general, actions have more consequences than words and are hence chosen more carefully.

[Klaus Ostermann @klauso3]

@georgemporter Agreed. The review process has become too heavyweight in general. A million deadlines. Multiple rounds. Artefacts and supplemental material. Author responses. Review and discussion summaries. Lists with mandatory changes. And so forth. It's over-engineered.

[Klaus Ostermann @klauso3]

@m_mezini Wow, herzlichen Glückwunsch, Mira!

[Klaus Ostermann @klauso3]

@prdoyle To the contrary, can we just start using "+" for the operation of any monad? That way, we can reuse more code. For instance, you can generically combine a list of things. I think you really mean "let's stop using implicit coercions", to which I agree.

[Klaus Ostermann @klauso3]

@MagnusMadsenDK @AdamBjorndahl Count me in!

[Klaus Ostermann @klauso3]

@MagnusMadsenDK You mean like an implementation of substitution with no bugs?

[Klaus Ostermann @klauso3]

@ShriramKMurthi Lazy vs eager evaluation?

[Klaus Ostermann @klauso3]

@ShriramKMurthi I don't think this bio contains any factual errors.

[Klaus Ostermann @klauso3]

Always a pleasure to speak at Brown.

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Why am I inviting this guy to speak at Brown, again?