English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
functional_bot's profile picture. へー、お兄ちゃんも関数型プログラミング勉強してるんだー。ふーん・・・

関数型妹bot

@functional_bot

へー、お兄ちゃんも関数型プログラミング勉強してるんだー。ふーん・・・

89KPosts 486Followers 365Following
You might like
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 13, 2019

さーてと！お兄ちゃんのHaskellプロジェクトに対してundefinedでgrepしてみよう！

0
0
1
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お、お兄ちゃん？仮引数を書きたくないのはわかるけど、実用コードでそのポイントフリースタイルはちょっと・・・

0
0
1
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

プログラムの定理証明とか偉そうに言ってるけど、お兄ちゃんそもそも高校数学程度の証明問題も解けないじゃん。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

型推論が便利なのは解るけど、型定義にはちゃんとドキュメントの役割がある事も考えてて書いてよね。ホラ！その外部に公開する関数は推論されたものそのまま使うよりこうやって別名に置き換えたほうが解りやすいでしょ！

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

コードの簡潔さにはこだわるけど、部屋は全然簡潔じゃないね。

0
1
1
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃん、ラムダラムダ連呼してるけど、ちゃんと関数型学ぶんだったら、「匿名関数の略記法」程度の認識は早いとこ捨てようね。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃんにかかると強力な型システムも型無しだね

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

型によってバグが防げるっていうのは、テストしないでも良いって意味じゃないんだけどさ…

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃんのおやつのプリンは妹型コンストラクタの型引数にしておいたわ。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃんのその疑問はラムダキューブの・・・いやっ、ゲーム機の話じゃなくって・・・。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

なんか、C言語を関数型言語って呼ぶ人をやたらバカにしてるけど、もしかしてお兄ちゃんちょっと前までそう思ってたんじゃない？

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃんの書いたライブラリ、型設計は丁寧で良いんだけど関数名の英語がひどくて使い方が全然わからないんだけど・・・。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃん、自作モナドも巨大化させ過ぎるとIOモナドと変わらないからね？

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃんってさ、大してHaskell書けないわりに"module Main where"って書くのだけは妙にこなれてるよね。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

はいはい、ラムダ計算がチューリング完全で素晴らしいのはわかったから、不完全な言語処理系も作れないお兄ちゃんの実装力をどうにかしたら？

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

「オブジェクト指向vs関数型」なんてしょーもない記事を書いてる暇があったら型無しラムダ計算の勉強でもしたらー？

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

もし、お兄ちゃんが「物づくりの道具」として関数プログラミングを学んでるなら、いくらfunctionalな実装が上手くても泥臭い部分を手早く作れなきゃ意味ないじゃん。時にはその技術が本当に有用かどうか見極める目も大切だよ。

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃん…チャーチ数って言葉を覚えたのがよっぽど嬉しかったんだね…

0
0
0
0
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

お兄ちゃん！日常生活を遅延評価しても手が回らなくなるだけだって、この前も言ったでしょ！

0
0
0
1
0
functional_bot's profile picture.
関数型妹bot
 @functional_bot
Jun 12, 2019

あっ、ま～たcabalの依存関係壊してる・・・だからサンドボックス使いなよって言ったのに。

0
0
0
0
0
Linda_pp's profile picture. A buggy software engineer

ドッグ

@Linda_pp
chomado's profile picture. 千代田まどか｜マイクロソフト社員 ｜Cloud Developer Advocate｜一児の母｜人工授精で妊娠,出産｜たまひよ読者モデル(『中期のたまごクラブ 2024年』に掲載されました)｜自社製品に言及するさいステマにならないよう会社名を公表してますが発言は個人のもの

ちょまど🦕ITエンジニア(育休明け)

@chomado
ryiwamoto's profile picture. ゲーム・完全食・プログラミン グ。アイコンは https://t.co/i7kToPdvLU で作っていただきました

がん/R氏

