Posted on March 3, 2018 authored by Shinya Yamaguchi Last Updated May 2, 2020 はじめに LiquidHaskell を半年ほど勉強した結果、色々と出来ることが増えて楽しくなってきました。 現状、日本語で詳しく説明しているブログ記事等はほとんどありません。 とても面白いツールだと思いますので、色々と紹介していけたらと思います。 今回は LiquidHaskell の導入方法について簡単に説明したいと思います。 LiquidHaskell とは？ LiquidHaskell は GHC の型よりも、さらに厳密な 篩型 (Refinement Type) の型検査器です。 既存のコードを変更 (さらには実行すら) することなく利用できるため、既存のプロジェクトの一部にだけ導入することも可能です。 また、つい最近も GA
ポール・グレアム「Googleがいくつも生まれない理由」を翻訳しました。 原題は「Why There Aren't More Googles」で、原文は http://www.paulgraham.com/googles.html です。 shiro様、kazuhiro00様、ogijun様、akamegane様から翻訳のアドバイスを得ています。ありがとうございます。 Googleがいくつも生まれない理由 2008年4月 ユーメール・ハクは最近「Googleがいくつもないということは、世界を変える前にほとんどのベンチャーはGoogleに買収されてしまうということだ」と述べた。だがMicrosoftとYahooが真剣に興味を持ったにもかかわらず、かつてはお買い得に見えたはずのGoogleは買収されていない。下手したらGoogleは、YahooかMSNの単なる検索ボックスになっていた可能性もあ
これは国家機密なのですが、アボカドとハマチの刺身を酒、醤油、みりんを一煮立ちさせた液体に一晩漬けると謎の現象が起きて滅茶苦茶美味しくなります。 熱い飯に乗せるのが良いです。 https://t.co/Petz5hPd1m
個人向け国債のキャンペーン情報 販売会社のキヤンペーンの比較を解説しています。債券、社債高金利キャンペーン情報掲載。 PR 個人向け国債は、全国938社の金融機関で購入できます。しかし、どうせ買うならキャンペーンを利用して、現金をプレゼントしてもらうのがお得です。個人向け国債キャンペーンの比較をする際に、どうぞ当サイトをお役立て下さい！ 日銀の利上げで「金利のある世界がやってきた」 個人向け国債キャンペーンで貰える現金プレゼント一覧（2024年11月度） 変動10年高金利な0.65％！ 変動10年債の個人向け国債を50万円以上、200万円まで購入するケース ここでは、個人向け国債の変動10年の個人向け国債を、50万円以上200万円まで購入する際の、現金プレゼントの金額の一覧です。2024年11月度においては、50万円以上で一番お得な金融機関はＳＢＩ証券、100万円以上ではリテア・クレア証券
Hello Therereveal.js enables you to create beautiful interactive slide decks using HTML. This presentation will show you examples of what it can do. Vertical SlidesSlides can be nested inside of each other. Use the Space key to navigate through all slides. Basement Level 1Nested slides are useful for adding additional detail underneath a high level horizontal slide. Basement Level 2That's it, time
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 新米探偵、データ分析に挑む: 石田基広 (著), shimano (イラスト): 本
