入門的ではない型クラスの話：Haskellの型クラスがぁ (´^｀;) - 檜山正幸のキマイラ飼育記 (はてなBlog)
タイトルに「入門的ではない」と入れたのは； 先日の「関数型プログラミングとオブジェクト指向について、何か書く、かも」において、「型クラス入門」の記事を書くかもと予告じみたことを言ってしまったので、その入門じゃないぞ、と。でも、型クラスの話だぞ、と。そういう意味合いです。ヨロシク、アシカラズ。 型クラスの元祖はHaskellです。なので、「型クラス ＝ Haskellの型クラス」という前提での解説が多いみたいです。しかし、元祖は“最初の試み”であるがゆえに、使用経験や後発の理論を活かすことが出来ず、むしろ問題をかかえていたりします。Haskellの型クラスも、なんだか残念なところが。 内容： オーバーロードと人生 型クラスは何がうれしいのか（オーバーロードなしでも） 型クラスの実際 記号の乱用の実装法 Haskellの型クラスは何がマズイのか オーバーロードと人生 型クラス誕生の動機は、演算
Haskell書いてるときになんとなく気をつけていること - LugendrePublic
信頼性はない 都市伝説かもしれん 大体枕詞に特別な理由がなければがつく 思いついたら徐々に更新する それは違うよってことがあったら @Lugendre まで ghc 8.6.5の話(8.8.1は仕事で使ってなくてな......) コンパイル通るかの確認だけなら最適化オプションO0でコンパイルする stackでいうとstack build --fast 動かすときはO2ビルドしたほうがいいが，インライン展開に5億年消費する なんならこのくらいは静的解析に任せてもいいが，でかいプロジェクトだと一定時間動いてハングアップするのしか世の中にないのでオワリ VSCode のせい説もある ghcideに期待 haskell-language-serverがすべてを解決した CIするときは必ずキャッシュする 毎回一から依存関係やGHCのビルドが走って余裕で1時間超えるようになるので データ構造のフィール
[レポート] AWS Lambdaストリーミングイベントソースのマスター #SVS323-R1 #reinvent | DevelopersIO
Mastering AWS Lambda streaming event sources 本記事はre:Invent 2019のセッション「SVS323-R1 - Mastering AWS Lambda streaming event sources」のレポートです。 スピーカー Adam Wagner [Senior Developer Advocate – Solutions Architect, Amazon Web Services] 概要 このセッションでは、LambdaでAmazon DynamoDBストリームとAmazon Kinesis Data Streamsを使用する詳細について説明します。 一般的なアーキテクチャパターンについて説明し、DynamoDBのさまざまなスケーリングオプションとそれらがストリームに与える影響について説明します。 次に、Kinesisスケーリ
![[レポート] AWS Lambdaストリーミングイベントソースのマスター #SVS323-R1 #reinvent | DevelopersIO](https://cdn-ak-scissors.b.st-hatena.com/image/square/9419c6cf4ac1d0e1323fa1560dfc995d191622f5/height=288;version=1;width=512/https%3A%2F%2Fdevio2023-media.developers.io%2Fwp-content%2Fuploads%2F2019%2F12%2Freinvent2019_report_eyecatch.jpg)
Lambdaの内部アーキテクチャ教えます！A serverless journey: AWS Lambda under the hood #SVS405 #reinvent | DevelopersIO
CX事業本部の岩田です。 昨年re:inventから帰国後にyoutubeで見つけたセッション「A Serverless Journey: AWS Lambda Under the Hood」が非常に興味深い内容でした。今年も同様のセッションが無いかre:inventのセッション予約開始前からチェックしていたところ、なんと今年も同じタイトルのセッションがありました。これは現地で聞くしかない！ということで聞いてきましたので、改めてセッション内容をまとめてレポートします。 資料 セッション動画 スライド A Serverless Journey: Under the Hood of AWS Lambda 例年ならSlide Shareで公開されるのですが、今年に関しては今のところSlide Shareには上がっていないようです。なお以後登場する画像のほとんどはこちらのスライドからの引用となりま
【AWS】CloudFormation::Macroを使って多数のIPを接続許可する - Qiita
初めての記事投稿です。 よろしくお願いします。 使うもの CloudFormation Lambda(Python3) めんどくさいからソースと作り方だけくれって人向けにgithubに置いておきます。 コードは記事に書いてあるのと同じです。 https://github.com/nekotouma0114/CloudFormationMacroDemo 事の始まり 僕「テスト環境の接続許可するIPって何があります？ お客さん「xxxとyyyとzzz....(数十個羅列※)お願いね！」 僕「あ、はい」 ※IPはばらばらでCIDRでまとめれないような状態 AWSのユーザガイド(AWS::EC2::SecurityGroup Ingres)を見る限りまとめてIPは指定できず、 CloudFormationにはループ構造が見当たりませんでした。 探した結果AWS::CloudFormation::
AWS CodeBuild から送信されるイベント情報を SNS 経由で Slack に通知してみた - michimani.net
2019-11-12 先日新たなサービスが発表され、 AWS の Code シリーズ (CodeCommit, CodeBuild, CodeDeploy, CodePipeline) のそれぞれから Amazon SNS と AWS Chatbot (beta) に対して通知を送ることができるようになりました。今回はこれらの中から、実際に CodeBuild から SNS 経由で Slack に通知を送ってみたという話です。 追記 2020/02/26 CodeCommit の通知についても書きました。 追記 2020/04/23 AWS Chatbot が一般利用可能 (GA) になりました。CLoudWatch Aram を Slack に通知してみた記事を書いたのでこちらも参考にしてみてください。 目次 概要 CodeBuild から Slack に通知してみる そもそも何が嬉しい
AWS CDK を使って node_modules を AWS Lambda Layers にデプロイするサンプル | DevelopersIO
Lambda Layers へデプロイする流れ Lambda Layers へ node_modules をデプロイするにあたり、ベースとなるプロジェクトをcloneしておきます。これは私が自分の手元で AWS CDK のワークショップ を実施してプッシュした状態のリポジトリです。 git clone git@github.com:cm-wada-yusuke/eval-cdk.git -b v0.1.0 ワークショップによって構築されるアプリケーションは、 AWS CDK Stacks: エンドポイントにアクセスすると DynamoDB のカウントを増やすアプリケーション AWS CDK Stacks: DynamoDB のテーブルビューア（ cdk-dynamo-table-viewer ） Lambda Function のソースコード というコンポーネントで構成されています。これら
Scala ZIOをバッチ処理で使ってみた
2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「Scala ZIOをバッチ処理で使ってみた」に登壇したのは、リチャード伊真岡氏。講演資料はこちら 副作用を含むコードで関数型のテクニックを利用 リチャード伊真岡氏：「Scala ZIOをバッチ処理で使ってみた」という発表をします。リチャード伊真岡と申します。マーベリック株式会社というところで働いています。 今日一番大事なことを最初に言おうと思います。発表の内容はどうでもいいので、私の名前だけ覚えていってもらえば満足
コールドスタート高速化のためにboto3をスリム化して改善効果を測定してみた | DevelopersIO
Lambdaのパッケージに自前でboto3を組み込む場合、保守性を犠牲にコールドスタートを少しでも早くする手法をご紹介します。 Lambda実行環境にバンドルされているboto3はバージョンが古いため、新し目の機能を利用したい場合はデプロイパッケージに自前でboto3を組み込む必要があります。 しかし、boto3はパッケージサイズが大きいため、コールドスタートの速度に悪影響を及ぼします。 この記事では、デプロイパッケージに含めるboto3をスリム化することでコールドスタートのオーバーヘッドを改善する手法をご紹介します。 なお、ご紹介する手法はシステムの保守性という観点で懸念事項が残ります。また改善効果も50ミリ秒程度のものです。このレベルのチューニングが必要になるのであれば、本来はコールドスタートという概念のあるLambdaを選択すべきではありません。が、そうはいっても色々なしがらみから「
関数型プログラミング入門者向け。Scalaと関数型プログラミングで一番重要な概念： Part 1 関数合成 - Qiita
関数型プログラミング入門者向け。Scalaと関数型プログラミングで一番重要な概念： Part 1 関数合成Scala関数型プログラミング関数合成 目的 私は普段仕事ではC#を使います（95%以上。時々JavaScript)、ですがデータ処理のためにScala を使う案件が出てきそうな雰囲気になってきたので、ここはひとつ「ScalaのもっともScalaらしい、しかも最重要な機能を学ぼう」ということになり、その学習というか調査の結果を、主に関数型プログラミングにあまり縁の無い方や、すこしかじったけどよくその良さが分からない（つまり自分！）を対象にまとめました。元々は英語で書いたんですが、頑張って日本語にしました。 おことわり 関数型プログラミングに関しては、興味レベルでHaskellについてちょっと本を読んだり、F#でごく簡単なツールを実装した、ぐらいの経験で、実務経験はほぼ０です。ですが、関
オブジェクト指向プログラミング -- 1兆ドル規模の大失敗
CodeIQのブログより。🤔 なぜ、OOPから移行する時なのか Ilya Suzdalnitski OOPは、多くの人にコンピューターサイエンスの重要資産と考えられています。コード構成(code organization)に対する究極のソリューション。すべての問題の終焉。私たちのプログラムを書くための唯一の本当の方法。自分自身をプログラムするという真なる唯一神から私たちに授けられました… それまでは、そうではなく、抽象化の負担、そして無差別に共有されるミュータブルなオブジェクトの複雑なグラフによって、人々は屈し始めています。現実世界の問題を解決するのではなく、「抽象化」と「デザインパターン」について考えるのに貴重な時間と頭脳が費やされています。 非常に著名なソフトウェアエンジニアを含め、多くの人々がオブジェクト指向プログラミングを批判してきました。驚くことに、OOP自身の発明者でさえ、今
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Stream Processing with Spring Cloud Stream and Apache Kafka Streams. Part 1 - Programming Model
cdk コマンドの機能を 実際に叩いて理解する 【 AWS CDK Command Line Interface 】 | DevelopersIO