@ryiwamoto
ZVRA's profile picture. おもしろおかしく笑って生きることが目標。 白とも黒とも割り切れない社会だから融通のなかで自由にいきたい。人生紡ぐのは縁✾人との関わりが深い仕事をしています。千代田区 秋葉原 文京区 京都府東京経済人会会員

river

@ZVRA
usj1's profile picture. テーマパーク攻略のプロ。USJのツボ。大阪万博とＵＳＪの攻略法、混雑予想、最新情報を毎日発信。ＵＳＪガイド本、攻略本を多数執筆 ■『ＵＳＪ裏技ガイド2025』大ヒット販売中https://t.co/vBbzLlH9cW USJ、万博ファンのフォロー・ツイート友達を募集中。皆で相互フォロー

ＵＳＪ・大阪万博のツボ

@usj1
matsui_crhg's profile picture.

matsui_crhg

@matsui_crhg
uzb18's profile picture. サンフレッチェ、アジアのサッカーなどに興味があります。 ACLやリーグ戦の時はうるさいかも。

uzuz

@uzb18
nagat01's profile picture. 正真正銘の日本人に限る深層学習により、日本人を憎悪敵視し監視し、日本人を横柄傲慢に尾行し、日本人を違法不法に誹謗中傷し、日本人を反社会暴力的に妨害し、日本人社会を傍若無人に破壊する、日本人ではない噓偽りの在日の迷惑工作の特殊詐欺を予防する https://t.co/X7FTvd15vV

ながと

@nagat01
olfedialis's profile picture. 音楽(FiNO,Kroi)、旅行、アニメ、漫画、お笑い、ゲーム実況が好き のんびりまったりぬくぬく生きてます 気軽にフォローお願いします DMもぜひー！

SHOW@ゆるりん

@olfedialis
torus711's profile picture. 競技プログラミングとかやってる 17 さい技術局員（嘘）

とーらす🌸📦🌂🎧

@torus711
dokuimouto's profile picture. えっ、ジュースくれるの？　ありがとう！

毒を飲んでのたうち回る妹bot

@dokuimouto
AkiyaSubaru's profile picture. プログラマです。ラブライブ！の絵とかを描きます。https://t.co/cC0bVmm83i

秋谷 すばる

@AkiyaSubaru
joleemagazine's profile picture. JO LEE – The exclusive, luxurious BiAnnual – Features, photos on the luxurious world of the elite – A magazine unlike any other for those unlike any other

JO LEE

@joleemagazine
OE_uia's profile picture. フリーランス / 『実践 #Scala 入門』共著者 / 『Scalaスケーラブルプログラミング 第4版』監訳者

Taisuke OE

@OE_uia
skydog_projecte's profile picture. ハスケル/プロジェクトオイラー プログラミングを2013年の3月から始めました。 プログラミング難しいけど楽しいです。 現在51問(2013/4/1)

skydog

@skydog_projecte
yutaro_pajama's profile picture.

ゆうたろう

@yutaro_pajama
EagleConnor1's profile picture. 為替とか投資に興味があります。只今FXの勉強中

イーグル

@EagleConnor1
hajimemineoka's profile picture. ケイ素医学療法士であり現役空手家(四段)。誰でも簡単・安全にできる体操や食事法を指導中！私はこの方法でＣ型肝炎(癌へ移行する病)を受入れ治療をあっさり止め、より元気に復活。ー23kgダイエット(90kg→67kg)にも成功。病気は治すな！驚かせてスミマセン。しかし治すのは病気ではなく自分自身の生活習慣なのです。

峰岡肇

@hajimemineoka
agro551's profile picture. 文章を書くのが割と好きなんですけど 夢枕獏と辺見庸と早川いくをに影響されまくってて 中2病が全開 花山薫に憧れる1993年生まれ

精米歩合50％

@agro551
sakamoto_desu's profile picture. Coq進捗駄目です。 https://t.co/FEZR6EnrfR

(* sakamoto *)

@sakamoto_desu
Tallgeese3's profile picture. 車や、その他色んな乗り物が好きです。 うさぎも飼ってますので、うさぎも好きです。基本は挨拶のみが多いと思います。 無言フォローもありますが。なるべくフォローは返します。フォローに気がつかない時がありますので、その時はお知らせください。お別れはお互いにブロックでm(_ _)m。

