東京23区マンション高騰 サラリーマンが「億ション」ペアローン活用 | NHKかつて富裕層の象徴となっていた、価格が1億円を超える、いわゆる「億ション」。 しかし、今では東京23区の新築マンションの平均価格は高い月では9000万を超え、その買い手はサラリーマンの世帯にも広がっています。 なぜ高額な物件を買い求めるのか、費用はどうしているのか、最近、都心で億ションを買ったばかりの夫婦に詳しく話を聞かせてもらいました。 （首都圏局 記者／牧野 慎太朗）
Rust's Ugly Syntax
People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust’s syntax, they actually object to Rust’s semantics. In this slightly whimsical post, I’ll try to disentangle the two. Let’s start with an example of an ugly Rust syntax: pub fn read<P: AsRef<Path>>(path: P) -> io::Result<Vec<u8>> { fn inner(path: &Path) -> io::Result<Vec<u8>> { let mut f
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
