「Haskellのモナド完全に理解した」試験問題

2021/06/13 79 users Haskell モナド 緊張 自信 試験問題

Haskellは勉強したけどモナドを本当に理解したって言えるのか自信がない… ＼そんな人向けの試験問題を作りました！／ これから実施する試験問題を、10問中8問正解すればあなたはHaskellのモナドを完全に理解しています。私が保証します！ それではさっそく〜〜 第一問 まずは緊張をほぐしましょう。 Haskellの Monad は○... 続きを読む

ASCII.jp：あらためて「PowerShell」の現状と登場後の経緯を整理する (1/2)

2021/04/25 273 users PowerShell net Microsoft 経緯 前々回

前々回に「.NET」の話をしたので（「あらためて「.NET」について整理する」）、ついでと言ってはなんだが、今回はPowerShellについても経緯と現状をまとめてみることにする。 2005年9月に米国で開催されたMicrosoftの開発者向けイベントProfessional Developers Conferenceで発表されたMonad。これが後にPowerShellと呼... 続きを読む

Rustでもモナドは実装できるのか？（再） - Don't Repeat Yourself

2020/12/25 6 users モナド rust Functor Don't エミュレーション

この記事は言語実装Advent Calendar 2020 25日目の記事です。 前提知識 高階カインド型 モナド 従来のエミュレーション方法 Generic Associated Types を用いたエミュレーション（new!） 型クラスを定義する Functor を用意する Pointed を用意する Applicative を用意する Monad を用意する いくつか型を実装していく ... 続きを読む

君の手で作るモナドは怖くない - builderscon tokyo 2019

2019/06/11 34 users モナド networks Conference 障壁 目的

This session has NOT been accepted yet. If you would like to see it in the conference, please post it in social networks, as those numbers will be tallied and used as part of the selection criteria Abstract 本セッションの目的は、ずばり モナド (monad) に対する 初心者の心理的障壁を取り除くこと です... 続きを読む

関手、Applicative、Monadの法則 - あどけない話

2019/04/11 13 users 法則 演算子 あどけない話 関手 データ構造

Monadとは、Applicativeであるデータ構造で、(>>=)演算子を提供し、それがMonad法則を満たすものである。 正確に表現するとこうなんですが、「はぁ？」っ感じですよね。「満たすべき法則」とか言われると、まったく理解できません。でも、オススメの形に持っていくための変換規則と捉えると分かりやすいのではないかとい... 続きを読む

30分でわかるJavaScriptプログラマのためのモナド入門

2018/12/17 461 users モナド入門 モナド javascriptプログラマ 分量 一気

「30分でわかる」のは、だいたい、 4. モナド(Monad)とは何か？ の読了までを想定しています。 また速い人なら、30分で全部一気に読み通せる分量でもあると思います。 30分以上かかっても一気読みしてしまうことが推奨されますし、一気読みできるように、前に戻って知識の再確認をしなくて済むように、最大限留意して構... 続きを読む

From Callback to Future -> Functor -> Monad — Medium

2015/07/15 9 users medium

This article appeared first at tech.pro. Sadly the site was suspended so i decided to republish it here. If you’ve already read the original article, you can skip to the side effects section where the... 続きを読む

Haskell の Monad とは言語内DSLのフレームワークである - あどけない話

2015/01/28 84 users Haskell モナド フレームワーク 文法 あどけない話

この記事は、Haskellを勉強してある程度分かったけど、Monadで挫折した人のための記事です。10分間で、Monadに対する納得感を得ることを目的としています。他の言語でいう「モナド」にも通用する内容ですが、Haskell の文法や用語を用いますので、他の言語の利用者に分かるかは不明です。Haskellを勉強したのですから、代数データ型 型クラスは分かっていることにします。Monad は、単な... 続きを読む

そろそろFreeモナドに関して一言いっとくか - fumievalの日記

2012/11/11 59 users fumieval Freeモナド Haskell モナド 一言

Freeモナドはすごい。 Haskellを書いていて、「特殊化された処理を記述するモナドが簡単に作れたら便利だろうなー」と思ったことはないだろうか？簡単に作れるのである、そう、Haskellならね。 これが、純粋なFreeモナドの定義である。 data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Monad (Free... 続きを読む

QAで学ぶMonad - あどけない話

2011/04/13 143 users where return 風評 メソッド あどけない話

Haskellこれは、Monad でつまづいた Haskeller のための Monad 入門です。Monadとは何ですか？Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b... 続きを読む

次世代Windowsシェル「Windows PowerShell」を試す（前編） ― ＠IT

2006/07/18 316 users Windows PowerShell 前編 本稿 正式名称

本稿は2006年4月12日に公開された「次世代WindowsシェルMSH（コード名：Monad）を試す（前編）」の改訂版です。Windows PowerShell RC1版のリリースに合わせて、Monadシェルの正式名称は「Windows PowerShell」となりました。MSHおよびMonadという名称はもはや使用されません。 Monadベータ版からの変更点の詳細については本稿冒頭で言及してい... 続きを読む

次世代WindowsシェルMSH（コード名：Monad）を試す（前編）

2006/04/11 82 users コード名 前編

Windowsのシェルといえばコマンド・プロンプト（cmd.exe）であるが、その機能はUNIXなどのシェルと比較するとまったく貧弱なものである。WindowsではMMC（Microsoft Management Console）などのGUIによるシステム管理／設定のインターフェイスはリッチだが、運用や管理や自動実行が容易なスクリプトによるインターフェイスは弱い。 これはアプリケーションやサービス... 続きを読む

米Microsoft，オブジェクト指向コマンド・ライン環境「Monad」のベータを提供開始 : IT Pro ニュース

2005/06/27 13 users Longhorn ベータ net 米Microsoft 最初

米Microsoftは先週，.NETに対応したスクリプト言語実行環境「Monad」（開発コード名）のベータ1をようやく提供開始した。Monadの最初の説明から2年がたっている。 当初，MonadはLonghornだけのために予定されていた。しかし，今では「Microsoft Command Shell」と呼ばれ，Windows XPとWindows Server 2003にも別に出荷されることにな... 続きを読む