トールギスさん返信遅い時あり

@Tallgeese3
gently_888's profile picture. IDのgentlyには「親切に、優しく、穏やかに」という意味があります。♡ 好き→お花 夕焼け 青空 海 月 太陽 自然 旅行 沖縄 京都 離島 劇団四季 花火 ☆カメラ: EOS Kiss M, Kiss X8i, IXY640, iPhone ❇︎積極的にフォローやフォロバはしていません。ひと言@にお声がけを🍀

よっちゃん @愛と感謝を込めて

@gently_888
HackBlue's profile picture. #@HackBlue #follow #followme #followmejp #sougofollow #followback

HackBlue(チャイルズ）

@HackBlue
Senba_Kaientai's profile picture. 桐石義高【専門】経営.財務【活動】戦没慰霊.沖縄新聞.ﾄﾞﾛｰﾝ団体【賛意】首相公選.核議論.原潜保有.脱炭懐疑【趣味】南国ﾘｿﾞｰﾄ.米ｲﾝﾃﾞｯｸｽ.ﾎﾞｸｼﾞﾝｸﾞｼﾞﾑ【座右】正を以って合し奇を以って勝つ（孫子）

船場海援隊／日本を取り戻そう！

@Senba_Kaientai
chefdelcook's profile picture. KIKUSUMI Founder & Designer

ᴅᴇʟ ᴄᴏᴏᴋ

@chefdelcook
myoukenzzz's profile picture.

みかん

@myoukenzzz
mizuzzz31's profile picture. 音楽・落語・写真・下北沢・酒・自転車・イタリア・睡眠・嗜好品・サッカー・サウナ・コーヒー・桂米朝・焼きそば・温泉・ピンク・声・香り・間取り・色彩・妄想・心理・統計・猫舌・乃木坂46・幻想・奇跡・無理・来世・誤解・限界・可愛い・人間観察・杉崎美香・記憶力・はじっこ・すみっこ・頑固者・人見知りなどに興味あり。

みず（二代目）

@mizuzzz31
mizuzzz's profile picture. 声・間取り・猫舌・はじっこ・人見知りなどに興味あり。

みず

@mizuzzz
fitter1107's profile picture. 子育てと仕事に奮闘中の二児のパパです!! 基本日常のゆる～い、つぶやきが多いですが、皆さん宜しくお願い(o｀･ω･)ゞﾃﾞｼ!!

☆FITTER☆

@fitter1107
Bl00D_H0unD2817's profile picture.

受け血

@Bl00D_H0unD2817
senden_meizine's profile picture. 株式会社Web staff 代表取締役／本人訴訟オンラインサロン運営責任者 「報道名人」では、話題性ある情報をフォロワーさんに届けています。記事の選別は「報道名人」編集長の「中の人『トモ』」によって行なわれています。

「報道名人」今日のニュース

@senden_meizine
juno365's profile picture. リラックマ２号

じゅの

@juno365
tokubo's profile picture. 今年も様々な事に挑戦しようと思います。散歩、キャンプ、お酒、サイクリング、ラグビー、ゴルフ、海外旅行、映画、料理が好きです。子供達が大きくなり、あまり遊んでく入れないから、週末は友人らとの農作業にいそしんでいます。埼玉トライアスロン連合に所属。写真は大好きなサンタモニカの夕焼けです。

久保利人 Toshihito_Kubo

@tokubo
katochar's profile picture. プログラマ, ベーシスト, オナニスト, 自転車, MGF, etc...

katochar

@katochar
risgk's profile picture. 石垣 良, ISGK Instruments, Hamamatsu.rb, Make: Community, IPSJ, IEEE-CS, Synth, Embedded Software, C/C++, Ruby, Arduino, Raspberry Pi Pico, ラズベリー・パイPico/Pico W攻略本

Ryo Ishigaki

@risgk
doyadoyadoooo11's profile picture. はじめまして(*´ρ`*)ホワワーン 旦那に便乗してTwitter始めました！ディズニー＆チャンドゥ大好きです。運動も好きな二児の母です( ´艸｀)ムププ 日常のゆる～い内容ですがよろしくですd(*＇-＇*)b disney/子育て/療育/障がい/自閉症/筋トレ

どやっこ◡̈♥︎

@doyadoyadoooo11
shimokitastomp's profile picture. BAR「STOMP」 2017年5月31日終了。

下北沢STOMP (ストンプ)

@shimokitastomp
torekacom's profile picture. @collectors_mart @toreka_sapporo @toreka_ikb_head @TorekacomNakano @torekanamba @artesiajp 趣味マラソン等 学生時代ベスト1500m4.13.2ハーフ1.15.52 / 2024年ベストハーフ1.34.47 コロナワクチン非接種

トレカコム/中野コレクターズマート

@torekacom
TiTuS_oF_oHiO's profile picture. #vegan #rider 👻riderofohi0👻

\_titus_of_ohio_/

@TiTuS_oF_oHiO
drunk_freedom's profile picture. 離島と僻地と裏路地と猫とアートとノープランな一人旅が好きで、たまに新宿ゴールデン街で呑んでる狂人が硬軟織り交ぜた写真と戯言で綴る、お散歩日記です。返信は、まれーに気分でDMで。 I like stray cats / sun / moon. CATa/c @nekosanpo_xxx It's a SONY.

酔いどれ自由狂人

@drunk_freedom
NakamuraHisyou's profile picture. 田舎に帰り農業やってます。フォロー有難う御座います。フォローしてくれた人に、良きことがおきますように。 無口な不束者ですがよろしくお願いします。

中村

@NakamuraHisyou
baumtti's profile picture. 【アマゾンギフト券プレゼント】ツイッター懸賞 https://t.co/1JgvyCYChs 実施中☆Twitter営業時間9:00～18:00

バムッチ（プレゼント懸賞やってるよ！）

@baumtti
tanaka_satomi's profile picture. ためになる情報なんかみなさんにお伝えしたいなっ♪よかったらいっぱいフォローしてね(^O^)なかよくなっていろいろ教えてほしいな(*^o^*)。

田中聡美

@tanaka_satomi
JFQJFQJFQ's profile picture.

JFQ

@JFQJFQJFQ
_purebear3's profile picture. ちゅきーん(^(エ)^)が口癖のぴゅあベアー(公式アカ)でちゅよ★３歳★星座占い★某キャンペーン非公式キャラクター

ぴゅあベアー

@_purebear3
ni_kke_'s profile picture.

よいち

@ni_kke_
shinya_toi's profile picture. 今話題の癒し系作家　信行真哉　 Terima kasih.Thankyou.Gracias.obrigado. Merci. 『苦しいとき　かなしいとき　仏さん　笑った　私も　笑った』

しんや24 信行真哉 Japan

@shinya_toi
hitget's profile picture. 誠に勝手ながら、懸賞安心応募サービスを終了させて頂きました。長きにわたり本サービスをご利用頂いた多くの皆様に、改めて厚く御礼申し上げます。 Japan Japon Japão Japonya スパイラルシステムズ株式会社

無料 懸賞安心応募hitget！

@hitget
cho_kantan's profile picture. Japan's super-easy home cooking

ここよ　超かんたん献立　Japan ;)

@cho_kantan
k2smz's profile picture. 🐌ྀི SOUNDMAN (J.S.A)🥬

k's

@k2smz
RyosukeInomata's profile picture. 世界約35か国訪問 🌍 各国で撮影した写真をアップしています（リアルタイムではありません）。カバー写真はドイツのアウグスブルクにあるシェッツラー宮殿の祝祭の広間です。📷 SONY DSC-HX50V📱iPhone SE3 🖼️絵画販売⇒ https://t.co/RkHvJ6EGCW

Ryosuke Inomata

@RyosukeInomata

United States Trends

You might like

Something went wrong.


Something went wrong.