Questions tagged [haskell]
For questions about Haskell's design, or languages which are closely related to Haskell
5 questions from the last 365 days
8
votes
0
answers
256
views
What are some of the challenges in implementing, and disadvantages of having, dependent types in a programming language?
I know about some of the potential advantages and the desirable features of Agda/Coq/F*/Idris2, etc. But what about the other side of things? For example, there seems to have been talk for years about ...
2
votes
1
answer
255
views
Is it practical to use binary trees as a sequential container?
Contiguous arrays do not mix with lazy evaluation. That's why Haskell doesn't have contiguous arrays as a primitive type, and why even GHC has a poor API for them. As such, I sought for a workaround.
...
- 921
6
votes
1
answer
165
views
What to do with subroutine calls when translating Abstract Syntax Tree to Control Flow Graph?
A newbie here! I'm implementing my current compiler in Haskell and at the moment I'm trying to do the translation of AST to Basic Blocks. Based on the book "Advanced Compiler Design and ...
- 145
4
votes
1
answer
336
views
Effective Tail Call Optimization in Non strict functional languages
In functional programing languages it is normal to optimize forms like
factorial n = go n 1
where
go 0 acc = acc
go n acc = go (n - 1) (acc * n)
...
- 159
7
votes
1
answer
402
views
How to design interfaces to mimic haskell-like type classes in an object oriented language?
A problem I sometimes run into when using a language like TypeScript or C# is
how they lack a perfect analogue to Haskell's typeclasses. Let's use
Haskell's Functor ...
- 171