программирование

Я начинаю погружаться в программирование с зависимой типизацией и обнаружил, что языки Agda и Idris наиболее близки к Haskell, поэтому я начал там. Мой вопрос: каковы основные различия между ними? Являются ли системы типов одинаково выразительными в обеих из них? Было бы здорово провести всеобъемлющий сравнительный анализ и обсудить преимущества. …

165 agda  type-theory  idris 

Трудно сказать, что здесь спрашивают. Этот вопрос является двусмысленным, расплывчатым, неполным, чрезмерно широким или риторическим, и на него нельзя дать разумный ответ в его нынешней форме. Чтобы получить разъяснения по этому вопросу, чтобы его можно было снова открыть, посетите справочный центр . Закрыто 7 лет назад . Что такое Objective …

165 c++  objective-c  xcode  objective-c++ 

Что такое сокращение для вставки новой записи или обновления, если она существует? <?php $shopOwner = ShopMeta::where('shopId', '=', $theID) ->where('metadataKey', '=', 2001)->first(); if ($shopOwner == null) { // Insert new record into database } else { // Update the existing record }

165 php  laravel  eloquent  laravel-query-builder 

невозможно удалить файл, который действительно существует - fatal: pathspec ... не найдено ни одного файла У меня есть файл под контролем git, который просто не будет удален. Ошибка команды: $ git rm .idea/workspace.xml fatal: pathspec '.idea/workspace.xml' did not match any files Ниже я перечисляю содержимое каталога, ветви и т. Д. …

165 git  intellij-idea 

Как определить высоту горизонтальной полосы прокрутки или ширину вертикальной полосы прокрутки в JavaScript?

165 javascript  scrollbar 

Меня интересует, каков «правильный» способ написания функций с необязательными аргументами в R. Со временем я наткнулся на несколько фрагментов кода, которые идут по другому пути, и я не смог найти правильную (официальную) позицию по этой теме. До сих пор я писал необязательные аргументы вроде этого: fooBar <- function(x,y=NULL){ if(!is.null(y)) x …

165 r  function 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 месяца назад . Улучшить этот вопрос Я знаю, что стандартным способом использования оператора объединения нулей в …

165 c#  coding-style  null  conditional-operator  null-coalescing-operator 

Кто-нибудь знает, как создать несколько выходных путей в файле webpack.config.js? Я использую bootstrap-sass, который поставляется с несколькими различными файлами шрифтов и т. Д. Для веб-упаковки, чтобы обработать их, я включил загрузчик файлов, который работает правильно, однако файлы, которые он выводит, сохраняются в пути вывода, который я указал для остальные мои …

165 path  output  config  webpack  loader 

Я хотел бы иметь конструктор AlertDialog, который имеет только одну кнопку с надписью OK или Готово или что-то, вместо значений по умолчанию, да и нет. Можно ли это сделать с помощью стандартного AlertDialog, или мне придется использовать что-то еще?

165 android  button  builder  android-alertdialog 

Я пытаюсь создать демон в Python. Я нашел следующий вопрос , в котором есть несколько полезных ресурсов, за которыми я сейчас следую, но мне любопытно, зачем нужна двойная вилка. Я покопался в гугле и нашел множество ресурсов, объявляющих, что это необходимо, но не зачем. Некоторые упоминают, что это предотвращает приобретение …

165 python  unix  daemon 

У меня есть очень простой LEFT OUTER JOIN, чтобы вернуть все результаты из левой таблицы и некоторую дополнительную информацию из гораздо большей таблицы. Левая таблица содержит 4935 записей, но когда я оставляю ее в другой таблице, количество записей значительно увеличивается. Насколько я знаю, это абсолютное Евангелие, что LEFT OUTER JOIN …

165 sql  sql-server  sql-server-2005  tsql 

Во-первых, я использую Mac. Далее мне нужно выполнить этот «file.sh», мы его назовем. Каждый раз, когда мне нужно выполнить его, я должен открыть терминал и набрать: cd /Users/Jacob/Documents/folderWithFileInIt bash file.sh Это нормально, но я чувствую, что было бы намного быстрее, если бы я запускал файл двойным щелчком, не так ли? …

165 bash  macos  terminal  executable 

Я пытаюсь установить заголовок на своем веб-сервере Go. Я использую gorilla/muxи net/httpпакеты. Я хотел бы Access-Control-Allow-Origin: *разрешить междоменный AJAX. Вот мой код Go: func saveHandler(w http.ResponseWriter, r *http.Request) { // do some stuff with the request data } func main() { r := mux.NewRouter() r.HandleFunc("/save", saveHandler) http.Handle("/", r) http.ListenAndServe(":"+port, nil) …

165 http  go  cors  http-headers 

Думая о своей другой проблеме , я решил, что не могу даже создать регулярное выражение, которое будет соответствовать римским цифрам (не говоря уже о контекстно-свободной грамматике, которая будет генерировать их) Проблема в сопоставлении только действительных римских цифр. Например, 990 это не "XM", это "CMXC" Моя проблема в создании регулярного выражения …

165 regex  roman-numerals 

Я знаю, что этот вопрос задавался здесь много раз, но я не могу найти решение своей проблемы. Я пытаюсь сохранить изображение в папку в .net c #, но получаю следующее исключение: Access to the path 'C:\inetpub\wwwroot\mysite\images\savehere' is denied.The error occured at mscorlib because at System.IO.__Error.WinIOError(Int32 errorCode, String maybeFullPath) at System.IO.FileStream.Init(String …

165 c#  .net  iis  path  denied