Я работаю над средством завершения (intellisense) для C # в emacs. Идея состоит в том, что если...

foldr:: (a -> b -> b) -> b -> [a] -> b map :: (a -> b) -> [a] -> [b] mys ::...

У меня есть этот код, который работает: def testTypeSpecialization: String = { class Foo[T] def...

Я немного новичок в Хаскеле, и мне трудно понять, как предполагаемые типы и такие работают. map ::...

Я использую Entity Framework, ASP.NET и C # 3.5 Я заимствовал следующий код, чтобы сделать...

Я хотел бы написать генератор объектов для шаблонного класса RAII - в основном шаблон функции для...

Рассмотрим следующее объявление универсального служебного класса в Delphi 2010: TEnumerableUtils =...

У меня есть следующий простой код Java: package testj; import java.util.*; public class...

Я хотел бы создать метод расширения для универсального класса A, который принимает еще один...

Можно ли запросить ghci для типа, который он вывел для функции внутри другой функции?

Предположим, у меня есть public static List<T2> Map<T,T2>(List<T> inputs,...

Я пытался сделать хвостовую рекурсивную версию этой очень простой функции SML: fun suffixes [] =...

Я только что заметил странное поведение с разрешением перегрузки. Предположим, у меня есть...

Я все еще пытаюсь сопоставить свои глубокие и старые знания из C / C ++ с моими более...

Я хочу уточнить необработанный текст с помощью регулярного выражения, учитывая список (паттен,...

Я пытаюсь скомпилировать следующую функцию в Haskell, чтобы имитировать дифференцирование...

Я не думаю, что это можно сделать в C #, но опубликовать это просто для уверенности. Вот моя...

Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?

Хиндли-Милнер - это система типов, которая является основой систем типов многих известных языков...

У меня есть функция, которая проверяет, является ли тип подтипом другого типа: st :: Monad m =>...

Этот вопрос возник при чтении новой главы в превосходном Learn You a Haskell о аппликативных...

Cabbage.hs: module Cabbage where class Cabbage a where foo :: a -> String -- the parameter is...

Кто-нибудь знает, где можно найти обсуждение того, как работает вывод типов при использовании...

Учитывая следующий универсальный интерфейс и реализующий класс: public interface...

Я не думаю, что это ошибка, но я немного озадачен, почему это не работает. Дополнительный вопрос:...