Haskell は Rust になれるのか？──2023年の Linear Haskell 体験記

2023/10/01 67 users rust tl;dr 展望 実装 将来

TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょ... 続きを読む

HaskellとRustを足して2で割ったような関数型言語Fixを作っている話 - Qiita

2023/08/06 62 users Qiita rust

はじめに ここ1年ぐらいかけて、Fixという名前のプログラミング言語を作っています。 コアとなる機能の実装がある程度落ち着き、実際にFixを使ってプログラムを書けるようになってきたので、そろそろ言語の紹介をしてみようと思います。 本記事はFixのチュートリアルではなく、どういう思想で設計されていて、どういう特... 続きを読む

ChatGPTはプログラミング言語マスター（語弊ありまくり） - kmizuの日記

2022/12/03 93 users kmizu chatgpt 語弊 Has Scala

皆さんおはようございます。見ている人は見ていたかもしれませんが、昨夜はかなり遅くまで巷で話題沸騰のChatGPTによくわからんクエリを投げて、その結果をみてげらげら笑っていました。特に存在しないプログラミング言語であり「ScalaにHaskellと同じ型推論を加えた」言語Scalayがあることにしたら、ChatGPTが本当にHas... 続きを読む

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

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

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

複雑なアニメーションをプログラムする 〜Reanimate入門〜

2021/01/01 89 users アニメーション Playground ライブラリ プログラム

Reanimateはアニメーションを作成するためのライブラリです。 ReanimateはHaskellのライブラリとして実装されているのでプログラムによってアニメーションを記述することができます。ライブラリに実装されている機能も多く、ドキュメントも豊富ですし、オンラインのPlaygroundまで用意されていてかなり完成度の高いライ... 続きを読む

入門 シェル実装

2020/02/28 306 users CAMPHOR rust バス マイニング Ruby

入門 シェル実装 1. 入門 シェル @genya0407 2. 自己紹介 3. 自己紹介 ● @genya0407 ● 京都大学 熊野寮 在住 ● CAMPHOR- (元)運営メンバー ○ 4月から東京で就職 ● 最近よく使う言語 ○ Haskell ○ Rust ○ Ruby ● 最近バズったもの ○ 熊野寮でマイニングを禁止した話 ○ ファストフード検索 4. 本題 5. Question ● シェルを... 続きを読む

Haskellの型と直観論理 - 朝日ネット　技術者ブログ

2019/10/31 52 users type 山本和彦 初級 トピック 手元

開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互いに関連する値の集合である。 ---- 『プログラミングHaskell』 Graham Hutton 著 / 山本和彦 訳 だとか、 値... 続きを読む

Haskell入門 | haskell

2019/03/22 195 users content 関数プログラミング 言語 従来 関数型言語

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要... 続きを読む

Haskellの代数的構造入門　半群・モノイド・環とは何か？ - ログミーTech

2019/03/01 68 users Haskell-jp プレゼン ログミーTech テーマ 興味

Haskellの代数的データ型入門 半群・モノイド・環とは何か？ Semigroupとは？　Monoid？　環？ 2018年11月10日、Haskell-jpが主催するイベント「Haskell Day 2018」が開催されました。純粋関数型プログラミング言語Haskellをテーマに、Haskellに興味のある人から入門者、ちょっとできる人まで、様々な層に向けたプレゼン... 続きを読む

さようなら遅延評価 - あどけない話

2019/02/15 71 users あどけない話 遅延評価 メモリー 無限リスト 入門書

Haskellがとっつきにくい原因の一つに遅延評価がある。入門書では、無限リストと遅延評価がことさら強調される。しかし、Haskellを業務で使ってみると、遅延評価が煩わしくなってくる。遅延評価なしでもほとんどのことは実現できるし、メモリーの使用量は推測できないし、あまりいいことはない。 Haskellの評価戦略が、... 続きを読む

Haskellでフィボナッチ数列 〜Haskellで非実用的なコードを書いて悦に入るのはやめろ〜 - Qiita

2019/01/19 97 users Qiita ＦＩＢ フィボナッチ数列 トゲ コード

-- 素朴なコード fib :: Int -> Integer fib 0 = 0 fib 1 = 1 fib n = fib (n - 2) + fib (n - 1) 数学的な定義をそのまま書き下した、Haskellらしい美しいコードですね！ ……なーんて感想を抱いた人はHaskell初心者です。計算機で動かすコードを「数学的な美しさ」で語ってどうするんですか？？？ 美しいバラにはトゲが... 続きを読む

