@amiloradovsky Depends what you want to include in your model.
@amiloradovsky Thanks so much for sharing this! It's exactly what I needed to hear. I needed to look closer at the definitions of various things, and learn new definitions, like signature and structure (thanks Wikipedia!) ❤❤
@amiloradovsky However, something could have multiple arrows/binary operations. Would this mean it can be defined as a category in different ways? Or that it only has one category, but each binary operation is a different arrow in that category?
Of course, terms and concrete examples need to be defined to answer this question, but it's an accurate expression of my confusion of how to apply a category.
@amiloradovsky That's a good way of looking at it. If I want to I "make a group" of something, I need to think of the ways in which it obeys the group laws. Similarly, if I want to "make a category" of something, I need to think of arrows it has which obey the CT laws.
@amiloradovsky That's so hard to grok. A big motivation for my studying CT is to learn how to "make" a category. It seems this is wrong - perhaps it's better to make a system and later adjust its axioms to be better analyzed as a category. Huh.
@juliobiason Yeah we do the Haskell ones at our Haskell meetup.
Just now I learned that "an enterprise bean is a server-side component that encapsulates the business logic of an application".
This is way different than how I colloquially came to understand it, which is that it's a data type for a domain object.
Wow, is that a symptom of a poorly designed ontology? One in which terms lose useful/appropriate meaning over time? Or one in which the layperson never really understood the term, and propagated incorrect understanding?
Trying to think of a better term for what the Java Enterprise people call a "bean" than just a "data type".
A record? That would give an image of a relational database record, which is a labeled set of *primitive types*, whereas the records in type theory, I think, have arbitrary types.
The term "data type" doesn't work because it's a domain-agnostic term, where the "bean" term means *something*.
@tfb Fun to look complain about inconveniences, ha.
Oh also the memory management on Mac seems nice, due to its swap, but when I have a high memory desktop session, it takes forever to wake from sleep. I can't even enter my password to login.
And the daily notification to sign into the App store to install updates is annoying. I don't want to tie my personal Apple ID to my work machine, so I have never signed in to App Store yet. (I think).
@tfb Oh yeah the consistent keyboard shortcuts are nice, but I prefer Window's alt-tab over Mac's. Also, I use the Command key a lot, and it's in an awkward place for my pinky finger to hit it.
The USB detection on Mac has given me more troubles than Windows has.
It's been annoying to have iTunes opened up when I accidentally press the Play/Pause key, because I don't ever use that app.
@mdallastella Thanks for maintaining an instance for us! :)
PureScript, Nintendo, keyboards, languages & types
functional.cafe is an instance for people interested in functional programming and languages.