oskimuraのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽Planet Haskell
●11/21 07:10
November 20, 2024Well-Typed.ComThe Haskell Unfolder Episode 36: concurrency and the FFIToday, 2024-11-20, at 1930 UTC (11:30 am PST, 2:30 pm EST, 7:30 pm GMT, 20:30 CET, …)we are streaming the 36th episode of the Haskell Unfolder live on YouTube.The Haskell Unfolder Episode 36: concurrency and the FFIThere are two primary ways to import C functions in Haskell: “unsafe” and “safe”. We will fi

▽ｽﾗｯｼｭﾄﾞｯﾄｼﾞｬﾊﾟﾝ : ｱﾚｹﾞなﾆｭｰｽと雑談ｻｲﾄ
●11/20 07:57
ｽﾗﾄﾞと OSDN の受け入れ先募集､現在の状況について [4] 49雑談用ｽﾄｰﾘｰ [3] 814

▽Haskell - HaskellWiki
●11/19 06:07
Main menuMain menumove to sidebar hideNavigationHaskellWiki communityRecent changesRandom pageHaskellWikiSearchCreate accountLog inPages for logged out editors learn moreContributionsTalkHaskellMain PageToolsToolsmove to sidebar hideActionsGeneralWhat links hereRelated changesSpecial pagesPrintable versionPermanent linkPage informationCite this page<templatestyles src=

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