Developing QUIC Loss Detection and Congestion Control in Haskell - あどけない話
For last two months, I have been trying to implement "QUIC Loss Detection and Congestion Control" in Haskell. This blog article describes a brief summary on what I have done. ACK handling Before loss detection and congestion control were developed, QUIC packets were retransmitted, if necessary, by a simple resender lightweight thread based on timeout. The internal data structure was, of course, Pr
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? Rustは多くの言語に影響を受けており、C++のほか、OCamlやHaskellといった関数型言語の影響も受けています (参考: The Rust Reference - Influences)。 私はC++からRustに入りましたが、関数型言語を使った経験はありません。せっかくRustを学んだのだから、その影響元である関数型言語についても学んでみたいと思いました。 関数型言語を学ぶならHaskellだろうということで、以下の書籍を参考に触れてみました。その感想を記します。 参考書: プログラミングHaskell 第2版 (出版: ラム
Welcome This site describes the various messages that can be returned by Haskell-related tools, including both errors and warnings. For example GHC, the most-commonly-used Haskell implementation, started emiting a code with the format [GHC-12345] for its messages in version 9.6.1. These codes can be looked up below for further information. So far, 141 errors and warnings are documented here. If yo
Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。 Linuxは、Unixをベースにして開発されたオペレーティングシステムです。日本では「リナックス」と呼ばれています。 主にWebサーバやDNSサーバ、イントラネットなどのサーバ用OSとして利用されています。 上位500のスーパーコンピュータの90％以上はLinuxを使用しています。 携帯端末用のプラットフォームAndroidは、Linuxカーネル上に構築されています。
lotzさんのData.Foldableの正体に迫るに触発されてこの記事を書きました。 Haskellで、リストなどへの畳み込み操作(ステップごとに結果を累積する計算)を一般化したものがFoldableクラスです。今回はそんなFoldableがどこからHaskellにやってきたのか、について焦点を絞りました。 lotzさんの記事にによると「Crushと呼ばれるものが原型になっているようです」とのことで、論文をいざ読んでみたのですが、記号の意味を理解するのが精いっぱいでした… そこで、この記事では概念というよりは「GHCとFoldableの関係」についてまとめました。 畳み込みとは? 前提知識として、畳み込みとFoldable型クラスについてある程度知っている必要があるので、軽く紹介します。 畳み込みの単純な例として、1~100までの総和を求める問題があります。数式ではこうです。 $$ \s
プログラミング言語HaskellについてのAdvent Calendar Haskell関連の記事ならなんでも 記事はQiitaでも、自分のブログやgistなどに書いてリンクを貼ってもOKです！ Haskell-jp Blog への寄稿も大歓迎です。 （寄稿方法はこちら） 去年のAdvent Calendar: https://qiita.com/advent-calendar/2020/haskell 予定日を過ぎても投稿がない場合、事前の通達なく他の方に代筆して頂きます。あらかじめご了承ください。 hask(_ _)eller edit_calendarHow to join the calendarYou can join the calendar by selecting an available date and registering the URL of the articl
Haskellを始める時に役立つ資料 関数型プログラミングが初めてで、読んでもちょっとわからないって方は OCamlをおすすめします。 OCamlで始める関数型プログラミング プログラミングの基礎は名著です。この本でわからないって方は厳しいと思います。 ※追記 haskellをやっていて、副作用云々はいいから.. ってなった方はOCamlベースのF#がおすすめです。 haskellと並行してやるのもおすすめです。 F# を知ってほしい 日本語リンク集 Haskell 超入門 網羅的に説明されており、とりあえず始める人におすすめ ウォークスルー Haskell 網羅的に説明されており、とりあえず始める人におすすめ Haskell 基本構文のまとめ すごいHaskell楽しく学ぼうの１〜５章の内容をまとめ Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell
We're taking a quick breather this week from new content for an announcement. Our recently concluded Rust Web series now has a permanent spot on the advanced page of our website. You can take a look at the series page here! Here's a quick summary of the series: Part 1: Postgres - In the first part, we learn about a basic library to enable integration with a Postgresql Database. Part 2: Diesel - Ne
I have been making my products statically linked over the past few days. This post presents why and how to statically link your Haskell executables and collects a mapping from obscure error to unexpected fixes. This work would not have been possible without the many-year-long effort of people like nh2. This issue on GitHub is a good summary of what went into making this possible. Why statically li
I often hear how happy Haskellers are because they have such a great and unique language. They must be proud of how the outer world respects this Haskell technical superiority, and how the language influences all the other languages. This is deserved for sure, and it’s definitely a reason for pride. But when it comes to the closer comparison with any other mainstream language, we see that not ever
anond:20210617075257 「未経験から1ヶ月でWeb系企業に就職する勉強法」に触発されて、私もプログラミングの勉強を頑張ってみようと思いました。 とりあえず、今日から1か月（30日）という期間を区切って、Haskellの本を読んで勉強してみます。 教材入門Haskellプログラミング https://www.amazon.co.jp/dp/4798158666 30日カレンダー 日 日付 曜日増田 内容 1 6月19日 土 anond:20210619051922勉強のやり方 2 6月20日 日 （休み） 3 6月21日 月 anond:20210621190017 目次を眺める。Haskellを用意 4 6月22日 火 （休み） 5 6月23日 水 anond:20210623115924 LESSON1 ～ LESSON2 6 6月24日 木 anond:2021062
me/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md at master · sidkshatriya/me
Recently, osa1's My Thoughts on OCaml generated quite a robust conversation on Hacker News. Overall I felt the blog post was a bit too critical about OCaml. However, everyone has a right to their opinions and I respect whatever has been written. Except for a couple of points, the article didn't resonate with me, so I thought I should pen down my good/bad experiences with OCaml and see if others ha
If we sincerely ask "why learn Haskell?", then we wind up learning Haskell! Asking a "why?" question means we want to be told a reason. But would we accept any reason? It seems not, for if any answer suffices, then the answer is irrelevant, so why bother asking?
Forbidden Haskell Types
Sometimes, writing Haskell is like having an argument with the compiler. You give it your reasoning, and it checks it over for flaws. And if it thinks it finds one, it will tell you all about it. You then have to look over what it told you, and figure out exactly what its complaint is. Did I just express myself badly? Or am I actually wrong? Or, very occasionally, the compiler is just being petula
Scala is a gateway drug to Haskell Scala ユーザーが先っちょだけ Haskell に入信してみました. Scala で 関数型プログラミングと呼ばれるプログラミングスタイルのコードを書きはじめると次第に Haskell(や PureScript などのいわゆる 純粋 関数型言語)の魅力に気が付きますよね(＾ω＾)? 例えば println が IO の外にあるとハァ(´･ω･｀)という顔になりますね. cats を使っていると MonadError が PureScript と異なって、raise と handle の両方の機能を備えているのに困るときがありますよね. (MTL使え、ということでしょうか？) せっかくなので Haskell をﾁｮｯﾄ触ってみました. 別にHaskell である必要はないんですが、純粋関数型言語の代名詞のようなものなの
この記事はImaizumi Lab Advent Calendar に寄せた記事である。Haskell との邂逅 2006年のわたしは Haskell というプログラミング言語に憧れをもっていた。 ところが、日本ではあまり話題になっておらず、Haskell の技術関連書籍はすべて洋書。 そんななか、今泉研究室は研究で英語の論文を読解できるようになるための訓練も兼ね、ゼミで洋書を輪読するという話を聞いた。 その日以来、研究室では周囲を言いくるめ、なんとかしてゼミで Haskell の洋書を輪読する方角へと誘導する私がいたのである… そして、ゼミでは Haskell を使って関数型プログラミングを理解する Introduction To Functional Programming Using Haskell を輪読する流れにすることに成功したのであった！ 当時の Haskell 事情日本では
In CppCon 2022, Herb Sutter gave a talk titled Can C++ be 10x Simpler & Safer? where he described an alterntive syntax that compiles to C++ (which he calls CppFront or Cpp2) that could remove much of the existing issues with C++ - reduce complexity, increase safety, and more. If you haven't seen it yet, it's worth a watch! With recent events and discussions in the Haskell community, my mind went b
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
To assist with job interviews at the NRAO we recently wrote a small “contest” program. Without giving away the details, the crux of the problem is to read a file with a list of scans and calculate the amount of time it takes to move the dishes and perform the scans, and report it. Candidates are required to write this in Java, but that restriction does not apply to me, so I of course had to write
Since I now write Haskell for paycheck, I wanted to refresh my Yesod knowledge. Yesod is a production-grade web framework, and there’s one web site I’ve long wanted to have: Fisher’s Fountain. Fisher’s Fountain is the ideal project for a toe-dipping three-evening hack because it does not talk to external collaborators, but it is also not entirely static content. This is a significant step. Note th
GTF :: Why Haskell?
“Impractical”, “academic”, “niche”. These are a few of the reactions I get when someone discovers that my favourite programming language is Haskell, and not only my favourite in some sort of intellectually-masturbatory way, but favourite for building things, real things, mostly involving web servers. Hobby projects would be one thing, but it gets worse: I have actual teams at Converge working in H
『なっとく！関数型プログラミング』はScalaで説明されている本だけど読んだらHaskellのdoもわかるようになった - 技術と労働のダイアリー
関数型プログラミング言語については、以前にHaskellの本を読んでみたりして、興味はあったのだが正直あまり理解できてなかった。 『なっとく！関数型プログラミング』はScalaのコードで関数型プログラミングを説明している本だ。最近邦訳が発売されて話題になっていたので買って読んでみた。 www.seshop.com この本で入れ子のflatMap の説明から、Scalaの for 内包表記 を説明しているところを読んで、Haskell の do もこれかということに気がついた。 リストの場合 // 入れ子のflatMap val result = List(1, 2).flatMap { x => List(10, 20).flatMap { y => List(100, 200).map { z => x + y + z } } } // for内包表記 val result2 = for
mondでこの質問への回答を読んでみましょう
Pythonの良くないところはなんでしょう？私はHaskellやRust、Goといった言語を触ってきましたが、未だに1番書きやすいと感じるのはPythonです。
回答 (18件中の1件目) この質問の回答が浅いものばかりなのでについカッとなって、自分が考える、Pythonの悪い点を集めてみました。 https://twitter.com/shun0157/status/1574690521942933504 3年くらいしか触ってないですがこのあたりです。分かりやすい順から。 * 多重継承というかInterfaceとかmixinとかがない 多重継承なんて嫌だ！と思ってたけどPythonでは使わないわけにはいかず。クラス名だけXXXMixinとかにしてなんとかしてます。 * f-stringというかformatの仕様 プレースホルダが `{...
Case Study — Using a JavaScript component inside a Haskell application | The Haskell Programming Language's blog
Mateusz Goślinowski January 08, 2025 [GHC] #javascript #case-study GHC since version 9.8 allows us to create callbacks from JS to Haskell code, which enables us to create full-fledged browser apps. This article shows how to use the JS backend with foreign component libraries. repository: https://github.com/Swordlash/halogen-blog ghc used: javascript-unknown-ghcjs-ghc-9.12.1 (ghcup) Preface Any use
Two years ago I wrote a blog post to announce that the GHC wasm backend had been merged upstream. I’ve been too lazy to write another blog post about the project since then, but rest assured, the project hasn’t stagnated. A lot of improvements have happened after the initial merge, including but not limited to: Many, many bugfixes in the code generator and runtime, witnessed by the full GHC testsu
Rust — Monday Morning Haskell
Rust for Haskell Programmers! While we focus on Haskell at MMH, it's also good to branch out to other languages every once and a while. If you're a diehard Haskell developer, Rust is one of the more interesting languages to try out when you broaden your horizons. Its syntax has a lot in common with more common, object oriented languages like C++ and Java. But it also incorporates a lot of ideas th
The Haskell Tool Stack
FAQ Glossary More The Haskell Tool Stack¶ Welcome to the Haskell programming language and the Haskell Tool Stack (Stack)! Stack is a program for developing Haskell projects. It is aimed at new and experienced users of Haskell and seeks to support them fully on Linux, macOS and Windows. Haskell code is compiled by the Glasgow Haskell Compiler (GHC), which can also be used interactively. Stack featu
Hello! Today we’re going to talk about something I’m actually good at, for a change: writing compilers. Specifically, I’m going to demonstrate how to wrangle Alex and Happy to implement a parser for a simple language with the same indentation sensitive parsing behaviour as Haskell, the layout rule. Alex and Happy are incredibly important parts of the Haskell ecosystem. If you’re a Haskeller, you u
プロジェクトを作らずにHaskellをやる
Haskellで実用的なアプリケーションまたはライブラリーを書くときはCabalやStackでプロジェクトを作ります。しかし、プロジェクトを作るまでもなく何らかの作業をしたい、ということが時にはあるかと思います。 GHCに付属するライブラリーだけで済んでしまう場合は ghc, ghci や runghc を直接使えば良いのですが、もう少し実用的なことをやるにはHackageで公開されたライブラリーを使うことになります。 プロジェクトを作らずにライブラリーを使うにはグローバルな環境にインストールするという方法がありますが、グローバルな環境というのはいずれ管理しきれなくなることが目に見えています。この記事では、なるべくグローバルな環境を汚さずにライブラリーを使う方法を見ていきます。 対話環境でライブラリーを使う まず対話環境についてですが、 ghci の代わりに cabal repl や st
Welcome to our second post on Template Haskell! Today we will take a quick look at typed Template Haskell. This article assumes some familiarity with Template Haskell (TH) already. If this is your first journey with TH, then check out our introduction to Template Haskell first. For this article, we will be using GHC 8.10.4. However, we will also show the changes that are necessary so the code work
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rust使用者がHaskellを学んだ感想 - Qiita
The Haskell Error Index — Haskell Error Index
Haskell（ghc）の巨大な実行ファイルをコンパクトにしたい
HaskellのFoldableはどこから来たのか? - Qiita
Haskellのカレンダー | Advent Calendar 2021 - Qiita
Haskellを始める時に役立つ資料 - Qiita
Rust Web Series Complete! — Monday Morning Haskell
Getting your Haskell executable statically linked with Nix
GitHub - graninas/The-Voids-Of-Haskell
1か月Haskell習得チャレンジ（2021/6/19~2021/7/18）
Haskell - Why Learn Haskell?
Scala ユーザーがぬるっとHaskellに入信したのでHaskellのはじめかたについて書く
今泉研究室では2006年にプログラミング言語Haskellの洋書を輪読していた
λm.me - An alternative frontend for Haskell?
Facebook Retrieを使用した大規模なHaskellコードベースのリファクタリング
Smalltalk, Haskell and Lisp - Daniel's Blog
Deploying a Single-Binary Haskell Web App
今から関数型プログラミングを学ぶとしたら、ScalaとHaskell、どっちがオススメですか？ | mond
GHC's wasm backend now supports Template Haskell and ghci
Parsing Layout, or: Haskell's Syntax is a Mess
A Short Overview of Typed Template Haskell