Haskellをかける少女 - Qiita

2019/01/18 121 users Qiita 少女

とあるブラックなWeb制作会社 ワンマン社長「やめ太郎くん」 ワイ「はい」 ワンマン社長「明日からインターンの子が来るから、プログラミングを教えたってや」 ワイ「ええで」 ワンマン社長「まだ中学生やから、優しくしたってな？」 ワイ「お、おう」 ワイ「（ファッ！？）」 ワイ「（ちゅ、中学生て）」 ワイ「（うち... 続きを読む

TLS 1.3の標準化と実装 | IIJ Engineers Blog

2018/09/25 155 users 実装 IIJ Engineers Blog 標準化 RFC

IIJ-II 技術研究所 技術開発室の山本です。現在技術開発室は、私を含めた4人で構成されており、主にプログラミング言語Haskellを使って開発を進めています。今回の話題である TLS(Transport Layer Security) 1.3 もHaskellで実装しました。 4年の歳月をかけて議論されてきたTLS 1.3ですが、この8月にめでたく仕様がRFC 8... 続きを読む

本の虫: 世の中にはプログラミングを理解できない人間が存在する

2018/05/29 839 users プログラミング 人間 FizzBuzz 学習過程 最初

現在、C++によるプログラミングの入門書を書いているので、初心者のプログラミングの学習過程にとても興味がある。私自身も初心者の気持ちを取り戻すためにHaskellを学んでみた。最初の数日は頭が痛くなるほど難しかったが、そこを過ぎてみれば後は楽になってしまった。結局、初心者の気持ちはあまりわからなかった。結局、プログラミングの基礎はすでに学んでしまっているので、 先日、FizzBuzzがわからないか... 続きを読む

本の虫: 新しいプログラミング言語を学ぶということ

2018/02/09 63 users 新しいプログラミング言語 良書 売れ行き 絶好 江添亮

去年の暮から一ヶ月ほど、Haskellを学んでいる。目的は色々あるが、まったく新しいプログラミング言語を学ぶ経験をもう一度するのが最大の目的だ。 C++17の新機能を余すところなく解説した「江添亮の詳説C++17」は3月に出版される。C++20にはまだ間がある。C++の入門書を書く絶好の機会だ。入門書というのは毎月腐るほど出版されているが、良書は少ない。結局、参考書の中で最も売れ行きが容易に予想可... 続きを読む

本の虫: C++の入門書を書くためにHaskellを学ぶことにした

2017/12/12 50 users Markdown Pandoc EzoeRyou 江添亮 出版

C++17の参考書、江添亮の詳説C++17はすでに書き上げて、来年の出版を待つばかりになっている。 https://github.com/EzoeRyou/cpp17book 次に書く本はC++の入門書にしようと思っているが、入門書を書く前に、少し時間をかけてHaskellを学ぼうと思っている。 なぜHaskellを学ぶのか。Pandocのためだ。 Pandoc 私の本は、Markdownで書いて... 続きを読む

本当はこわいMySQLプロトコル - @tmtms のメモ

2017/11/30 102 users tmtms プロトコル MySQL メモ 平日

2017 - 11 - 30 本当はこわいMySQLプロトコル MySQL 11/28 に Haskell で MySQL の Xプロトコルを実装したという話が聴ける Club MySQL というイベントがあったので参加してきました。 clubmysql.connpass.com MySQLのプロトコルの話ということで、平日の夜とは言え東京で参加者9人(発表者含む)というマニアックな集まりでした。... 続きを読む

発展編！ Haskellで「型」のポテンシャルを最大限に引き出すには？【第二言語としてのHaskell】 - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2017/10/03 135 users ＨＡ エンジニアHub Tweet ポテンシャル モジュール

2017 - 10 - 03 発展編！ Haskellで「型」のポテンシャルを最大限に引き出すには？【第二言語としてのHaskell】 第二言語としてHaskellを学習するシリーズ。発展編では、実践編で定義した型と関数をモジュールにする方法と、型を見直して関数をさらに安全なものにする方法を紹介します。さらに勉強したい方向けの超発展編付き！ Haskell 第二言語 Tweet こんにちは。 Ha... 続きを読む

Haskell入門という本を書きました - 北海道苫小牧市出身の初老PGが書くブログ

