http://sassa-nf.livejournal.com/ (
sassa-nf.livejournal.com
) wrote
in
xacid
2016-12-03 01:46 pm (UTC)
no subject
я вообще-то не сварщик, а каску на стройке нашел.
Тут скорее вопрос к нотации. В теоркате F f - это отображение f в категорию. Однако, что такое F f в скале? Это fmap f? Или F[A=>B]? В первом случае f интерпретируется как стрелка (со встроенной в язык композицией), а во втором - как экспонента.
(
20 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
no subject
Тут скорее вопрос к нотации. В теоркате F f - это отображение f в категорию. Однако, что такое F f в скале? Это fmap f? Или F[A=>B]? В первом случае f интерпретируется как стрелка (со встроенной в язык композицией), а во втором - как экспонента.