~ Intro If you are one of those devs who uses the terminal a lot and ends up with way too many tabs open, or practices pair programming, then this post is for you. During the last months, I’ve started using Tmux a lot. Since I’ve found it to be very useful, I thought I would write a post where I share a few recommendations and pro-tips. I’ll show you what Tmux is and how to use it in combination w
元ネタはこちら TCOと例外ハンドル | κeenのHappy Hacκing Blog これを機械語レベルで理解したく、OCamlで検証してみることにしました。 同じベンチマークコードではなく機械語を読みやすくするためにシンプルな例にしてます。 ちなみになんか当たり前の結果になったので分かってる人は読まなくていいと思います :) 元ネタを振り返ると、末尾再帰の気持ちで書いてたコードの最後の末尾再帰呼び出しのところに例外ハンドラを書くとすごくパフォーマンスが落ちた原因を考えたら多分末尾再帰呼び出し最適化がかからないからだ、というものでした。 SMLで書いていると機械語が読めないのでOCamlで実験します。実験コードは下のようなものです。 ベンチマーク&テストコード 関数loop1とloop2は内部で再帰呼び出しによりループする関数を呼び出していて、その補助関数は引数を1つだけ受け取ってそれ
I’m writing this post because I feel like any computational scientist should have a favorite algorithm, and in my research I have run into this particular algorithm again and again and every time it impresses me. I am also writing this because I googled “What is your favorite algorithm” and was surprised to find that no one mentioned it in the top results. Few algorithms in computational physics h
Last weekend, I attended ZuriHac 2015, which was, as always, a pleasant event. I did not actually do a lot, besides some maintenance of Debian Haskell packages, but had some nice chats. It is always very motivating to hear that people read my blog, or that they found my talk (such as the Haskell Bytes talk at Galois) helpful. My plan was to work on gipeda and perf.haskell.org. I did not do much un
仕事で F# 使ってます。最近はほとんど F# ばかり書いていて、時々 C# と XAML を書く感じです(といいつつ先日は超久しぶりにC++を書いていましたが)。 自分がどんな風にF#を使っているか、Q&A方式でまとめてみようと思います。もし誰かの参考になれば嬉しい。 関数型のすごい人なの? いいえ、ぜんぜん。 仕事でF#を使っていると書くと関数型プログラミングのエキスパートと思われるかもしれませんが、計算機科学方面(?)はサッパリでお世辞にも F# 力が高いとは言えません。Haskell知りませんし、λ計算も分かりませんし、圏論も分かりませんし、モナドも利用はしているけど分かったような分からないような。今のところ関数型プログラミングそのものを突き詰めて勉強しようという強い意志や計画は持ち合わせていません(意識低い><)。 (言い訳すると、興味はあるんですが今のところなかなか優先順位の上
LensでHaskellを もっと格好良く!2015/5/30 Lens&Prism勉強会 by ちゅーん(@its_out_of_tune)
A little over a month ago I decided to be serious and write my first truly public (meaning “Hosted on Hackage for anyone to use easily”) Haskell project. I had the unfortunate idea of chronicling my attempt in a blog post, in the spirit of many other previous blog posts (see, for example http://jabberwocky.eu/2013/10/24/how-to-start-a-new-haskell-project/). I’m hoping that this particular blog pos
A Lens is a functional concept which solves a very common problem: how to update a complex immutable structure. This is probably the reason why Lenses are relatively well known in functional programming languages such as Haskell or Scala. However, there are far less resources available on the generalization of Lenses known as "optics". In this slides, I would like to go through a few of these opti
Hi all, I've been studying Haskell idioms for quite a while, but I've never picked up u/edwardkmett's lens. I think the main reason is because to this day I'm not sure what it's supposed to be for. After reading about them for years, I recently learned that conduit and pipes were libraries for a certain IO pattern ("iterated IO"?) In the past, every time I'd asked about them, people told me about
Sometimes hard-coding a time is not the worst idea ever. I've had to do this enough times now to warrant this: http://hackage.haskell.org/package/time-qq This is how it looks: >>> [utcIso8601| 2048-12-01 |] :: UTCTime 2048-12-01 00:00:00 UTC >>> [utcIso8601ms| 2099-01-01T00:00:00.42324 |] 2099-01-01 00:00:00.42324 UTC I suspect there may be some breakage around 7.10 with locales, but I'll cross th
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
I wanted to create a website for a personal project. This is usually the great opportunity to learn - no time pressure, no external requirements, etc. That meant I could choose the language I wanted to try out in anger (Rust) and take it for a spin. Here’s a short summary of the experience. The state of webdev in Rust Rust environment has some support for web development, but it’s still very basic
In every talk I have given till now, the question “how does Rust achieve thread safety?” has invariably come up1. I usually just give an overview, but this provides a more comprehensive explanation for those who are interested See also: Huon’s blog post on the same topic In my previous post I touched a bit on the Copy trait. There are other such “marker” traits in the standard library, and the one
Lot’s of people are excited about Rust for its applications to game development. Writing native plugins in Unity3D usually means C, C++ or Objective-C and no real memory safety within the underlying code. Now that Rust has hit 1.0 I looked into calling Rust from Unity3D and it turns out to be surprisingly simple. I should note that this guide targets OS X, not Windows. The process should be simila
Maud: a compile-time template engine for Rust html! { h1 { "Hello, world!" } p.intro { "This is an example of the " a href="https://github.com/lfairy/maud" { "Maud" } " template language." } } Maud is an HTML template engine for Rust. It's implemented as a macro, html!, which compiles your markup to specialized Rust code. This unique approach makes Maud templates blazing fast, super type-safe, and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く