An Overview of an Ambitious Music Project

Worse is better: C# versus F#

Bài viết so sánh C# và F# trong môi trường .NET, cho thấy C# vẫn là ngôn ngữ phổ biến cho phát triển ứng dụng truyền thống. Nguyên nhân kỹ thuật mà tác giả cho F# vượt trội là sự hỗ trợ mạnh mẽ cho lập trình hàm: kiểu dữ liệu không thay đổi, suy luận kiểu mạnh mẽ và pattern matching tích hợp sẵn. Nhờ những tính năng này, mã F# thường ngắn gọn hơn, dễ duy trì và giảm nguy cơ lỗi thời gian chạy so với mã C# tương đương. Hệ quả là các nhóm phát triển có thể đạt được tốc độ sản xuất cao hơn và chất lượng code ổn định khi áp dụng F# cho các bài toán phức tạp như xử lý dữ liệu hoặc dịch vụ tài chính. Điều đáng học là khi đánh giá ngôn ngữ cho dự án, không chỉ xem xét mức độ phổ biến mà còn cân nhắc lợi ích của paradigm hàm và mức độ trừu tượng mà ngôn ngữ cung cấp để quyết định xem việc đầu tư thời gian học F# có mang lại lợi ích lâu dài không.

Bài viết này giúp lập trình viên hiểu tại sao F# vượt trội hơn C# trong nhiều trường hợp thực tế.

Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?

Trong bối cảnh LLMs có thể giải quyết các bài tập Haskell tiêu chuẩn, bài viết thảo thách thức trong thiết kế khóa học functional programming. Nguyên nhân kỹ thuật là các LLM như GPT-4 đã đạt trình độ hiểu sufficiently deep về kiểu dữ liệu và hệ thống kiểu của Haskell. Hệ quả là sinh viên có thể sao chép giải mà không hiểu bản chất, đe dọa mục tiêu giáo dục. Điều đáng học là tác giả đang thiết kế lại khóa học để embrace LLMs như công cụ hỗ trợ, tập trung vào các bài tập đòi hỏi tư duy phản biện và hiểu biết sâu về monad và category theory thay vì kỹ năng lập trình cơ bản.

Bài viết này giải thích cách LLMs đang thay đổi việc giảng dạy ngôn ngữ Haskell và tại sao nên chấp nhận chúng trong quá trình học tập.

Learn Erlang Step-By-Step

East Branch Software built this tutorial to teach Erlang

From Instantaneous Events to Musical Spans

A functional programming exploration tackles how to attach durations to musical notes in a Signal-based music system. Instead of hardcoding durations, the approach derives them from two zipped event streams: one marking note beginnings and one marking changes, where a note spans until whichever comes next. This design accidentally reproduces the concept of a musical voice, a single-note-at-a-time instrument line. The author notes that durations could then be driven automatically from a parameter like musical tension, something they understand almost no DAWs currently support as an automation target.

Musical Signal Functions

This post builds Haskell types for modeling music as continuous, time-aware signals. It defines an Event newtype over Maybe and a Segment type representing continuous function pieces with optional interesting values. A custom combine function replaces Applicative for Segment, since interesting values must stay fixed once set. The Signal type wraps a base function plus sorted Segments and does get an Applicative instance. The post then introduces a signal function type SF with Category and Arrow instances, enabling proc notation to wire signals together like a modular synthesizer, including a clampOctave function that can look 0.5 measures into the future.

Follow-up: QuickCheck: shrinking like tuples, writing like applicative

Joachim wrote that the (\*/) operator reminds him of the applicative instance in the successors package, based on a Stack Overflow answer. The author says he started out defining an Applicative for Wane but convinced himself it would not satisfy the laws. He says he may have been too quick to dismiss it.

Musical Signals :: Reasonably Polymorphic

This post designs the core types for a music representation system meant to express any music from any culture or era. It proposes composable Horizontal (time), Vertical (simultaneity), and content types like Pitch and Waveform, so combinations like 'Horizontal Pitch' give a simple tune and 'Vertical (Horizontal Pitch)' gives counterpoint. The author introduces a Signal type that tries to be both continuous (a function of time) and discrete (tracking specific times of interest), acknowledging this is logically shaky since a Signal of Events can still be densely packed rather than sparse. No clean fix is offered yet; the next post will cover signal functions using Arrows.

Issue 549

This issue of Haskell Weekly rounds up community projects and news for November 5, 2026. Featured items include a Haskell program running on a specialized FPGA processor, an LC-3 disassembler written in Haskell, and a DJ-set planner modeled as a graph problem. Alfredo Di Napoli releases a beta of Hypha, a CLI tool for exploring Haskell project dependencies and reading documentation offline. The MicroHs project and TidalCycles both share their AI usage policies. Other links include apecs-brillo 0.2.0 supporting brillo 3.0.0, a hasql-th SQL checker against real PostgreSQL schemas, and a call for PhD abstracts for the Journal of Functional Programming due November 30, 2026.