Skip to content(if available)orjump to list(if available)

Cure – Verification-First Programming for the Beam

Cure – Verification-First Programming for the Beam

3 comments

·November 2, 2025
Visit

SwiftyBug

This was posted two days ago and has been flagged: https://news.ycombinator.com/item?id=45832954

PhilipRoman

The website seems to be just AI filler, I guess this is the real GitHub repo: https://github.com/am-kantox/cure-lang

I was curious about the examples but this does not seem promising...

  def sort(list: List(T)): List(T) where Ord(T) =
      match list do
          [] -> []
          [pivot | rest] -> sort(rest)
      end

fouc

this was flagged 2 days ago https://news.ycombinator.com/item?id=45832954