Superficially, I find the syntax very untuitive to read. Most languages opt to use <> for typevariables. Is there a specific reason you chose to deviate from that and use []?

▲ mrkeen 35 minutes ago | parent | next [-]

I'm not sure most languages get a vote here.

They can't even represent Fuse's Functor example, i.e.

  f: A -> B, x: F[A]

so maybe they don't get any points for syntax.

▲ dwb 3 hours ago | parent | prev | next [-]

I actually can't think of any functional languages that use < > for type variables (I'm sure there's one or two, but it can't be common)

	▲	helix278 an hour ago \| parent \| next [-]
		Depends on what you mean by functional language. I was considering main-stream languages that support some form of functional programming. So Rust, F#, C#, Kotlin, Swift, Typescript, etc
	▲	smt88 2 hours ago \| parent \| prev [-]
		F# does, I think

▲ smuffinator 3 hours ago | parent | prev [-]

This is only true for C-style languages? Flix uses square brackets, as does Effekt, and Nim, as well as Python. Probably many more I'm missing. Gleam even uses normal parens.