2017/09/17 116 users Haskell入門 北海道苫小牧市出身 PDF Amazon

2017 - 09 - 17 Haskell入門という本を書きました haskell Haskell入門 という本を書きました。まだ店頭で買うことはできませんが、 amazon では予約を開始しています。また、電子版も早いうちに出ると聞いているので、そちらもあわせてお求め下さい。 技術評論社さんのサイト ではサンプルのpdfも読むことができます。 Haskell には すごいH本 というとても良い... 続きを読む

実践編！Haskellらしいアプリケーション開発。まず型を定義すべし【第二言語としてのHaskell】 - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2017/09/11 177 users エンジニアHub 関数 アプリケーション プログラミング 計算

2017 - 09 - 11 実践編！Haskellらしいアプリケーション開発。まず型を定義すべし【第二言語としてのHaskell】 トランプを使った有名なゲーム「ブラックジャック」の手札の値を計算をするアプリケーションを書きながら、Haskellによるプログラミングの中心となる「型を定義し、その型を利用した関数を書く」ことを実践してみましょう。 第二言語 Haskell Tweet こんにちは。... 続きを読む

Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2017/08/25 231 users Haskell-jp エンジニアHub 関数 キャリア 準備

2017 - 08 - 25 Haskellらしさって？「型」と「関数」の基本を解説！【第二言語としてのHaskell】 第二言語としてHaskellを学ぶ道案内。開発環境の準備から、Haskellらしいプログラミングの考え方まで、Haskell-jpのigrepさんが丁寧に解説します。 第二言語 Haskell Tweet こんにちは。 Haskell-jp の山本悠滋です。 この記事では、すで... 続きを読む

資金力のないWeb系ベンチャーがHaskellを採用したらどうなったか - Qiita

2017/05/20 384 users Qiita ELM 酪農 やぎ 本業

はじめに 僕の本業は酪農で、ヤギのさくらちゃんをお世話するのが仕事ですが、それだけでは食っていけないのが世の中の悲しさなので、副業でフリーランスのITコンサル(兼プログラマ)や 株式会社UZUZ (サイトは音がいきなりでるよ。ほんとごめんね。)っていう会社のひきこもり系最高技術責任者としてHaskellやElmを業務で使っています。 あと、趣味で 株式会社ARoW っていう社員数2名の会社を経営し... 続きを読む

Haskellは真面目なアプリケーション開発にとても向いている - syocy’s diary

2017/05/19 236 users qiita.com 分量 反論 syocy’s diary

2017 - 05 - 20 Haskellは真面目なアプリケーション開発にとても向いている qiita.com ↑の記事で（主題ではないと思うものの） Haskell の批判に結構な分量が割かれていて、その批判のなかに「ちょっと違うんじゃないかな」という点がいくつかあったので反論ぽいことを書きます。 " Haskell は真面目なアプリケーション開発には向いてない"について これには多分いくつか... 続きを読む

いま学ぶべき第二のプログラミング言語はコレだ！ 未来のために挑戦したい9つの言語とその理由 - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2017/05/19 2101 users エンジニアHub プログラミング言語 言語 キャリア コレ

2017 - 05 - 19 いま学ぶべき第二のプログラミング言語はコレだ！ 未来のために挑戦したい9つの言語とその理由 業務に必要なだけではなく、コンピュータによって問題解決できていない分野を切り開き、エンジニアとして戦っていくため、刺激的な第二プログラミング言語に挑戦しましょう。Rust、Go、Erlang、Elixir、Clojure、Scheme、OCaml、Haskell、Scalaを紹... 続きを読む

望月いちろうが書かないので,Microsoft社員の千代田まどか(ちょまど(＠chomado))さんの自殺した元彼氏である南山まさかず(＠minamiyama1994)の記録を残したい - ncaq

2017/05/18 395 users chomado ncaq Qiita 望月いちろう エヌユル

南山まさかずのブログ を見ればわかる通り,C++とHaskellが好きなプログラマです. 今でもプログラミング関係で検索をすると彼のブログや minamiyama1994 - Qiita がよくひっかかります. 大学に行ったり仕事をしたり仕事をやめたりしていたそうです.ちょまどさんの彼氏でした. 2014年8月23日に西武新宿線で自殺しました. エヌユル 筆者です. 自分を南山まさかずの友人だと思... 続きを読む