関数を扱えることはどのようにプログラミング言語の能力をあげるか - きしだのHatena
Java8で関数が値として扱えるようになりました。 このことが、「関数が渡せると便利だよね」という観点ではなく、プログラミング言語としての能力をどのようにあげるか考えてみます。 圏論からのテクニックが使いやすくなる 集合論はどちらかというと値にたいする理論でしたが、圏論は関数呼び出しに関する理論です。 プログラムには、関数呼び出しを連結させて値を変換していくという側面があります。 そのような関数呼び出しの扱い方を整理するのが圏論で、圏論の考え方を使うことでより安定したプログラムを書くことができます。 モナドなど圏論由来のテクニックを使うには、どうしても関数を値として扱う必要があります。 関数を値として扱うことで、圏論のテクニックが使いやすくなり、安定したプログラムの書きやすさにつながります。 型の証明能力があがる 動的な型付の言語にくらべて、静的な型付の言語はプログラムが間違いにくいといわ
ネット取引 失われた消費税２５０億円 NHKニュース
インターネットの広告や、ネットで配信される音楽や電子書籍などを巡り、外国企業に対して消費税を課税できないため、去年１年間におよそ２５０億円の税収が失われたとみられることが民間のシンクタンクの調査で分かりました。 消費税は、外国の企業が課税の対象になっていないため、インターネットでダウンロードする音楽や電子書籍などでは日本国内での取り引きでも販売したのが外国の企業であれば、消費税を課税することができません。 こうした外国の企業とのネットでの取り引きで消費税の税収がどれほど失われているのか民間のシンクタンク、「大和総研」が調査したところ、去年１年間で２４７億円に上ると見られることが分かりました。 このうち最も大きいのは、インターネットの広告で、アメリカの検索サイト、グーグルなど外国企業の国内での売り上げは合わせて２６００億円を超えるとして１３３億円余りの税収が失われたと推計しています。 次いで
女の幸せとかいうけど
なんなんでしょうね 男の幸せがガッツリ働いて一軒家買って、家にはかわいい子どもと綺麗な奥さん～みたいなのは昭和か！って感じだし それこそ幸せの形なんて個々で違うんだから男のとか女のとかひとくくりにする必要はないと思うけど 私は働きたい 結婚したとしても、ずっと家にいるだなんてゾッとするし、パートでもいいから外に出たいと思う ずっと働きたいと思って就活してきたけど、単純に自分が採用する側だったとして同程度の能力がある奴が2人いて、 一方が女、一方が男だった場合に、数年後結婚または出産で退職する可能性があるリスクがある女より 継続して働いてくれる可能性がある男の方を取るんじゃないかと思うんだよね まぁ男性でも有能だった場合は転職してしまう可能性はあるけど 女の人は一ヶ月の内に一週間くらい万全のコンディションで働けない時期があって、感情にもムラがあって、本当に非効率だと思うわけ 男の人はこういう
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
