2015-10-01から1ヶ月間の記事一覧

Ponylangで型付きアクター生活[7] capability subtyping, arrow type編

注意 ここにある内容はpony2.x時代にドキュメントに書かれていた物なので、もう古い可能性が高いです。最新の情報は公式ドキュメントを参照してください。 はろぽに〜₍₍ (ง´･_･`)ว ⁾⁾ 今回で最終回です。 Capability subtyping reference capabilityが付いて…

Ponylangで型付きアクター生活[6] consume, recover編

注意 ここにある内容はpony2.x時代にドキュメントに書かれていた物なので、もう古い可能性が高いです。最新の情報は公式ドキュメントを参照してください。 はろぽに〜₍₍ (ง´･_･`)ว ⁾⁾ 前回isoとtrnはそのままでは代入できないということが判明したので今回は…

Ponylangで型付きアクター生活[5] 続CapabiltiesとAliasing編

注意 ここにある内容はpony2.x時代にドキュメントに書かれていた物なので、もう古い可能性が高いです。最新の情報は公式ドキュメントを参照してください。 はろぽにー₍₍ (ง´･_･`)ว ⁾⁾ 前回でCapabilitesでましたけど、じゃあコンパイルが通ると何が保証され…